Обсуждение:Удаление цепных правил из грамматики

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

А так вроде норм. Алёна.