Изменения

Блин. По заявкам трудящихся надо было править, а не копипастить унылую статейку, и уж тем более не изобретать новые определения и новые невнятные неправильные алгоритмы.

Впрочем, сейчас выглядит статья уже куда более вменяемо, но, увы, алгоритм неверен. Например, потому, что, согласно его текущему описанию, правила вида <tex>A \rightarrow w</tex>, где <tex>w</tex> из более, чем одного терминала, сохранятся, чего быть не должно. Еще, например, удаление длинных правил не должно быть в конце, ибо так алгоритм ну никак не взлетит.