文件夹: 离散数学/notes/第13章_计算建模

2026年4月21日

• 离散数学
• 计算建模
• 形式语言
• 文法
• 乔姆斯基层次
• 上下文无关文法
• 正则文法
• 派生树
• Backus-Naur形式
• 学习/离散数学/计算建模

2026年4月21日

• 离散数学
• 计算建模
• 有限状态机
• Mealy机
• Moore机
• 状态转移表
• 状态转移图
• 单位延迟机
• 二进制加法器
• 学习/离散数学/计算建模

2026年4月21日

• 离散数学
• 计算建模
• 有限状态自动机
• DFA
• NFA
• 语言识别
• Kleene闭包
• 学习/离散数学/计算建模

2026年4月21日

• 离散数学
• 计算建模
• 正则表达式
• 正则集合
• Kleene定理
• 正则文法
• 语言识别
• 学习/离散数学/计算建模

2026年4月21日

• 离散数学
• 计算建模
• 图灵机
• Church-Turing论题
• 停机问题
• 可判定性
• 计算复杂度
• P与NP
• 学习/离散数学/计算建模

2026年4月21日

• 离散数学
• 计算建模
• 章节汇总