Ограничение

[thesz]

Эта моя мысль про ограничение грамматик по размеру распространяется и высшие классы грамматик, не только на регулярные (подмножества).

Например, контекстно-свободная anbn может быть логарифмически упрощена до фиксированной для n меньшего или равного какому-то большому числу N.

Теперь думаю, как распространить это до контекстно-зависимых грамматик. Пока не получается.