177
правок
Изменения
→Примеры
== Примеры ==
===Представление диаграммой переходов===
{| border="1" cellpadding="5" cellspacing="0" style="text-align:center" width=60%
|style="background:#ffffff" colspan="3"|<tex>\bigcirc</tex> — нетерминальное состояние,<tex>\circledcirc</tex> — терминальное состояние.
Стрелка <tex>\downarrow</tex> указывает на начальное состояние.
|}
===Представление таблицей переходов===
<tex>M = (Q, \Sigma , \delta, q_0, F)</tex>, где
*<tex>Q = {S_1, S_2}</tex>,
*<tex>\Sigma</tex> = {0, 1},
*<tex>q_0 = S_1</tex>,
*<tex>F = {S_1}</tex>,
*<tex>\delta</tex> {{---}} функция переходов, представленная таблицей:
:{| border="1" cellpadding="1" cellspacing="0"
| || <center><tex>0</tex></center> || <center><tex>1</tex></center>
|-
|<tex>S_1</tex> || <tex>S_2</tex> || <tex>S_1</tex>
|-
|<tex>S_2</tex> || <tex>S_1</tex> || <tex>S_2</tex>
|}
