К вопросу о полиномиальной сложности проблемы эквивалентности в алгебраических моделях программ / Подловченко Р. И. (2012)
Ukrainian

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

Подловченко Р. И.
К вопросу о полиномиальной сложности проблемы эквивалентности в алгебраических моделях программ

Algebraic models of programs for which the decidability of equivalence checking problem was proved are considered. A new equivalence checking algorithm stemmed from the well-known Moore's technique for finite state automata is introduced. It is shown that for some subclasses of models this algorithm reduces to a polynomial-time equivalence checking procedure.

Бібліографічний опис:
Подловченко Р. И.  К вопросу о полиномиальной сложности проблемы эквивалентности в алгебраических моделях программ. Кибернетика и системный анализ. 2012. Т. 48, № 5. С. 17-24. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000232566

English  Cybernetics and Systems Analysis   /     Issue (2012, 48 (5))

translit Transliteration

Podlovchenko R. I.
K voprosu o polinomialnoj slozhnosti problemy ekvivalentnosti v algebraicheskikh modeljakh programm

Cite:
Podlovchenko, R. I. (2012). K voprosu o polinomialnoj slozhnosti problemy ekvivalentnosti v algebraicheskikh modeljakh programm. Cybernetics and Systems Analysis, 48 (5), 17-24 http://jnas.nbuv.gov.ua/article/UJRN-0000232566 [In Russian].

 

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

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