机译:检查下推自动机和有限状态自动机之间语义对等的通用框架
Faculty of Informatics, Masaryk University, Botanicka 68a, CZ-60200 Brno, Czech Republic;
University of Edinburgh, School of Informatics, LFCS, 10 Crichton Street, Edinburgh EH8 DAB, UK;
Pushdown automata; Semantic equivalences; Bisimulation;
机译:关于下推过程和有限状态过程之间的语义对等检查的复杂性
机译:确定概率下推自动机与有限状态系统之间的概率模拟
机译:确定概率下推自动机与有限状态系统之间的概率模拟
机译:检测按下自动机和有限状态自动机之间的语义对等的通用框架
机译:加权因子自动机:语音内容检索的有限状态框架
机译:具有有限内存的全DNA有限状态自动机
机译:用于检查推动自动机和有限状态自动机之间的语义等效的通用框架