图灵完全

图灵完全是指在可计算性理论中，编程语言或任意其他逻辑系统等可以用于通用图灵机的计算能力。换言之，此系统可与通用图灵机互相模拟。虽然实际机器会受到存储能力的物理限制，图灵完全性通常指具有无限存储能力的通用物理机器或编程语言。这个词源于引入图灵机概念的数学家阿兰·图灵（Alan Turing）。