Some forms for representation of deterministic FSMs specification in the language L are investigated. The use of such forms in constructing specifications decreases the possibility of errors.
Download file
Counter downloads: 66
- Title REGULAR FORM OF DETERMINISTIC FSMS SPECIFICATIONS IN THE LANGUAGE L.
- Headline REGULAR FORM OF DETERMINISTIC FSMS SPECIFICATIONS IN THE LANGUAGE L.
- Publesher
Tomsk State University - Issue Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics 4(10)
- Date:
- DOI
Keywords
cyclic automaton, finite automaton, specification language, циклический автомат, сверхслово, конечный автомат, язык спецификацииAuthors
References
Чеботарев А. Н., Алистратов А. В. Построение логической спецификации реактивного алгоритма // Проблемы программирования. 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.
REGULAR FORM OF DETERMINISTIC FSMS SPECIFICATIONS IN THE LANGUAGE L. | Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics. 2010. № 4(10).
Download full-text version
Download fileCounter downloads: 174