конечные автоматы и LCS

[Max Glor]

Пожалуйста помогите, разобраться с тем как работают конечные автоматы в c++. Насколько я понимаю, мне подается файл в формате DOT с конечным автоматом, и мне нужно используя его выполнить поиск приближенного совпадения. Собственно вопрос в этом: нужно ли мне чтото делать с входными данными, или их можно просто преобразовать в конечный автомат?; Как работать с конечным автоматом в с++?
Далее о методе решения задачи. Мне нужно найти приближенно совпадение этого конечного автомата в строке. Желательно использовать метод LCS, но в классическом методе (насколько я понял) сравниваются 2 строки, а с автоматами получаются проблемы... Очень хотелось бы услышать какие-нибудь предложения/советы/ссылки на статьи по реализации данного метода (желательно на русском, ибо с английским пока тяжеловато). Заранее спасибо и надеюсь на вашу помощь.