路德维希·格里贝尔;约翰·舒斯特 关于多端二进制决策图抽象操作的一些说明。 (英语) Zbl 1291.68258号 形式方法系统。设计。 44,第1期,91-99(2014). 摘要:这项工作的出发点是在文献中发现的关于多终端二进制决策图(MTBDD)抽象操作的精确性的不准确陈述。这些语句试图将一组终端值(M)上的操作(ast)与此操作的抽象依赖于抽象变量的顺序的属性相关联。本文给出了基本幺半群情况下抽象变量的阶的抽象运算独立的充要条件,并讨论了岩浆的更一般的背景。 MSC公司: 60年第68季度 规范和验证(程序逻辑、模型检查等) 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 68第05页 数据结构 08A70号 泛代数在计算机科学中的应用 关键词:开关函数;多端二进制决策图;抽象运算;代数决策图;抽象 软件:棱镜 PDF格式BibTeX公司 XML格式引用 \textit{L.Griebl}和\textit{J.Schuster},表格方法系统。设计。44,第1号,91--99(2014;Zbl 1291.68258) 全文: 内政部 arXiv公司 参考文献: [1] Bahar R、Frohm E、Ganoa CM、Hachtel G、Macii E、Pardo A、Somenzi F(1997)代数决策图及其应用。表格方法系统设计10(2/3):171-206·doi:10.1023/A:1008699807402 [2] Bourbaki N(1974)《代数I》,第章。1-3. 柏林施普林格·Zbl 0281.00006号 [3] Fujita M,McGeer PC,Yang JC-Y(1997)《多端二进制决策图:矩阵表示的有效数据结构》。表格方法系统设计10(2-3):149-169·doi:10.1023/A:1008647823331 [4] Jezek J,Kepka T(1983)《内侧群胚》。Rozpravy Ceskoslovenske Akademie Ved,Rada matematickych a prirodnch获释。布拉格Sesit 2 Rocnik 93 [5] Kuntz M(2006)随机过程代数的符号语义和验证。爱尔兰根FAU德国信息研究所论文 [6] PRISM网站。http://www.prismmodelchecker.org/ [7] Shcherbacov V(2005)关于有限中间拟群的结构。Bul Acadötiinţe Repub模具垫1(47):11-18·Zbl 1078.20063号 [8] Siegle M(2002)《通信系统的行为分析:组合建模、紧凑表示和性能特性分析》。亚琛·沙克尔 [9] Strecker R(1974)Über entropische Gruppoide出版。数学Nachr 64(1):363-371·Zbl 0294.20067号 ·doi:10.1002/mana.19740640124 [10] Tamura T(1956)有限半群的构造理论I.大阪数学J 8(2)·Zbl 0073.01003号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。