机译:序列二进制决策图:最小化,与非循环自动机的关系以及布尔集操作的复杂性
Sequence binary decision diagram; Persistent data structure; Deterministic finite automaton; Minimization; Boolean set operation;
机译:序列二进制决策图:最小化,与非循环自动机的关系以及布尔集操作的复杂性
机译:基于二进制决策图和布尔运算的技术映射算法
机译:涉及Catenation和二元布尔的合并运营的状态复杂性:超出Brzozowski猜想
机译:一种用于构建表示一组反向序列的序列二元决策图的有效算法
机译:基于二进制决策图包的多值决策图的设计和实现。
机译:基于遗传算法的稀有变异集序列核关联分析。二元性状的边际回归模型
机译:循环自动机和二进制字母表中的自动机同步词组的状态复杂性