В старых версиях браузеров сайт может отображаться некорректно. Для оптимальной работы с сайтом рекомендуем воспользоваться современным браузером.
Мы используем файлы cookies для улучшения работы сайта НИУ ВШЭ и большего удобства его использования. Более подробную информацию об использовании файлов cookies можно найти здесь, наши правила обработки персональных данных – здесь. Продолжая пользоваться сайтом, вы подтверждаете, что были проинформированы об использовании файлов cookies сайтом НИУ ВШЭ и согласны с нашими правилами обработки персональных данных. Вы можете отключить файлы cookies в настройках Вашего браузера.
В докладе были представлены результаты, полученные в рамках исследования проблемы эквивалентности в моделях последовательных и рекурсивных программ с семантикой, определяемой на основе полугрупп. Эквивалентность программ в таких моделях обычно является достаточным условием функциональной эквивалентности реальных программ. Основные результаты исследования --- описание алгоритмов проверки эквивалентности, полиномиальных по времени относительно размеров программ, и как следствие, доказательство полиномиальной разрешимости проблемы эквивалентности программ в некоторых таких моделях.
Слайды: не предоставлялись автором
по клику открывается более крупное изображение
Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.