机译:通过一阶语法的推动自动机的等价
Dept of Computer Science Faculty of Science Palacky University in Olomouc Czechia;
Pushdown automata; First-order grammars; Bisimulation equivalence;
机译:决定下降过程的语义有限性和一阶语法W.R.T.双刺激等价
机译:确定下推过程和一阶语法的语义有限性双仿真对等
机译:ATM PIN生成-使用常规语法,上下文无关语法和通过有限状态机识别,下推自动机生成PIN的正式数学模型
机译:非自嵌入语法,恒定高度下推自动机和有限自动机
机译:无上下文语法(自动,统计,随机漫步)的移位语法和生产概率估计。
机译:神经网络混沌动力学与细胞自动机之间数值等效的函数等效性在全面规则下
机译:通过一阶语法的推动自动机的等价