编译原理及其习题解答（武汉大学出版社）课件ap3.PPTVIP

第三章 有穷自动机;有穷自动机;3.1 概述 有穷自动机（FA）;例 过河问题 题目;例 过河问题 分析;例 过河问题 分析（续）;例 过河问题 状态转换图;有穷自动机（FA）;d;=;3.2 有穷自动机的形式定义;确定的有穷自动机DFA的定义（续）;确定的有穷自动机DFA的表示 ; 例１;确定的有穷自动机DFA的表示（续）;例２（题同１）;3.2.3 有关自动机术语;例３; 3.2.4 有关确定有穷自动机的结论;有限自动机识别的语言 例子; 定义3.4 一个不确定的有穷自动机NFA N也是一个五元组： M = ( K, Σ, f, S, Z ) (1)K是一个有穷集合，它的每一个元素称为一个状态； (2)Σ是一个有穷字母表，它的每一个元素称为一个输入字符； 　Σ也称为输入符号字母表 (3) f是一个K×Σ*到K的子集的映射： f : K×Σ*→2k (4)S是K的子集，是非空的初态集； (5)Z是K的子集，是一个终态集，也称可接收状态或结束状态。;NFA的表示;例４;例５;有关非确定有穷自动机的术语;补充：递归思想构造文法;递归思想构造文法 （续）;补充：如何设计有限自动机;设计有限自动机（续）;设计有限自动机（续）;设计有限自动机（续）;设计有限自动机（续）;NFA和DFA的关