Изменения

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

218 байт добавлено, 23:17, 4 января 2015

→‎Теоремы

==Теоремы==

{{Теорема

|id=t0

|about=0

|statement=Пусть P = (Q, Σ, Γ, δ, q0, Z0) — МП-автомат. Тогда существует КС- грамматика G, для которой L(G) = N(P).

|proof=

}}

{{Теорема

|id=t1

299

правок