Доказательство Только в одну сторону: как по КС-грамматике построить НАМП, распознающий тот же язык Связанные теоремы/определения Контекстно-свободный язык Недетерменированный автомат с магазинной памятью
