333
правки
Изменения
Нет описания правки
<tex>q| \rightarrow q0| </tex> и <tex>|q \rightarrow |0q </tex> для <tex> \forall q \in Q \setminus \{q_n\}</tex>
И наконец добавим в наш набор те правила, которые позволят нам из конфигурации, в которой присутствует допускающее состояние <tex> q_n </tex>, получить уникальное слово. Это позволит нам необходимо, чтобы мы смогли построить критерий в терминах полуситсемы Туэ того, что из стартовой конфигураций наша программа корректно завершается. Имеем следующие правила:
<tex>q_nt \rightarrow q_n </tex>
