Здравствуйте, v.tatischev, Вы писали:

VT>Здравствуйте, Alexey Zasimov, Вы писали:
AZ>>Пока непонятно, какую ты задачу решаешь, то есть что хочешь получить в результате. Если объяснишь, беседа получится более конструктивной.
VT>Ну, в общем-то, не совсем я решаю. Попробую по-порядку.
VT>С одной стороны, у нас есть FPGA Xilinx с аппаратно реализованными примитивами для DSP. Откуда, собственно, и взялись сумматоры, умножители и т.п. С другой стороны — есть математик, который не является специалистом в цифровой схемотехнике, однако хорошо знает мат. аппарат. Есть идея разработки генератора схемотехнических модулей на основе мат. формул записанных, условно, языком TeX. В общем и целом как решать такую задачу практически я представляю, но братец мой пытается диссер защитить, а его профЭссора дюже интересуют формальные грамматики. Вот, собственно, и все. Жду уточняющих вопросов

Если речь идет о создании системы типа ECad (http://en.wikipedia.org/wiki/Electrical_CAD), то тогда схему электронного устройства можно описывать при помощи формального языка =)