Об алгоритмах представления транзиционных систем с помощью бинарных диаграмм решений

dc.contributor.author	Багрий, Р.О.
dc.date.accessioned	2008-09-02T09:14:21Z
dc.date.available	2008-09-02T09:14:21Z
dc.date.issued	2004
dc.identifier.citation	Об алгоритмах представления транзиционных систем с помощью бинарных диаграмм решений /Р.О.Багрий // Проблеми програмування. — 2004. — N 2,3. — С. 89-94. — Бібліогр.: 8 назв. — рос.	en_US
dc.identifier.issn	1727-4907
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/1680
dc.description.abstract	Под реактивной системой понимается система, состоящая из нескольких компонент-объектов, взаимодействующих между собой и с окружающей их средой. Класс реактивных систем включает операционные системы, мультипрограммные среды, параллельные и распределенные дискретные системы, дискретные системы реального времени, вычислительные сети и т. д. В данной работе описываются алгоритмы представления конечных транзиционных систем с помощью упорядоченных бинарных таблиц решений (так называемых УБДР или OBDD – ordered binary decision diagrams) и некоторые экспериментальные данные, полученные с помощью этих алгоритмов.	en_US
dc.language.iso	ru	en_US
dc.publisher	Інститут програмних систем НАН України	en_US
dc.subject	Формальные методы в программировании
dc.title	Об алгоритмах представления транзиционных систем с помощью бинарных диаграмм решений	en_US
dc.type	Article	en_US
dc.status	published earlier	en_US
dc.identifier.udc	51.681.3