177
правок
Изменения
→Диаграмма переходов
Диаграмма переходов — граф, вершины которого соответствуют состояниям автомата, а рёбра — переходам между состояниями.
:<tex>\bigcirc</tex> — нетерминальное состояние,:<tex>\circledcirc</tex> — терминальное состояние,:Стрелка <tex>\downarrow</tex> указывает на начальное состояние.
{| class = "wikitable"
!Пример!!Описание
|[[Файл:Automata_Search.png|340px]]
|Автомат для поиска образца в тексте для строки <tex>abbab</tex>.
|-align="center"
|[[Файл:Finite state machine 1.png|350 px]]
|Автомат, принимающий непустые строки из чередующихся символов <tex>a</tex> и <tex>b</tex>,без «дьявольской вершины».
|-align="center"
|[[Файл:Finite state machine 2.png|350 px]]
|Автомат, принимающий непустые строки из чередующихся символов <tex>a</tex> и <tex>b</tex>, с «дьявольской вершиной».
|-align="center"
|}
