1
yanqiyu 2022-08-06 01:43:20 +08:00 via Android 1
图灵等价,图灵等价意味着这个计算系统和通用图灵机能互相模拟,这要求这个计算系统能计算得到函数是且只能是图灵可计算函数
如果编程语言具体到现实存在的计算机上的编程语言,它们一定不会是超图灵完备的(不能计算非图灵可计算函数),所以图灵完备就是图灵等价 要是编程语言包含假象中的神谕机上的语言就不一定了,两个语言有可能一个只是图灵完备,一个超图灵完备 |