...
机译:实时一计数器自动机的双仿真等价性和规律性
Technical University of Ostrava, FEI, 17, Iistopadu 15/2172, 70833 Ostrava, Czech Republic;
University of Bremen, Fachbereich 03, Postfach 330440, 28334 Bremen, Germany;
Technical University of Ostrava, FEI, 17, Iistopadu 15/2172, 70833 Ostrava, Czech Republic;
One-counter automaton; Bisimulation equivalence; Language equivalence; Regularity;
机译:DP下界用于单计数器自动机的等价检查和模型检查
机译:多项式时间算法,用于检查接受模式下实时确定性受限单计数器自动机的包含性
机译:Bisimulation Plust Automata的等价性是Ackermann-Complete
机译:确定性实时单计数器自动机的语言对等是N L完全
机译:用于双仿真或仿真等效的离散事件系统的监督控制。
机译:神经网络混沌动力学与细胞自动机之间数值等效的函数等效性在全面规则下
机译:实时单计数自动机的互模拟等价和正则性