第二章词法分析确定有限自动机.pptVIP

编译程序原理与实现 张晶 2011.3 第2章 outline 一、词法分析概述 1，词法分析程序的功能 2，词法分析相关的一些问题 二、正则表达式 三、有限自动机 1，确定有限自动机DFA 2，非确定有限自动机NFA，NFA到DFA的转换 3，DFA的化简 4，正则表达式到NFA的转换 四、词法分析程序构造 三、有限自动机 正则表达式 - specification 有限自动机 – Implementation 什么是有限自动机？ 有限自动机是描述有限状态系统的数学模型。 有限状态系统： 状态：是将事物区分开的一种标识. 具有离散状态的系统：如数字电路(0,1);电灯开关(on,off);十字路口的红绿灯；其状态数是有限的。 具有连续状态的系统：水库的水位、室内的温度等可以连续发生变化；可以有无穷个状态. 有限状态系统是离散状态系统。 在很多领域，如网络协议分析、形式验证、代码安全、排版系统等有重要应用。 有限自动机的例子-经典的过河问题 一个人带着一头狼，一头羊，以及一棵白菜处于河的左岸。人和他的伴随品都希望渡到河的右岸。有一条小船，每摆渡一次，只能携带人和其余三者之一。如果单独留下狼和羊，狼会吃羊；如果单独留下羊和白菜，羊会吃菜。怎样才能渡河，而羊和白菜不会被吃掉呢？ 过河问题模型化 有限自动机的模型 有限自动机FA可以理解成状态控制器 FA有有限个状态，其中有初始