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