Багрій, Руслан Олександрович2014-11-042014-11-042004Багрій Р. О. Об алгоритмах представления транзиционных систем с помощью бинарных диаграм решений / Р. О. Багрій // Проблеми програмування. – 2004. - № 2,3.https://elar.khmnu.edu.ua/handle/123456789/1788Под реактивной системой понимается система, состоящая из нескольких компонент-объектов, взаимодействующих между собой и с окружающей их средой. Класс реактивных систем включает операционные системы, мультипрограммные среды, параллельные и распределенные дискретные системы, дискретные системы реального времени, вычислительные сети и т. д. В данной работе описываются алгоритмы представления конечных транзиционных систем с помощью упорядоченных бинарных таблиц решений (так называемых УБДР или OBDD – ordered binary decision diagrams) и некоторые экспериментальные данные, полученные с помощью этих алгоритмов.ruOBDDконечные автоматиСтаття51.681.3