self-embedding grammar

Мат. грамматика с самовставлением