Конечные автоматы

Конечный автомат — математическая модель вычислений, используемая для распознавания регулярных языков.

Общие сведения

Конечный автомат определяется через пять компонентов:

алфавит множество состояний начальное состояние множество заключительных состояний функцию переходов

Автомат допускает слово, если существует путь от начального состояния к заключительному.

Работа автомата описывается через конфигурации и последовательность тактов обработки входной строки.