通用图灵机

计算理论中的核心概念，指能够模拟任何其他图灵机的图灵机，由图灵于1936年提出，是可计算性的基础