计算机导论图灵机模型及数据编码基数.ppt

2.1 概述 图灵机模型理论是计算机学科最核心的理论之 一，它是在总结前人制造计算机思想的基础上提出 的理论计算模型，它不仅指导了现代电子计算机的 设计，为计算机设计指明了方向，并且是算法分析 和程序语言设计的基础理论。尽管如此，图灵机模 型却并不复杂，也许正因为如此，才注定了其在计 算学科中所具有的强大生命力。掌握了图灵机理论， 等于获得了学习计算机系统知识的“金钥匙”。 2.2 图灵机 在第一台电子计算机ENIAC诞生的10年前即1936年，英 国数学家图灵发表了题为“论可计算数及其在判定问题中的 应用”﹙On Computer Numbers With an Application to the Entscheidungs Problem﹚的学术论文，奠定了学术界公认的 现代电子计算机的理论和模型基础。 1、希尔伯特纲领 20世纪初，逐步形成了关于数学基础研究的逻辑主义、 直觉主义和形式主义三大流派。其中，形式主义流派的代表 人物是数学家希尔伯特﹙D．Hilbert﹚。他在数学基础的研 究中提出了一个设想，其大意是：将每一门数学的分支形式 化，构成形式系统或形式理论，并在以此为对象的元理论即 元数学中，证明每一个形式系统的相容性，从而导出全部 数学的相容性，希尔伯特的这一设想， 就是所谓的“西尔伯特纲领”。 “西尔伯