grammar-definable language

Мат. язык, определяемый грамматикой