Грамматика, содержащее правило вывода вида

и правило вида