• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Статья

О проверке сильной эквивалентности металинейных унарных рекурсивных программ

В работе предложен метод решения проблемы сильной эквивалентности металинейных унарных рекурсивных программ, позволяющий описать полиномиальный по времени работы разрешающий алгоритм. Основная идея метода состоит в анализе ориентированного графа, описывающего всевозможные совместные вычисления программ, и сведении проблемы сильной эквивалентности к проблеме достижимости вершины в графе.