Усовершенствованный метод синтеза автомата по его спецификации в языке L / Тимофеев В. Г., Чеботарев А. Н. (2011)
Ukrainian

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

Тимофеев В. Г., Чеботарев А. Н.
Усовершенствованный метод синтеза автомата по его спецификации в языке L

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

Бібліографічний опис:
Тимофеев В. Г., Чеботарев А. Н. Усовершенствованный метод синтеза автомата по его спецификации в языке L. Кибернетика и системный анализ. 2011. Т. 47, № 3. С. 3-14. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000029870

English  Cybernetics and Systems Analysis   /     Issue (2011, 47 (3))

translit Transliteration

Timofeev V. G., Chebotarev A. N.
Usovershenstvovannyj metod sinteza avtomata po ego spetsifikatsii v jazyke L

Cite:
Timofeev, V. G., Chebotarev, A. N. (2011). Usovershenstvovannyj metod sinteza avtomata po ego spetsifikatsii v jazyke L. Cybernetics and Systems Analysis, 47 (3), 3-14 http://jnas.nbuv.gov.ua/article/UJRN-0000029870 [In Russian].

 

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

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