Department of Computer Science University of California, Santa Barbara, CA 93106, USA;
Department of Mathematics Computer Science Santa Clara University, Santa Clara, CA 95053, USA;
multitape automata; multihead automata; synchronized; reversal-bounded counters;
机译:用多带自动机重写规则语法
机译:建立确定性多带自动机的等价算法
机译:表示无限字母和多带自动机类别上的单词的“等于最后一个字母”谓词
机译:ON同步多相和多头自动机
机译:同步自动机的线性代数方法。
机译:两层同步三元量子点元胞自动机穿越
机译:关于多头下推自动机和多头堆栈自动机的说明
机译:multihead和multitape实时图灵机