《6计算机学科的根本问题.pptVIP

什么是计算 ●从字源上考察： 计：从言从十，有数数或计数的含义； 算：从竹从具，指计算工具。 ● 《现代汉语词典》对计算的定义： 根据已知数通过数学方法求得未知数。 什么是计算 ●直观的计算：数的加减乘除；函数的微分、积分；微分方程的求解；定理的证明推导等等。 ●计算的实质：从一个符号串 f（输入）得出另一个符号串 g（输出）。 ●数学概念 →普适概念 计算的例子 ●从符号串“12+3”变换成符号串“15”——加法计算 ●符号串“x2”变换成符号串“2x”——微分； ● f 表示一组公理和推导规则，g 是一个定理，那么从 f 到 g 的一系列变换——定理g的证明； ●符号串 f 代表一个英文句子，符号串 g 为含义相同的中文句子，那么从 f 到 g 的变换——英文翻译成中文； 图灵与巨人计算机 图灵模型 图灵模型 图灵模型 计算与可计算 用图灵模型来计算 构造一个识别符号串ω＝anbn（n≥1）的图灵机 基本思想：使读写头往返移动，每往返移动一次，就成对地对输入符号串ω左端的一个a和右端的一个b匹配并做标记x。如果恰好把输入符号串ω的所有符号都做了标记，说明左端的符号a和右端的符号b的个数相等；否则，说明左端的符号a和右端的符号b的个数不相等，或者符号a和b交替出现。 用图灵模型来计算 假定n＝2，输入符号串ω＝aabb 用图灵模型来计算 字母表：{a, b, B}