- Конечный автомат
- Автомат, у которого конечное множество состояний и переход между состояниями зависит только от текущего состояния и входного сигнала.
- Детерминированный конечный автомат
- Автомат, у которого каждое состояние и входной сигнал однозначно определяют следующее состояние.
- Недеterminрованный конечный автомат
- Автомат, у которого из одного состояния при одном и том же входном сигнале возможны разные переходы.
- Признающий конечный автомат
- Автомат, который принимает или отвергает входные слова. Если слово принимается, автомат переходит в заключительное состояние.
- Проверяющий конечный автомат
- Автомат, который не имеет заключительных состояний и используется для распознавания свойств входных слов.
- Функция переходов автомата
- Функция, отображающая множество состояний и входных сигналов в множество состояний.
- Функция выходов автомата
- Функция, отображающая множество состояний и входных сигналов в множество заключительных состояний.
- Заключительные состояния автомата
- Множество состояний, из которых автомат никогда не выходит.
- Траектория автомата
- Последовательность состояний, через которые автомат проходит при обработке входного слова.
- Принятое слово автомата
- Слово, при обработке которого автомат переходит в заключительное состояние.
- Отвергнутое слово автомата
- Слово, при обработке которого автомат не переходит в заключительное состояние.
- Формально определённый конечный автомат