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

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

  •  
  •   edis0n0 · 8 天前 · 549 次点击
    yanqiyu
        1
    yanqiyu  
       8 天前 via Android   ❤️ 1
    图灵等价,图灵等价意味着这个计算系统和通用图灵机能互相模拟,这要求这个计算系统能计算得到函数是且只能是图灵可计算函数

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

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