1.4 图灵机
图灵机的组成:
(1)一条无限长的纸带TAPE
(2)一个读写头HEAD
(3)一个控制器
图灵机的特点:图灵机在理论上能够模拟现代数字计算机的一切运算,可以视为现代数字计算机的数学模型,是一种抽象的计算模型。
1.5 计算机科学的定义
1.5.1 计算机科学的学科定义
计算机科学的基本思路涵盖从理论研究、模型抽象到工程设计三个方面。
理论是数学的根本。
抽象是自然科学的根本。
设计是工程的根本。
这三个方面彼此联系,理论研究是基础,是连接科学研究与工程应用开发研究的重要环节;模型抽象是对客观现象和规律的描述和刻画;工程设计是对科学理论的工程化实现。 它们形成了计算机科学的三个形态:理论、抽象和设计。计算机科学处于三者的交汇处。
1.5.2 计算机科学的含义和基本问题
含义:
一般来说,计算机科学是处理信息的学科,主要包括信息的处理、管理和改善;它是对描述和变换信息的算法过程的系统研究,包括其理论、分析、设计、效率分析、实现和应用。
计算机科学的基本问题是:什么能(有效地)自动进行。
计算机科学是处理信息的学科,而程序设计语言是具有计算机领域特色的工具。