Oxford University Computing Laboratory;
theory; languages; verification;
机译:确定性新鲜注册自动机的多项式时间等效测试
机译:新鲜注册自动机
机译:仿射自动机和广义仿射自动机的计算限制
机译:新鲜注册自动机
机译:自动机,形式语言和实变量(包括多模式,L系统和元胞自动机)之间的复杂性理论并行。
机译:化学如何计算:非生化化学自动机的语言识别。从有限的自动机到图灵机
机译:新寄存器自动机的双模性
机译:走向自动机III的同源代数:3。自动机的组成系列。 4. Q-automata的扩展