机译:用不确定自动机模拟交替树自动机:Rabin,McNaughton和Safra定理的新结果和新证明
机译:用非确定性自动模拟树木交替自动-RABIN,MCNAUGHTON和SAFRA定理的新结果和新方法。
机译:双向不确定自动寻线机对二维交替有限自动机的优化模拟
机译:与部分自动机的仔细同步单词和非确定性自动机的定向单词相关的某些问题的计算复杂性
机译:将双向交替有限自动机转换为单向非确定性自动机
机译:关于使用细胞自动机和类似细胞自动机的模型来模拟生物细胞群体的调查。
机译:非结构化三角细胞自动机对基孔肯雅病扩散的建模与仿真
机译:无限树上的广义自动机和Muller-McNaughton定理