recognition grammar

Мат. распознающая грамматика