Эффективные алгоритмы проверки эквивалентности пропозициональных программ Мили на уравновешенных шкалах

doi:10.17223/20710410/70/5

Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
- Сделать пожертвование -

Add to "Quick Collection"

Description	Size	Format
Эффективные алгоритмы проверки эквивалентности пропозициональных программ Мили на уравновешенных шкалах	9 MB	Adobe Acrobat PDF	Read	Download
DOI Доступ к ресурсу на сайте издателя			10.17223/20710410/70/5

#проблема эквивалентности

#проверка эквивалентности

#модели программ

#дискретные преобразователи

#пропозициональные последовательные программы

Title: Эффективные алгоритмы проверки эквивалентности пропозициональных программ Мили на уравновешенных шкалах
Title: Efficient equivalence-checking algorithms for propositional Mealy programs over balanced frames
Creator: Подымов, Владислав Васильевич
Date: 2025
DOI: 10.17223/20710410/70/5
Description: Предлагается и рассматривается модель программ, называемая далее моделью пропозициональных программ Мили (ППМ) и представляющая собой небольшое синтаксическое обобщение модели дискретных преобразователей Глушкова-Летичевского с "осовремененной" семантикой, основанной на понятиях, использующихся в модели пропозициональных последовательных программ, введенной В.А. Захаровым (ПППЗ). Предлагается подход к построению эффективных алгоритмов проверки эквивалентности ППМ, являющийся адаптацией известного подхода к проверке эквивалентности ПППЗ, основанного на анализе графа совместных вычислений программ. Демонстрируется применение этого подхода для получения эффективных алгоритмов проверки эквивалентности ППМ для некоторых видов семантик прикладного характера.