333
правки
Изменения
Нет описания правки
<tex>q_n c \rightarrow q_n </tex> для <tex> \forall c \in T</tex>
<tex>q_n \rangle \rightarrow w \rangle </tex> для некоторого фиксированного для всех таких правил символа <tex> w \notin T </tex>
<tex> c w \rightarrow w </tex> для <tex> \forall c \in T</tex>.
