Анализ фиктивности состояний автомата, синтезированного по спецификации, преобразованной из языка L* в язык L / Чеботарев А. Н. (2013)
Ukrainian

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

Чеботарев А. Н.
Анализ фиктивности состояний автомата, синтезированного по спецификации, преобразованной из языка L* в язык L

Розглянуто метод синтезу скінченного автомата, специфікованого логічною мовою L*. Цей метод базується на трансляції специфікації у менш виразну мову L і застосуванні існуючого методу синтезу автомата за специфікацією у цій мові. Автомат, що синтезується у такий спосіб, може мати зайві (фіктивні) стани, які мають бути вилученими. Запропоновано простий метод перевірки станів на фіктивність.

Бібліографічний опис:
Чеботарев А. Н.  Анализ фиктивности состояний автомата, синтезированного по спецификации, преобразованной из языка L* в язык L. Кибернетика и системный анализ. 2013. Т. 49, № 1. С. 3-10. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000404842

English  Cybernetics and Systems Analysis   /     Issue (2013, 49 (1))

translit Transliteration

Chebotarev A. N.
Analiz fiktivnosti sostojanij avtomata, sintezirovannogo po spetsifikatsii, preobrazovannoj iz jazyka L* v jazyk L

Cite:
Chebotarev, A. N. (2013). Analiz fiktivnosti sostojanij avtomata, sintezirovannogo po spetsifikatsii, preobrazovannoj iz jazyka L* v jazyk L. Cybernetics and Systems Analysis, 49 (1), 3-10 http://jnas.nbuv.gov.ua/article/UJRN-0000404842 [In Russian].

 

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

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