CSCI3130 / 70 份笔记
计算理论
期中复习2
阅读与复习2
课程伴读46
- L00-P1-课程安排
- L00-P2-学习目标
- L00-P3-计算模型
- L00-P4-计算理论导论
- L01-P1-数学预备
- L01-P2-语言与文法
- L02-P1-确定有限自动机
- L02-P2-非确定有限自动机
- L02-P3-DFA与NFA等价
- L02-P4-状态最小化
- L03-P1-正则表达式
- L03-P2-表达式与自动机
- L03-P3-正则文法
- L03-P4-结尾小测
- L04-P1-封闭性质
- L04-P2-判定问题
- L04-P3-非正则语言
- L04-P4-结尾小测
- L05-P1-上下文无关文法
- L05-P2-解析与歧义
- L05-P3-程序语言
- L06-P1-文法清理
- L06-P2-乔姆斯基与格雷巴赫范式
- L06-P3-CYK成员算法
- L06-P4-范式小测
- L07-P1-非确定下推自动机
- L07-P2-PDA与文法等价
- L07-P3-确定性与语言范围
- L07-P4-结尾小测
- L08-P1-上下文无关泵引理
- L08-P2-封闭性与判定
- L09-P1-标准图灵机与函数
- L09-P2-图灵机组合
- L09-P3-图灵论题
- L09-P4-真减法小测
- L10-P1-图灵机的基本变体
- L10-P2-多带与多维存储
- L10-P3-非确定性通用机与可数性
- L10-P4-有界带与构造练习
- L11-L12-P1-递归与可枚举语言
- L11-L12-P2-无约束文法
- L11-L12-P3-上下文有关语言
- L11-L12-P4-乔姆斯基层级
- L11-L12-P5-可判定性与停机问题
- L11-L12-P6-归约与不可计算函数
- L14-计算复杂度