课程编号
512.5*080
课程称号
体式道话与自动机
任课老诚
王柏 石川
课程类型
必修/学位课
课程阶段
硕士
学时学分
36学时2学分
基本条目
通过本课程学习，条目知生掌执体式化状貌门径，建造起体式道话、自动机模子以及体式道话与自动机的相干等意见，并通过一些定理的说明和欺诈成人色情网，对学生进行体式化念念维检修成人色情网，普及用数学器具对问题进行详尽建模的才能，培养学生昭着而准确地抒发问题的才能。
施行摘要
第一章 序言第二章 道话与文法1. 体式道话意见2. Chomsky文法体系第三章 有限自动机和有限性文法1. 细想法有限自动机(DFA)2. 不细想法有限自动机(NFA)3. NFA与DFA的等效变换4. 有e退换的NFA5. 正则式与有限自动机6. 右线性道话的性质7. 双向有限自动机与有输出的有限自动机第四章 荆棘文无关门径与下推自动机1. 推导树与二义性；2. 荆棘文无关文法的变换及算法3. Chomshy范式与Greibach范式4. 荆棘文无关文法与下推自动机的等效性5. 荆棘文无关文法的性质第五章 图灵机1. 基本图灵机2. 图灵机的构造时代3. 受限型图灵机与基本图灵机的等效；4. 无适度文法与图灵机第六章 翻译旨趣 1. 翻译式2. 退换器3. 词法分析4. 句法分析 第七章 自动机表面在通讯领域的欺诈 1. 气象机模子的局限性2. MSC和SDL简介
教诲口头
指定课本
参考书目
1. 王柏 杨娟 编订：《体式道话与自动机》 北京邮电大学出书社，2003年版2. 好意思J.D.霍普克罗夫零碎:《自动机表面、道话和经营诱掖》， 科学出书社19903. 好意思 Michael Sipser 著，张立昂 等译:《经营表面诱掖》，机械工业出书社，20004. 蒋宗礼 姜守旭:《体式道话与自动机表面》，清华大学出书社 20035. 好意思A.V. 阿霍 等:《体式道话偏激句法分析》，科学出书社1987
先修课程
经营机导论与神志假想、数据结构、翻脸数学
开课学期
秋
勾引英文
