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