Наукова періодика України | Кібернетика та системний аналіз | ||
Подловченко Р. И. К вопросу о полиномиальной сложности проблемы эквивалентности в алгебраических моделях программ / Р. И. Подловченко // Кибернетика и системный анализ. - 2012. - Т. 48, № 5. - С. 17-24. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2012_48_5_3 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. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2012_48_5_3. Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського |