Преобразование спецификации автомата в языке L* в автоматно эквивалентную спецификацию в языке L / Чеботарев А. Н. (2010)
Ukrainian

інтернет-адреса сторінки: http://jnas.nbuv.gov.ua/article/UJRN-0000468192
  Кибернетика и системный анализ      А - 2019  /     Випуск (2010, Т. 46, № 4)

Чеботарев А. Н.
Преобразование спецификации автомата в языке L* в автоматно эквивалентную спецификацию в языке L

Запропоновано метод переходу від специфікації автомата мовою L* до специфікації у мові L. Спочатку завдяки введенню додаткових предикатних символів специфікація перетворюється у специфікацію автомата зі скінченною пам'яттю, яка потім перетворюється в автоматно еквівалентну специфікацію у мові L.

Бібліографічний опис:
Чеботарев А. Н.  Преобразование спецификации автомата в языке L* в автоматно эквивалентную спецификацию в языке L. Кибернетика и системный анализ. 2010. Т. 46, № 4. С. 60-69. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000468192

English  Cybernetics and Systems Analysis   /     Issue (2010, 46 (4))

translit Transliteration

Chebotarev A. N.
Preobrazovanie spetsifikatsii avtomata v jazyke L* v avtomatno ekvivalentnuju spetsifikatsiju v jazyke L

Cite:
Chebotarev, A. N. (2010). Preobrazovanie spetsifikatsii avtomata v jazyke L* v avtomatno ekvivalentnuju spetsifikatsiju v jazyke L. Cybernetics and Systems Analysis, 46 (4), 60-69 http://jnas.nbuv.gov.ua/article/UJRN-0000468192 [In Russian].

 

Інститут інформаційних технологій НБУВ

+38 (044) 525-36-24
libnas@nbuv.gov.ua
Голосіївський просп., 3, к. 209
м. Київ, 03039, Україна