Изменения

Пусть m+2 ветвится влево. Рассмотрим нижние m+1 - среди них встретится повторяющийся нетерминал A. Для него уже выполнено условие леммы. В частности uvw - помечены. Из всех прочих выбираем один, в средней части не более k помеченных.

{{Теорема

|statement=

Для языка принимаемого ДМП-автоматом существует однозначная КС-грамматика}}