Реферат: Проверка непротиворечивости исходных описаний конечных автоматов

Как это видно из построения ПТ СРВ (2) является непротиворечивой.

Итак, предлагаемая в работе процедура проверки на непротиворечивость исходных описаний КА, может быть положена в основу построения одной из функциональных частей программной подсистемы логического синтеза интегрированной инструментальной среды САПР. Это позволит на ранних этапах проектирования выявить корректность исходного описания объекта проектирования.

Список литературы

Вавилов Е.Н., Портной Г.П. Синтез схем электронных цифровых машин. М.: Сов.радио, 1963. 440 с.

Грис Д. Конструирование компиляторов для цифровых вычислительных машин. М.: Мир, 1975, 545 с.

Вишняков Ю.М. Инструментарий разработчика СБИС. - Таганрог: ТРТУ, 1993. 178 с.