REGULAR FORM SPECIFICATION OF L LANGUAGE DETERMINISTIC AUTOMATA
DOI:
https://doi.org/10.18372/2310-5461.1.5262Keywords:
deterministic automaton, language L, the rank of an atom, predicate, conjunction, atom zero rankAbstract
Some forms of representation of deterministic automata specifications in the language L are investigated. The use of such forms in the construction of specifications decreases the possibility of errors.
References
Чеботарев А. Н. Об одном подходе к функциональной спецификации автоматных систем. I // Кибернетика и системный анализ. — 1993. — № 3. — C. 31—42.
Чеботарев А. Н. Синтез алгоритма по его логической спецификации // Управляющие системы и машины. — 2004. — №5. — С. 53—60.
Чеботарев А. Н., Куривчак О. И. Аппроксимация множеств сверхслов формулами языка L. // Кибернетика и системный анализ. — 2007. — № 6. — C. 18—26.
Чеботарев А. Н., Алистратов О. В. Построение логической спецификации реактивного алгоритма // Проблемы программирования. — 2002. — № 1—2. — C. 154—160.
