РЕГУЛЯРНА ФОРМА СПЕЦИФІКАЦІЇ МОВОЮ 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##

Як цитувати

Чеботарьов, А. М., & Курівчак, О. І. (2009). РЕГУЛЯРНА ФОРМА СПЕЦИФІКАЦІЇ МОВОЮ L ДЕТЕРМІНОВАНИХ АВТОМАТІВ. Наукоємні технології, 1(1), 28–32. https://doi.org/10.18372/2310-5461.1.5262

Номер

Том 1 № 1 (2009)

Розділ

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

Ліцензія

Науковий журнал дотримується принципів відкритого доступу (Open Access) та забезпечує вільний, негайний і постійний доступ до всіх опублікованих матеріалів без фінансових, технічних або юридичних обмежень для читачів.

Усі статті публікуються у відкритому доступі відповідно до ліцензії Creative Commons Attribution 4.0 International (CC BY 4.0).

Авторські права

Автори, які публікують свої роботи в журналі:

  • зберігають за собою авторські права на свої публікації;

  • надають журналу право на перше опублікування статті;

  • погоджуються на поширення матеріалів за ліцензією CC BY 4.0;

  • мають право повторно використовувати, архівувати та поширювати свої роботи (у тому числі в інституційних та тематичних репозитаріях) за умови посилання на первинну публікацію в журналі.