机译:准摇摆实时下推自动机
Pushdown automata; Quasi-rocking; Real-time; Normal forms; Grammatical characterizations; Language hierarchy; Decision properties;
机译:准摇摆实时下推自动机
机译:关于确定性按下自动机中的有限按下字母的注记
机译:具有k个下推逆转和E0L系统的翻转-推下自动机是无与伦比的
机译:可访问的确定性实时下推自动机的随机生成和枚举
机译:有限逆向自动执行
机译:混合自动机库:用于混合建模和实时可视化的灵活平台
机译:准摇摆实时下推自动机