identification grammar

Мат. отождествляющая грамматика