计算机科学阳与技术方法论.pptVIP

数据库设计流程 客观世界 抽象 关系模型 规范化 设计（SQL） 三、例子2 程序设计语言三种形态实例 自然语言 应用语言 （4GL） 高级语言 汇编语言 机器语言 （表3.3） （表3.2） （表3.1） （表3.4） 抽象 理论 设计 t 1、自然语言与形式语言 图3.2 P62 状态 规则：五元组（Qi Sj Sk R（或L或N）Ql） Qi：当前状态 Sj：从方格中读入符号 Sk：写入方格中的符号 R、L、N：右移、左移（一格），不移动 Ql：下一状态 实例（P63-P64） 2、预备知识——图灵机 （1）什么是图灵机 图灵机及其他计算模型 图灵的观点及结论： 凡是能用算法方法解决的问题，也一定能用图灵机解决；凡是图灵机解决不了的问题，任何算法也解决不了。 与图灵机等价的计算模型： 递归函数 λ-演算 POST规范系统 图灵机是从过程这一角度来刻画计算的本质，其结构简单、操作运算规则也较少，从而为更多的人所理解。 图灵机 图灵机由一条两端可无限延长的带子、一个读写头以及一组控制读写头工作的命令组成， 图灵机 写在带子上的符号为一个有穷字母表：{S0，S1，S2，…，Sp}。 可以认为这个有穷字母表仅有S0、S1两个字符，