计 算 机 导 论(1).ppt

计算机基本原理简介——数制 计算机会“自动计算”的基本原理（一） 计算模型与图灵机 计算模型:计算模型是刻划计算这一概念的一种抽象的形式系统或数学系统 。 算法：算法是对计算过程步骤（状态）的一种刻划，是计算方法的一种可行实现方式。 凡是能用算法方法解决的问题，也一定能用这些计算模型解决；反之计算模型解决不了的问题，任何算法也解决不了。 计算模型之间在能力上是等价的 图灵机就是一个计算机模型。它更接近普通人计算的思想方法，又因其好用而被现代计算机的研究开发者所采纳计算模型。 图灵机 可形式化地描述为： 图灵机是一个五元组：{K,∑,δ,s,H}； K是一个有穷个状态的集合； ∑是字母表，即符号的集合：{0,1，*}； δ是转移函数，即控制器的规则集合； s∈K,是初始状态； H∈K,是停机状态： 例1、设计一台可以计算“x+1”的图灵机。（见P17－19） 状态集合K:{start, add ,carry, noncarry, overflow, return, halt} 字母表∑：{0,1,*} 初始状态s：start 状态编码 停机状态H：halt 状态 编码 规则集合δ：