Изменения

В отличие от [[Построение_по_НКА_эквивалентного_ДКА,_алгоритм_Томпсона|конечных автоматов]], для [[МП-автоматы,_допуск_по_пустому_стеку_и_по_допускающему_состоянию,_эквивалентность|МП-автоматов]] недетерминизм является существенным. [[Детерминированные_автоматы_с_магазинной_памятью|ДМП-автоматы]] распознают строгое подмножество языковне все языки, распознаваемых распознаваемые МП-автоматами или КС-грамматиками.