Конечный автомат (DFA)
Автомат читает строку символ за символом и переходит между состояниями. Если в конце он в принимающем состоянии — строка принята. Выберите автомат, введите строку и пройдите по шагам. Считается прямо в браузере.
1101
q0
q1
q2
Прочитано 0 из 4 · текущее состояние q0
Таблица переходов · принимает строки, оканчивающиеся на «01»
| состояние | 0 | 1 |
|---|---|---|
| q0 (старт) | q1 | q0 |
| q1 | q1 | q2 |
| q2 ✓ | q1 | q0 |
Что такое конечный автомат
Детерминированный конечный автомат (DFA) — это набор состояний и правил перехода: для каждого состояния и символа однозначно задано, куда перейти. Он начинает в стартовом состоянии и читает строку по одному символу. Если после последнего символа автомат оказался в принимающем состоянии, строка «принимается». DFA распознают регулярные языки и лежат в основе лексических анализаторов и регулярных выражений.
