ДМП-автоматы и неоднознчность

Эта статья находится в разработке!

Теорема:

Пусть P=(Q,[math]\Sigma[/math],[math]\Gamma[/math], [math]\delta[/math],[math]q_0[/math],[math]Z_0[/math]) - МП-автомат. Тогда существует КС-грамматика G, для которой L(G)=N(P)

Теорема:

Если L=N(P) для некоторого ДМП автомата P, то L имеет однозначную КС-грамматику