generating specification

Мат. правило порождения