IT University of Copenhagen Rued Langgaards Vej 7, 2300 Copenhagen S., Denmark;
机译:重新启动自动机,并使用受超前尺寸限制的辅助符号
机译:在用辅助符号和小窗口大小重新启动自动机
机译:在限制使用辅助符号的情况下重新启动自动机
机译:用辅助符号和小型寻找自动机
机译:改进基于网格的PoickFinfIning的Lookahead搜索
机译:再次探讨符号基础问题:对ANS映射帐户的全面评估以及基于符号-符号关联的替代帐户的建议
机译:使用辅助符号和小前瞻重新启动自动机*
机译:走向自动机III的同源代数:3。自动机的组成系列。 4. Q-automata的扩展