reducible grammar

Мат. приводимая грамматика