Изменения

|definition=ДМП в '''атомарной нормальной форме''' (англ. ''Atomic Normal Form'') называется такой [[Детерминированные автоматы с магазинной памятью, допуск по пустому стеку|детерминированный автомат с магазинной памятью]] <tex>M</tex>, которой удовлетворяет следующим условиям:# Множество представленный конечным набором состояний <tex>MQ</tex> состоит из трёх непересекающихся подможеств: , входным алфавитом на ленте <tex>K_{read}\Sigma</tex>, стековым алфавитом <tex>K_{push}\Gamma</tex> и множеством переходов <tex>K_{pop}\Delta</tex> , который удовлетворяет следующим условиям:# если <tex>(p, a, S) \rightarrow (состоянияq, \alpha) \in \Delta</tex>, из которых нет переходовто <tex>|\alpha| \le 2</tex>, находятся в где <tex>K_{read}\alpha \in \Gamma^*</tex>).# Переходы представлены в виде одной из следующих форм:## '''read''' переход {{---}} находясь в '''read''' состояниипоследовательность стековых символов, <tex>S \in \Gamma</tex>.# если <tex>(p, автомат считывает следующий символ входной строки\epsilon, не смотря на верхушку стекаS) \rightarrow (q, и переходит в новое состояние\alpha) \in \Delta</tex>, не меняя стек. Это единственный переход обрабатывающий входные данныето <tex>\alpha = \epsilon</tex>.## '''push''' переход {{---}} находясь в '''push''' состоянии, автомат делает <tex>\varepsilonDelta</tex>-не содержит бесполезных переходов (переход<tex>(p, a, кладёт текущее состояние на верхушку стека и менеят состояние S) \rightarrow (не смотря на верхушку стекаq, \alpha).## '''pop''' переход {{---}} находясь в '''pop''' состоянии</tex> считается бесполезным, автомат делает если <tex>L(q, \alpha) = \varepsilonemptyset</tex>-переход, снимает символ с верхушки стека и переходит в новое состояние.# '''pop''' переход никогда не идёт после '''push''' перехода.# Все допускающие состояния {{---}} '''read''' состояниято есть из конфигурации <tex>(q, \alpha)</tex> нельзя ничего вывести).