18
правок
Изменения
м
→Обозначения
1.Переход за 1 шаг:
* <tex>\langle q, \alpha \rangle \vdash \langle p, \beta \rangle</tex>, если:
** <tex>\alpha = c\beta</tex>
** <tex>\delta (q, c)=p </tex>
2.Переход за 0 или более шагов:
* <tex>\langle q, \alpha \rangle \vdash^* \langle p, \beta \rangle</tex>, если<tex>\exists n</tex>:
** <tex>\langle q, c_1 c_2 c_3 ...c_n\beta \rangle \vdash \langle u_1, c_2 c_3 ...c_n\beta \rangle \vdash \langle u_2, c_3 ...c_n\beta \rangle ...\vdash \langle u_{n-1}, c_n\beta \rangle \vdash \langle p, \beta \rangle</tex>
<tex>\langle q, \alpha\beta \rangle \vdash^* \langle p, \beta \rangle \vdash^* \langle r, \varepsilon \rangle.</tex>
}}
== Способ хранения автомата ==
