language formalization

Мат. формализация языка