А. Н. Чеботарев, “Регулярная форма спецификации детерминированных автоматов в языке L”, ПДМ, 2010, номер 4(10),страницы 64

Эта публикация цитируется в 3 статьях

Логическое проектирование дискретных автоматов

Регулярная форма спецификации детерминированных автоматов в языке L

А. Н. Чеботарев

Институт кибернетики НАН Украины, г. Киев, Украина

Аннотация: Исследуются некоторые формы представления спецификаций детерминированных циклических автоматов в языке L. Использование таких форм при построении спецификации уменьшает возможность допущения ошибок.

Ключевые слова: язык спецификации, конечный автомат, циклический автомат, сверхслово.

УДК: 519.713.1