机译:图灵甲骨文机器,在线计算和可计算性理论中的三个位移
机译:波传播是可计算的,还是波计算机可以击败图灵机?
机译:带注释的图灵:通过Alan Turing关于可计算性和Turing机器的历史性论文的导览
机译:图灵的无限计算机(1936-1937)的理论及其与有限电子计算机发明的关系(1939-1949)
机译:集合理论与计算性理论的关系:定位数字的情况下的定位数量依据
机译:化学如何计算:非生化化学自动机的语言识别。从有限的自动机到图灵机
机译:图灵Oracle机器,在线计算和可计算性理论中的三个位移