形式语言与自动机06章有限状态自动机和有限状态语言-1.pptVIP

形式语言与自动机作为统一的理论,实际上包括3个方面的内容: 1) 形式语言理论(产生语言) 2) 自动机理论(接收语言) 3) 形式语言与自动机的等价性理论 第六章 有限状态自动机和有限状态语言 有限状态自动机FSAM（或FA）(Finite State Automaton”) 是为研究有限存储空间的计算过程和某些语言类而抽象出的一种计算模型。 有限状态自动机识别的语言是有限状态语言FSL，也就是正则语言RL（或右线性语言RLL）。 6.1 有限状态自动机 有限状态自动机是具有离散输入和输出的系统的一种数学模型。其主要特点有以下几个方面： (1)系统具有有限个状态，不同的状态代表不同的意义。 (2) 输入字符串中出现的字符构成字母表。 (3)系统在任何一个状态下，从输入字符串中读入一个字符，根据当前状态和读入字符转到新状态。 (4)系统中有一个状态，它是系统的开始状态。 (5)系统中还有一些终止状态，表示它到目前为止所读入的字符构成的字符串是语言的一个句子。 有限状态自动机的物理模型 物理模型 一个输入存储带，带被分解为单元，每个单元存放一个输入符号(字母表上的符号)，整个输入串从带的左端点开始存放. 带的右端可以无限扩充； 物理模型 一个有穷状态控制器(FSC)，该控制器的状态只能是有穷多个； FSC通过一个读头和带上单元发生耦合，可以读出当前带上单元的字符。 初始时，读头对应带的最左单元，每读出一个字符，读头向右移动一个单元(读头不允许向左移动)。 一个动作 读头读出带上当前单元的字符； FSC根据当前FSC的状态和读出的字符，改变FSC的状态； 并将读头向右移动一个单元。 有限状态自动机的动作简化为： FSC根据当前的状态和当前带上的字符，进行FSC状态的改变。 定义6-1 有限状态自动机 字母表∑上的有限状态接收机(FSAM)是一个五元式，FSAM = (Q, ∑, ?, q0, F)， 其中： Q是一个有限状态的集合； ∑是字母表，输入带上的字符的集合； q0∈Q是开始状态； F ? Q是接收状态(终止状态)集合； 状态转换函数 ?是Q×∑→Q的状态转换函数，即?(q，x) = q；代表自动机在状态q时，扫描字符x后到达状态q 。 有限状态自动机的状态转换函数的元素个数应该为|Q|*|∑|。 称为确定的有限状态自动机(FSAM)。 对于Q中的每个状态，都应该定义扫描字母表∑上的每个字母的状态转换函数。 例6-1 有限状态自动机FSAM 为 ({q0, q1}, {0, 1}, ?, q0，{q0}) 其中?表示为函数形式： ?(q0, 0) = q1; ?(q0, 1) = q1; ?(q1, 0) = q1; ?(q1, 1) = q0 状态矩阵形式 状态图形式 状态图 状态图是一个有向、有循环的图。 一个节点表示一个状态； 若有 ?(q, x)= q ， 则状态q到状态q有一条有向边，并用字母x作标记。 一个圆圈代表一个状态， ‘→’指向的状态是开始状态， 两个圆圈代表的状态是接收状态。 6.2 FSAM识别的语言 定义6-3 FSAM接收串的定义 对于FSAM，给定字母表∑上的串w w = w1w2…wn； 初始时， 自动机M处于开始状态q0； 从左到右逐个字符地扫描串w； 在?(q0, w1) = q1的作用下，自动机M处于状态q1， 在?(q1, w2) = q2的的作用下，自动机M处于状态q2， …； 自动机所识别的串 当将串w扫描结束后， 若自动机处于某一个接收状态，则称有限状态自动机能够接收(识别)串w。 自动机识别串的过程 从开始状态开始，在扫描串的过程中，状态逐个地变化，直到某个接收状态； 把状态的变化过程称为自动机的一条路径，而这条路径上所标记的字符的连接，就是自动机所识别的串。 定义6-4 有限状态自动机接收的语言 对于字母表∑上的FSAM，它能识别的所有串的集合， 称为自动机M能识别的语言。记为L(M)。 问题： 如何形式化地描述有限状态自动机接收的语言？ 定义6-5 扩展的状态转换函数 给定FSAM，定义扩展的状态转换函数?*: Q×∑*→ Q为： ? *(q, w) = q 即自动机在一个状态q时，扫描串w后到达唯一确定的状态q 。 定义6-6 ?*的形式定义 ? *(q, ?) = q； ?*(q, x) = ?(q, x)；x∈ ∑ ； 对于串w = ?x ；? ∈ ∑* ； ?*(q, w) = ?*(q, ?x) = ? (?*(q, ?), x)； 定义6-7 FSAM接收的语言 L(M)表示被FSAM = (Q, ∑, ?, q0, F)接收的语言，它在字母表∑上，即L(M) ? ∑*，则