欢迎来到在线教学平台
问题答疑
首页
全部课程
公开课
云课直播
新闻公告
数图资源
智汇大讲堂
更多
首页
全部课程
公开课
云课直播
新闻公告
数图资源
智汇大讲堂
扫码下载Android
扫码下载iOS
扫码打开微信小程序
教师登录
学生登录
首页
全部课程
公开课
云课直播
新闻公告
数图资源
智汇大讲堂
教师登录
学生登录
首页 - 课程列表 - 课程详情
返回
形式语言与自动机理论_哈尔滨工业大学
课程类型:
选修课
发布时间:
2024-11-01 15:22:09
主讲教师:
课程来源:
建议学分:
0.00分
课程编码:
mk004606
课程介绍
课程目录
教师团队
{1}--第1章 课程简介和基础知识
[1.1.1]--课程简介.mp4
(0分钟)
[1.2.1]--基本概念.mp4
(0分钟)
[1.2.2]--语言与问题.mp4
(0分钟)
{2}--第2章 有穷自动机
[2.1.2]--状态转移图表和DFA设计举例.mp4
(0分钟)
[2.1.1]--DFA的形式定义.mp4
(0分钟)
[2.1.3]--扩展转移函数和语言.mp4
(0分钟)
[2.2.1]--NFA的形式定义.mp4
(0分钟)
[2.2.2]--扩展转移函数和语言.mp4
(0分钟)
[2.2.3]--DFA与NFA的等价性.mp4
(0分钟)
[2.3.2]--闭包.mp4
(0分钟)
-NFA的形式定义.mp4
(0分钟)
[2.3.3]--扩展转移函数、语言、与DFA等价性.mp4
(0分钟)
{3}--第3章 正则表达式
[3.1.2]--正则表达式设计举例.mp4
(0分钟)
[3.1.1]--正则表达式形式定义.mp4
(0分钟)
-NFA.mp4
(0分钟)
[3.2.1]--DFA到正则表达式之递归式法.mp4
(0分钟)
[3.3.1]--代数定律与检验方法.mp4
(0分钟)
{4}--第4章 正则语言的性质
[4.1.2]--泵引理的应用.mp4
(0分钟)
[4.1.1]--泵引理.mp4
(0分钟)
[4.2.1]--并连接闭包补交差的封闭性.mp4
(0分钟)
[4.2.2]--反转同态逆同态的封闭性.mp4
(0分钟)
[4.3.1]--判定性质与DFA最小化.mp4
(0分钟)
{5}--第5章 上下文无关文法
[5.1.2]--归约和派生.mp4
(0分钟)
[5.1.1]--形式定义.mp4
(0分钟)
[5.2.1]--语法树和歧义性.mp4
(0分钟)
[5.3.1]--转换为范式.mp4
(0分钟)
[5.3.2]--文法的化简.mp4
(0分钟)
{6}--第6章 下推自动机
[6.1.1]--形式定义和瞬时描述.mp4
(0分钟)
[6.2.1]--从空栈方式到终态方式.mp4
(0分钟)
[6.2.2]--从终态方式到空栈方式.mp4
(0分钟)
[6.3.1]--由CFG到PDA的转换.mp4
(0分钟)
[6.3.2]--由GNF到PDA的转换.mp4
(0分钟)
[6.3.3]--由PDA到CFG的转换.mp4
(0分钟)
[6.4.1]--确定的下推自动机.mp4
(0分钟)
{7}--第7章 上下文无关语言的性质
[7.1.1]--泵引理及应用.mp4
(0分钟)
[7.2.2]--其他封闭性.mp4
(0分钟)
[7.2.1]--代换的封闭性.mp4
(0分钟)
[7.3.1]--判定性质.mp4
(0分钟)
{8}--第8章 图灵机与不可判定性
[8.1.1]--形式定义.mp4
(0分钟)
[8.1.2]--图灵机的变形.mp4
(0分钟)
[8.2.1]--不可判定性.mp4
(0分钟)