图灵等价
在可计算性理论中,编程语言或任意其他的逻辑系统如具有等同于通用图灵机的计算能力
图灵完全指在可计算性理论中,编程语言或任意其他的逻辑系统如具有等同于通用图灵机的计算能力。换言之,此系统可与通用图灵机互相模拟。这个词源于引入图灵机概念的数学家阿兰·图灵(Alan Turing)。
图灵完全指在可计算性理论中,编程语言或任意其他的逻辑系统如具有等用于通用图灵机的计算能力。换言之,此系统可与通用图灵机互相模拟。这个词源于引入图灵机概念的数学家阿兰·图灵(Alan Turing)。
虽然实际机器会受到存储能力的物理限制,图灵完全性通常指具有无限存储能力的通用物理机器或编程语言。
参考资料
最新修订时间:2024-05-21 18:06
目录
概述
参考资料