299
правок
Изменения
Нет описания правки
{{В разработке}}
{{Теорема
|statement=Пусть P=(Q,<tex>\Sigma</tex>,<tex>\Gamma</tex>, <tex>\delta</tex>,<tex>q_0</tex>,<tex>Z_0</tex>) - МП-автомат. Тогда существует КС-грамматика G, для которой L(G)=N(P)
|proof=
}}
{{Теорема
|statement=Если L=N(P) для некоторого ДМП автомата P, то L имеет однозначную КС-грамматику
|proof=
}}
