175
правок
Изменения
→Построение МП-автомата по заданной КС-грамматике
*c) <tex> \delta(q,a,a)=\{(q,\epsilon)\}</tex>;<tex> \delta(q,b,b)=\{(q,\epsilon)\}</tex>;<tex> \delta(q,1,1)=\{(q,\epsilon)\}</tex>;<tex> \delta(q,0,0)=\{(q,\epsilon)\}</tex>;<tex> \delta(q,),))=\{(q,\epsilon)\}</tex>;<tex> \delta(q,(,()=\{(q,\epsilon)\}</tex>;<tex> \delta(q,+,+)=\{(q,\epsilon)\}</tex>;<tex> \delta(q,*,*)=\{(q,\epsilon)\}</tex>;
Пункты a,b образованы по первому правилу построения функции переходов, пункт c по второму правилу.
{{Теорема
|about= О совпадении КС-языков и множества языков МП-автомата
|statement= Если МП-автомат <tex> P </tex> построен по грамматике <tex> G </tex> по указанной выше конструкции, то <tex> N(P)=L(G) </tex>
}}
