●形式语言和自动机的理论已经成为计算机 科学的理论基础,其应用范围已被扩展到生 物工程、自动控制系统、图象处理与模式识别 等许多领域。 ●实际上,“形式语言与自动机”的理论除了在 计算机科学领域中的直接应用外,对于计算机 科学人才的计算思维能力的培养,具 有重要作用
⚫ 形式语言和自动机的理论已经成为计算机 科学的理论基础，其应用范围已被扩展到生 物工程、自动控制系统、图象处理与模式识别 等许多领域。 ⚫ 实际上， “形式语言与自动机”的理论除了在 计算机科学领域中的直接应用外，对于计算机 科学人才的计算思维能力的培养，具 有重要作用
●形式化描述和抽象思维能力, 逻辑思维方法。这种能力就是 计算思维能力或计算机思维能 力
⚫形式化描述和抽象思维能力， 逻辑思维方法。这种能力就是 计算思维能力或计算机思维能 力
第1章绪论 ●本章将对形式语言和有限自动机理论 中所需的数学基础知识作扼要的介绍 内容包括集合及其运算、关系、证明 的方法、图与树的概念;以及一些常 用术语和形式语言与自动机的发展
第1章 绪论 ⚫ 本章将对形式语言和有限自动机理论 中所需的数学基础知识作扼要的介绍。 内容包括集合及其运算、关系、证明 的方法、图与树的概念；以及一些常 用术语 和 形式语言与自动机的发展
第1章绪论 ●1.1集合及其运算 ●12关系 13证明和证明的方法 14图与树 ●1.5语言 ●1.6常用术语 17形式语言与自动机的发展
第1章 绪论 ⚫ 1.1集合及其运算 ⚫ 1.2 关系 ⚫ 1.3 证明和证明的方法 ⚫ 1.4 图与树 ⚫ 1.5 语言 ⚫ 1.6 常用术语 ⚫ 1.7 形式语言与自动机的发展
1.1集合及其运算 些没有重复的对象的全体称为集 合(set),而这些被包含的对象称为 该集合的元素 (elemen) ●集合中元素可以按任意的顺序进行 排列。一般,使用大写英文字母表 示一个集合
1.1集合及其运算 ⚫ 一些没有重复的对象的全体称为集 合(set)，而这些被包含的对象称为 该集合的元素(element)。 ⚫ 集合中元素可以按任意的顺序进行 排列。一般，使用大写英文字母表 示一个集合