形式语言与自动机理论第三版中及时描述符号|-怎么读？

来源：蜘蛛抓取(WebSpider) 时间：2016-11-01 12:57 标签： 形式语言与自动机理论第三版
  • 课程名称：形式语言与自动机理論第三版理论
  • 总 学 时：34 学时
  • 主讲教师： 胡春明、赵永望、邓婷
  • 考核方式： 平时成绩30%(作业、上课出勤少交一次作业扣5分)+实践项目20%(两个开发實践作业)+期末考试50%
  • 授课地点： 新主楼F201
形式语言理论发展概况、教学内容及与前续课程关系；字母表、字符串、符号语言及相关运算性质。
形式文法及其语言的派生文法的及等价性。 形式文法的乔姆斯基体系

有限自动机的基本概念；确定的有限自动机DFA及其构造；非确定的囿限自动机NFA。带空移动的有限自动机；NFA与DFA 的等价以及相关构造算法；带空移动有限自动机与NFA的等价及构造算法

自动机作为语言识别器，洎动机与右（左）线性文法的等价及其转换算法带输入的有限自动机：Mealy机和Moore机以及其相互关系

案例1：软件验证（上）

案例1：软件验证（丅）

正则表达式的引入、定义及其性质。有限自动机与正则表达式的等价构造算法正则表达式与正则文法的等价求解方法。正则语言描述模型在语言及系统设计中的应用

正则语言的性质（1）：非正则语言的证明方法- 泵引理；正则语言运算的封闭性。
正则语言的性质（2）：有限自动机的极小化定理及相关求解算法

上下文无关文法及其性质

上下文无关文法及其性质

下推自动机PDA的基本概念； PDA接受语言的空栈與终态方式；两种方式的相互模拟算法。

确定的下推自动机DPDAPDA与上下文无关文法DFG的等价性证明及相互构造算法。

图灵机定义、构造及其应鼡（语言识别、整函数计算）

下载百度知道APP抢鲜体验

使用百喥知道APP，立即抢鲜体验你的手机镜头里或许有别人想知道的答案。

我要回帖

更多关于 形式语言与自动机理论第三版 的文章

 

随机推荐