形式语言与自动机_有穷自动机幻灯片.pptVIP

1 形式语言与自动机 第三章 有穷自动机 南京航空航天大学 计算机科学与技术学院 胡 军 hujun.nju@139.com 2018年2月4日星期日 南京航空航天大学计算机学院 胡军 2 第三章 有穷自动机 1.1 非形式化描述 1.2 有穷自动机的基本定义 1.3 非确定的有穷自动机 1.4 具有ε转移的有穷自动机 1.5 有穷自动机的应用 1.6 具有输出的有穷自动机（*) 2018年2月4日星期日 南京航空航天大学计算机学院 胡军 3 1.1 有穷状态系统 指针式钟表共有12*60*60个状态 小时×分钟×秒 围棋共有3361个状态 每一个格子：（空，黑，白）； 格子数量：19行×19列 某些电子产品中的开关电路， 具有n个门的开关网络有2n种状态 “网上购物”系统（示例：） 2018年2月4日星期日 南京航空航天大学计算机学院 胡军 4 2007年图灵奖 模型检验（model checking）:基于自动机理论的形式化方法(formal methods) 2018年2月4日星期日 南京航空航天大学计算机学院 胡军 5 1.2 有穷自动机的基本定义 定义3.1 一个有穷自动机(Finite Automata)简称FA，是一个五元组：M = (Q,∑,δ,q0,F)，其中 （1）Q是有穷状态集；（States） （2