| |
Бозоян, Ш.
Язык Alex описания схем [Текст] / Ш. Бозоян, В. Егизарян
// Программирование. – 2007. – № 4. – 65-80.
В работе рассматривается язык описания цифровых схем Alex. Он является обобщением языка бесскобочной записи формул и построен по дедуктивному принципу, т.е. построена аксиоматическая теория, для которой запись схемы является теоремой |
