机译:关于线性连续语法与网格自动机的等价性
School of Computing, Queen's University, Kingston, Ontario, Canada;
conjunctive grammar; trellis automaton; cellular automaton; language equation; turing machine;
机译:线性连续语法和一圈同步交替按下自动机
机译:联合语法,蜂窝自动机和逻辑
机译:LR(0)连词语法和确定性同步交替下推自动机
机译:线性结语语法和一圈同步交替下推自动机
机译:无上下文语法(自动,统计,随机漫步)的移位语法和生产概率估计。
机译:神经网络混沌动力学与细胞自动机之间数值等效的函数等效性在全面规则下
机译:线性合取语法与网格自动机的等价性
机译:一种测定有限自动机等效性的线性算法