形式语言与自动机理论.pdfVIP

CHAPTER 1. 简介 Chapter 1 简介 1.1 形式语言与自动机理论 计算机科学是关于计算知识的有系统的整体，其始源可回溯到欧几里德关于一些算法的设计和 巴比伦人关于渐进复杂性和归约性的使用。然而，现今的计算机学科的发展，起源于两个重要的 事件：现代数字计算机的出现和算法概念的形式化。 计算机科学有两个主要的部分：第一，构成计算系统基础的一些基本概念和模型；第二，设计 计算系统 (软件和硬件) 的工程技术。形式语言与自动机理论，就是作为第一部分，即构成计算基 础的基本概念的引论。 1.2 基础知识 1.2.1 基本概念 (1) 字母表 (Alphabet): 有穷非空符号集. 例如， , . ( “符号”是一 个抽象的实体，我们不再去形式的定义它，如同几何学中对“点”和“线”的概念不加定 义一样. ) (2) 字符串 (Strings): 某个字母表中符号的有穷序列，也称字 (words). 例如，若 ， 则000, 111, 0101, 10101 为 上的字符串. (3) 空串(Empty string): 长度为0 的串. 一般表示为. (4) 串的长度: 串中符号的个数. 更准确的说，是串中符号所占的位置数. 若串为 ，那么长 度记为 . 例如， , . (5) 串的连接 (Concatenation): 如果 和 是串，那么 标识将 和 进行连接后得到的 串. 例如 和 ，那么 . 对任意串 ，都有 ，所以 也称为连接运算的单位元. 对任意串 ，记 和 . 例如 , (0 和 1 都是 个). (6) 串的逆序 (Reverse): 若 ，则记 的逆序为 . (7) 集合的连接 (或乘积): . 例如 ; . 1 – 1 1.2. 基础知识 CHAPTER 1. 简介 (8) 集合的幂: 递归定义 (1) ; (2) ( ). 那么，若 是字母表，那么定义 就是，长度为 的串的集合. 而且 对任何 都成立. 例如，若 ，那么 ， . (9) 正闭包 (Positive closure): (10) 克林闭包 (Kleene closure): , 显然 . 就是字母表 上的所有的串的集合. 就是字母表 上全部非空串的集合. 例如 (11) 串的前缀 (prefix )、后缀 (suffix)、真前缀 (proper prefix )、真后缀 (proper suffix )：略 1.2.2 语言 语言 (Languages)：若 是字母表，那么 ， 称为字母表 上的一个语言。 例如 (1) 自然语言，C 语言等 (2) The language of all strings consisting of 0’s followed by 1’s, for some (对某个 ，形如 个0 后面跟着