| |
Чеботарев, А. Н.
Синтез алгоритма по его логической спецификации [Текст] / А. Н. Чеботарев
// Управляющие системы и машины. – 2004. – № 5. – 53-60.
Описан синтез автомата по его спецификации в логическом языке, составляющем подмножество логики предикатов первого порядка |
