Библиографический список

1. Карпов Ю.Г. Теория автоматов: Учебник для студентов вузов. – СПб.: Питер, 2003. – 208 с.

2. Кормен Т., Лейзерсон Ч., Ривест Р. Алгоритмы: построение и анализ. М.: МНЦМО, 2001. – 960 с.

3. Кнут Д. Искусство программирования. В 3-х томах. Т.3. Сортировка и поиск. – М: Вильямс, 2003. – С.527, с.611

4. Вирт Н. Алгоритмы и структуры данных. – М.: Мир, 1989. – 360 с.

1 случай, когда образец и текст состоят из повторений одного символа, например P = a^m, T = aⁿ. Тогда для каждого из n–m+1 значений сдвига (s = 0…n–m) будет выполнено m сравнений символов.

2 конечные автоматы из примеров 1 и 2 действия выполняют только в выходных состояниях: выводят сообщения об успешном распознавании образца или печатают допустимый сдвиг. Поэтому использовать данный метод для примеров 1 и 2 не эффективно (см. листинг 2).

3 при несовпадении первого символа образца (q = 0), сдвиг s' = s+1.