177
правок
Изменения
→Диаграмма переходов
Диаграмма переходов — граф, вершины которого соответствуют состояниям автомата, а рёбра — переходам между состояниями.
{| borderclass ="1wikitable" cellpadding="5" cellspacing="0" style!Пример!!Описание|-align="text-align:center" width=60%|style="background[[Файл:#ffffff" colspan="2"Automata_Search.png|Автомат, принимающий непустые строки из чередующихся символов <tex>a</tex> и <tex>b</tex>,<br/>340px]]|style="background:#ffffff"| Автомат для поиска образца в тексте для строки <tex>abbab</tex>.|-|style="background:#ffffff"| без «дьявольской вершины» |style="background:#ffffff"| с «дьявольской вершиной» |style="background:#ffffff" rowspan="2"|[[Файл:Automata_Search.png|340px]]|-|style="background:#ffffff"|[[Файл:Finite state machine 1.png|150 px]]|style="background:#ffffff"|[[Файл:Finite state machine 2.png|200 px]]|-|style="background:#ffffff" colspan="3"|<tex>\bigcirc</tex> — нетерминальное состояние,<tex>\circledcirc</tex> — терминальное состояние.
Стрелка <tex>\downarrow</tex> указывает на начальное состояние.
|-align="center"
|[[Файл:Finite state machine 1.png|350 px]]
|Автомат, принимающий непустые строки из чередующихся символов <tex>a</tex> и <tex>b</tex>,без «дьявольской вершины».
<tex>\bigcirc</tex> — нетерминальное состояние,<tex>\circledcirc</tex> — терминальное состояние.
Стрелка <tex>\downarrow</tex> указывает на начальное состояние.
|-align="center"
|[[Файл:Finite state machine 2.png|350 px]]
|Автомат, принимающий непустые строки из чередующихся символов <tex>a</tex> и <tex>b</tex>, с «дьявольской вершиной».
<tex>\bigcirc</tex> — нетерминальное состояние,<tex>\circledcirc</tex> — терминальное состояние.
Стрелка <tex>\downarrow</tex> указывает на начальное состояние.
|-align="center"
|}
