Исследуются некоторые формы представления спецификаций детерминированных циклических автоматов в языке L. Использование таких форм при построении спецификации уменьшает возможность допущения ошибок.
Скачать электронную версию публикации
Загружен, раз: 65
- Title РЕГУЛЯРНАЯ ФОРМА СПЕЦИФИКАЦИИДЕТЕРМИНИРОВАННЫХ АВТОМАТОВ В ЯЗЫКЕ L
- Headline РЕГУЛЯРНАЯ ФОРМА СПЕЦИФИКАЦИИДЕТЕРМИНИРОВАННЫХ АВТОМАТОВ В ЯЗЫКЕ L
- Publesher
Tomsk State University - Issue Прикладная дискретная математика 4(10)
- Date:
- DOI
Ключевые слова
cyclic automaton, finite automaton, specification language, циклический автомат, сверхслово, конечный автомат, язык спецификацииАвторы
Ссылки
Чеботарев А. Н., Алистратов А. В. Построение логической спецификации реактивного алгоритма // Проблемы программирования. 2002. №1-2. С. 154-160.
Чеботарев А. Н. Синтез алгоритма по его логической спецификации // Управляющие системы и машины. 2004. №5. С. 53-60.
Чеботарев А. Н., Куривчак О. И. Аппроксимация множеств сверхслов формулами языка L // Кибернетика и системный анализ. 2007. №6. С. 18-26.
Гилл А. Введение в теорию конечных автоматов. М.: Наука, 1966. 227с.
Чеботарев А. Н. Синтез недетерминированного автомата по его логической спецификации. I // Кибернетика и системный анализ. 1995. №6. С. 115-127.
Чеботарев А. Н. Об одном подходе к функциональной спецификации автоматных систем. I // Кибернетика и системный анализ. 1993. №3. С. 31-42.
РЕГУЛЯРНАЯ ФОРМА СПЕЦИФИКАЦИИДЕТЕРМИНИРОВАННЫХ АВТОМАТОВ В ЯЗЫКЕ L | Прикладная дискретная математика. 2010. № 4(10).
Скачать полнотекстовую версию
Полнотекстовая версияЗагружен, раз: 174