Здравствуйте, Alexey Zasimov, Вы писали:
AZ>Формальная (порождающая) грамматика определяется четверкой:
AZ> <E, N, P, S>,
AZ>где
AZ> E — множество терминалов;
AZ> N — множество нетерминалов;
AZ> P — конечное множество правил вывода α → β, где α — цепочка из нетерминалов и терминалов, в которой обязательно присутствует один нетерминал; β — произвольная цепочка из терминалов и нетерминалов;
AZ> S — стартовый (начальный) символ из N.
AZ>То есть если ты определишь все указанные элементы, то получишь формальную грамматику.

Спасибо за ответ.
Определение то я читал, но меня, как НЕ специалиста в данном вопросе, смущает тот факт, что умножитель, сумматор и т.п. являются элементами, уже состоящими из элементарных логических устройств. Ну и ограниченность правил.