Достижимые свойства грамматик.
Рассмотренный выше набор допустимых преобразований является достаточно мощным и в большинстве реальных ситуаций позволяет получать грамматики, обладающие нужным набором свойств. В частности, он позволяет переходить к таким КС-грамматикам, для которых выполняются следующие свойства, обычно используемые при трансляции.