Нормальная форма ДМП-автомата

Определение:

ДМП в атомарной нормальной форме (англ. Atomic Normal Form) называется такой детерминированный автомат с магазинной памятью [math]M[/math], которой удовлетворяет следующим условиям: Множество состояний [math]M[/math] состоит из трёх непересекающихся подможеств: [math]K_{read}[/math], [math]K_{push}[/math] и [math]K_{pop}[/math] (состояния, из которых нет переходов, находятся в [math]K_{read}[/math]). Переходы представлены в виде одной из следующих форм: read переход — находясь в read состоянии, автомат считывает следующий символ входной строки, не смотря на верхушку стека, и переходит в новое состояние, не меняя стек. Это единственный переход обрабатывающий входные данные. push переход — находясь в push состоянии, автомат делает [math]\varepsilon[/math]-переход, кладёт текущее состояние на верхушку стека и менеят состояние (не смотря на верхушку стека). pop переход — находясь в pop состоянии, автомат делает [math]\varepsilon[/math]-переход, снимает символ с верхушки стека и переходит в новое состояние. pop переход никогда не идёт после push перехода. Все допускающие состояния — read состояния.