编译原理课件compiler_ch22.pdf

Ch2 形式语言自动机理论基础 2.2 自动机基础 2.2.1 确定的FA （DFA ） 一. 确定的有限自动机（ DFA ） ( DFA ：Deterministic Finite Automata ) 定义2.24 一个确定的有限自动机M ( DFA M)是一个五元组 M = （S, ∑, f, S , Z ） 0 其中： S：状态的有限集合，每个元素S (S ⊂S) 称为一 i i 个状态。 Ch2 形式语言自动机理论基础 2.2 自动机基础 2.2.1 确定的FA （DFA ） ∑ ：输入字符的有限集合(或有穷字母表)。每个元 素是一个输入字符。 f：状态转换函数：从S×∑→S的部分映射。 例如, f （p,a ） q, q、p ∈S, a∈∑。表示了状态 p在输入字符a之后转入状态q 。 其中q也称为后继状态。 S ：M 的惟一初态（也称开始状态），S ∈S。 0 0 Z ：M 的终态集（或接受状态） Z⊆S。 Ch2 形式语言自动机理论基础 2.2 自动机基础 2.2.1 确定的FA （DFA ） 例如， 1） 电梯的控制系统； 2 ） 人的大脑也是有限控制系统； （235 ） 3 ） 计算机自身也是有限控制系统。 注意： 1） DFA是具有离散输入、输出系统的一个纯数 学模型； 2 ） DFA 的技巧在于状态的设置； 3 ） DFA映射的唯一性和初态的唯一性。 Ch2 形式语言自动机理论基础 2.2 自动机基础 2.2.1 确定的FA （DFA ） 例2.20: 一个单部电梯对3层楼进行控制的电梯控制 系统的DFA描述。 问题分析： 上1、上2、上3 用户请求 （输入） 下1、下2、下3 状态设置 1层 S1 （所处楼层） 2层 S2 3层 S3 Ch2 形式语言自动机理论基础 2.2 自动机基础 2.2.1 确定的FA （DFA ） 上2/下2 上2 S2 下1 下 上 上1/下1 S1 2 3 上3 下1 S3 上3/下3