РЕГУЛЯРНА ФОРМА СПЕЦИФІКАЦІЇ МОВОЮ L ДЕТЕРМІНОВАНИХ АВТОМАТІВ

Автор(и)

  • А. М. Чеботарьов
  • О. І. Курівчак

DOI:

https://doi.org/10.18372/2310-5461.1.5262

Ключові слова:

детермінований автомат, мова L, ранг атома, предикат, кон'юнкція, атом нульового рангу

Анотація

Досліджуються деякі форми подання специфікацій детермінованих автоматів у мові L. Використання таких форм при побудові специфікації зменшує вірогідність допущення помилок.

Посилання

Чеботарев А. Н. Об одном подходе к функциональной спецификации автоматных систем. I // Кибернетика и системный анализ. — 1993. — № 3. — C. 31—42.

Чеботарев А. Н. Синтез алгоритма по его логической спецификации // Управляющие системы и машины. — 2004. — №5. — С. 53—60.

Чеботарев А. Н., Куривчак О. И. Аппроксимация множеств сверхслов формулами языка L. // Кибернетика и системный анализ. — 2007. — № 6. — C. 18—26.

Чеботарев А. Н., Алистратов О. В. Построение логической спецификации реактивного алгоритма // Проблемы программирования. — 2002. — № 1—2. — C. 154—160.

##submission.downloads##

Номер

Том 1 № 1 (2009)

Розділ

Технічні науки