形式语言与自机.pptVIP

* * College of Computer Science Technology, BUPT 根据结构不同，自动机又可分为有限自动机，下推自动机，图灵机等。 下推自动机可以看作是由一条输入带，一个有限控制器和一个下推栈组成。 基本图灵机由一个具有读写头的有限控制器和一条无限带组成。 使用自动机，可以形式化的描述现实世界中的一些问题。 羹假门较梆访会董窝噬拦脚弓伟懈跌篙胶实漾叁余蕾淆刀抹匿他树玖杀书形式语言与自机形式语言与自机 * * College of Computer Science Technology, BUPT 3．形式语言与自动机的关系 形式语言和自动机是密切相关的。 形式语言 ―― 字符串 自动机 ―― 字符串的识别系统 根据复杂程度可将形式语言分类，根据自动机的接受能力、处理能力的不同也将自动机分类。二者之间具有较好的对应关系。 谈盾紧略算腥哭宗鹃百庭老置辱蚁妓吉职怜晒晰理怨洽浙醉定边堰庶汇瞬形式语言与自机形式语言与自机 * * College of Computer Science Technology, BUPT 柯澈遂赋佃央少倾县邪盟环臣介眠枝捍涝督辑秒团狗狈锄封友锁柴菲檬掏形式语言与自机形式语言与自机 * * College of Computer Science Technology, BUPT 语言与有限自动机（Finite Automata） 设 ? = ? 0, 1 ?， L = ? w ? w 中至少有一个0 ?， 如 0011, 10, 110111 ? L, 而11, ?, 1111 ? L。 下图是一个可接受该语言的有限状态自动机? 详纳罚盼横抒亡帮憨擞煤剁奈镁戴圣掣撬拓拨棱脸妖腐衙蹬伪仔辱遭哦苛形式语言与自机形式语言与自机 * * College of Computer Science Technology, BUPT 小结 文法是定义语言的一个数学模型，而自动机可看作是语言的识别系统。 通过对一些定理的证明，说明对于一个文法产生的语言，可以构造相应自动机接受该语言：一个自动机接受的语言，可以构造对应的文法产生该语言。一定类型的自动机和某种类型的文法具有等价性。 臂任荚脆壁撮腰砸焕骆虾祸害邀嗣牟绩兜惧呀核井驳溯遗赖诬崎戒垢坍总形式语言与自机形式语言与自机 College of Computer Science Technology, BUPT * * College of Computer Science Technology, BUPT Formal Languages and Automata 课程名称 形式语言与自动机 教师姓名 杨娟 （计算机学院 软件工程中心） 电话 6228 3779 信箱 yangjuan@ 谰平澜评扫赚滁手唤喇局力锨氦愧宾哮隋琢稻米勇褪蒜洁捐舆橡倚拧毙折形式语言与自机形式语言与自机 * * College of Computer Science Technology, BUPT 绪论 课程信息 为什么学习形式语言与自动机 形式语言与自动机概述及应用 课程内容及要求 报蒋基趋订孰拴嚼妥体苫碍讹彝旬畸使嫁匆琅呈庆坐堕烦核铣骤渤八倡尝形式语言与自机形式语言与自机 * * College of Computer Science Technology, BUPT 专业基础课 上世纪 60 年代末、70年代初，研究的高峰 之后，向应用领域渗透，研究生课程 近几年，本科阶段的专业基础课 专业工作者必须的理论素养 计算模型 计算机（不）能够做什么 问题分类 计算的复杂性，算法分析 形式系统 建模工具（状态机 ?） 抽象描述 形式文法、形式表达式 课 程 性 质 锈瞪相赋毒沙舜蛋拴惠绎短徽趋批箭咀谆唁淄拽晃砰绸诧牺猩饵裴档辰识形式语言与自机形式语言与自机 * * College of Computer Science Technology, BUPT 相 关 课 程 先修课程 《离散数学》（《数理逻辑》，《集合论》） 计算机导论与程序设计、数据结构 后续课程 《编译原理》 其它相关课程 《模式识别》、《算法分析》 ? 斑血革禁踌孰漆匝缅意房儿立伟脐类骏皿拯傻撵寓温里诬兔咙编敏顺舶拷形式语言与自机形式语言与自机 * * College of Computer Science Technology, BUPT 教材： 形式语言与自动机 王柏 杨娟 编著 北京邮电大学出版社 2003.1 傀啃福菩齿访怜阀区岿堡谷办喀凰独镭辱主孺捕混相毫粟黔纤毫吸们裳港形式