V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
edis0n0
V2EX  ›  程序员

用任何一个图灵完备的编程语言可以实现另一个图灵完备的编程语言 这个理论出自哪里?

  •  
  •   edis0n0 · 2022-08-05 22:46:49 +08:00 · 1016 次点击
    这是一个创建于 622 天前的主题,其中的信息可能已经有所发展或是发生改变。
    yanqiyu
        1
    yanqiyu  
       2022-08-06 01:43:20 +08:00 via Android   ❤️ 1
    图灵等价,图灵等价意味着这个计算系统和通用图灵机能互相模拟,这要求这个计算系统能计算得到函数是且只能是图灵可计算函数

    如果编程语言具体到现实存在的计算机上的编程语言,它们一定不会是超图灵完备的(不能计算非图灵可计算函数),所以图灵完备就是图灵等价

    要是编程语言包含假象中的神谕机上的语言就不一定了,两个语言有可能一个只是图灵完备,一个超图灵完备
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   我们的愿景   ·   实用小工具   ·   5446 人在线   最高记录 6543   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 28ms · UTC 03:13 · PVG 11:13 · LAX 20:13 · JFK 23:13
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.