web address of the page
http://jnas.nbuv.gov.ua/article/UJRN-0000232566
Cybernetics and Systems Analysis 
А - 2019 /
Issue (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
PDF
Transliteration