== Применение ==
Существует задача об определении эквивалентности двух Нормализация [[Детерминированные автоматы с магазинной памятью|ДМП автоматов]] (два используется в задаче проверки их на [[Эквивалентность ДМП автомата <tex>M_1</tex> и <tex>M_2</tex> эквивалентны, если <tex>L(M_1) = L(M_2)</tex>)автоматов|эквивалентность]].
Для этого автоматы переводятся в нормальную форму, а затем в автоматы с единственным состоянием, для которых эта задача разрешима, следовательно разрешима и изначальная задача.
