图灵完全

图灵完全是指在可计算性理论中，程式语言或任意其他逻辑系统等可以用于通用图灵机的计算能力。换言之，此系统可与通用图灵机互相模拟。虽然实际机器会受到存储能力的物理限制，图灵完全性通常指具有无限存储能力的通用物理机器或程式语言。