离散数学-newchap12幻灯片.ppt

上海交通大学 网络学院 离散数学 离散数学第12章 自动机 文法和语言 本章内容 输出不仅依赖于输入而且依赖于系统的状态 有限状态机是具有内部记忆的抽象机模型 有限状态自动机是特殊类型的状态机，和语言相关 12.1 时序线路和有限状态机 12.1 时序线路和有限状态机 在线路中引入时序的简单方式是引入一个 单位时间延迟 一个单位时间延迟在时刻t接收一位输入x t ，输出x t -1, 后者是在时刻t-1时系统的输入。 12.1.2 串行加法器 一个串行加法器的输入为两个二进制数x 和 y， 输出为它们的和z = x + y x =0xNxN-1…x1x0 y =0yNyN-1…y1y0 z = zN+1zNzN-1…z1z0 x 和y 按以下顺序输入 x0,y0; x1,y1; …; 0,0 输出形式为 z0, z1,…, zN, z N+1 串行加法器例 例如: x + y, x = 010 且 y = 011 x0 = 0, y0 = 1 相加得 z0 = 1i = 0 x1 = 1, y1 = 1. 相加得 z1 = 0i = 1 x2 = 0, y2 = 0. 相加得z2 = 1 最后结果z = 101 串行加法器电路图 12.1.4 有限状态机 有限状态机M = (I, O, S, f, g, ?)，其中 a) I 有限输入符号集合 b) O 有限输出符号集合 c) S 有限状态集合 d) f: S x I ? S next-state函数 e) g: S x I ? O 输出函数f) ? 是初始状态 定义 12.1.7 M = (I, O, S, f, g, ?) f(?1,i)= ?2 , g(?1,i)= o 12.1.8 输入、输出串 给定有限状态机M = (I, O, S, f, g,?) M上的一个输入串是I上的一个有限序列= x1x2…xnxj ? I ， 1 j n. 输入、输出串 给定输入串 ? = x1x2…xn, 称= y1y2…yn 是 M 的一个输出串，若 存在状态序列0 = ?,i = f(?i-1,xi)， i = 1,…, n yi = g(?i-1,xi)， i = 1,…, n. 串行加法器的有限状态机 输入为{00, 01, 10, 11} 输出为集合 {0, 1}中的元素 两个状态: NC (no carry)C (carry) 初始状态：NC 串行加法器的有限状态机 SR 触发器的有限状态机 12.2有限状态自动机 有限状态自动机 一个有限状态自动机是一种特殊类型的有限状态机。我们之所以对有限状态自动机感兴趣，是因为它和语言的关系。 定义 12.2．1 有限状态自动机A = (I, O, S, f, g, ?) 是一个有限状态机，输出符号集合是O = {0, 1} ，并且当前的状态决定下一状态，最后输出为1的那些状态被称为接收状态。 例 12.2.2 例 12.2.3 有限状态自动机 A = (I, S, f, A , ?)，其中 I 有限输入符号集合 S 有限状态集合 f: S x I ? S next-state函数 A ? S 接收状态的集合是初始状态 12.2.4I={a,b},S={?0, ?1, ?2}, A={?2}, ?= ?0 定义 12.2.5 ? = x1x2…xn 是 I 上的一个串 如果存在状态 ?0, ?1,…, ?n 满足 a) ?0 =b) f(?i-1,xi) = ?i, for i = 1,…, n c) ?n ? A 则称?被A接收。 一个空串被接收iffA 定义Ac（A）是被A接收的字符串的集合 例 12.2.6 abaa被图接收吗？ 例 12.2.7 abbabba被下图接收吗？ 12.2.8 设计一个有限自动机接收{a,b}上不含a的串 A: 发现aNA:没有发现a 算法 12.2.10 有限自动机的等价 如果 Ac(A) = Ac(A‘ ) 则称 A 和A‘ 等价 12.3 语言和文法 自然语言 形式语言 定义 12.3.2 A 是一个有限集合 A* = { all strings over A } A* 的子集是A上的形式语言L 定义 12.3.3 G是一个文法，其组成为 a) N 有限非终结符号集合b) T有限终结符号集合 c) 有限产生式的集合 PP ? [(N ? T)* - T*] x (N ? T)*d) 开始符号产生式 P ? [(N ? T)* - T*] x (N ? T)*(A, B) ∈PAB A至少包含一个非终结