Изменения

Перейти к: навигация, поиск

Детерминированные конечные автоматы

125 байт добавлено, 16:47, 16 октября 2016
Примеры
== Примеры ==
 
{| border="1" cellpadding="5" cellspacing="0" style="text-align:center" width=60%
|style="background:#ffffff" colspan="2"|Автомат, принимающий непустые строки из чередующихся символов <tex>a</tex> и <tex>b</tex>,<br/>|style="background:#ffffff"| Автомат для поиска образца в тексте для строки <tex>abbab<small/tex>.|-|style="background:#ffffff"| а) без «дьявольской вершины», <br/>|style="background:#ffffff"| б) с «дьявольской вершиной». <tex>\bigcirc</tex> — нетерминальное состояние,<br/><tex>\circledcirc</tex> — терминальное состояние|style="background:#ffffff" rowspan="2"|[[Файл:Automata_Search.png|340px]]<br/>Стрелка <tex>\downarrow</tex> указывает на начальное состояние.</small>|-
|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>abbab\bigcirc</tex> — нетерминальное состояние,<tex>\circledcirc</tex>— терминальное состояние.|style="background:#ffffff"|[[Файл:Automata_SearchСтрелка <tex>\downarrow</tex> указывает на начальное состояние.png|340px]]
|}
Анонимный участник

Навигация