We're sorry this project doesn't work properly without JavaScript enabled. Please enable it to continue.
欢迎来到在线教学平台
问题答疑
首页
全部课程
公开课
云课直播
新闻公告
数图资源
智汇大讲堂
更多
首页
全部课程
公开课
云课直播
新闻公告
数图资源
智汇大讲堂
    • 首页 - 课程列表 - 课程详情
    返回
    形式语言与自动机理论_哈尔滨工业大学
    课程类型：选修课
    发布时间：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分钟）
    京ICP备20031688号 　|　 京公网安备 11011502004263 　 |　 教APP备1102393号
    友情链接
    常见问题
    关于我们
    联系方式
    中南林业科技大学涉外学院——在线教学平台
    地址 :湖南省长沙市芙蓉北路特1号
    网络中心电话：0731-89814016
    教务处电话：0731-89814002