有限自动机|计算模型|计算理论

注：本学期刘老师计算理论课程知识点总结
知识知识快到我碗里来！🐱‍💻🐱‍💻🐱‍💻

计算模型

• 有限自动机 🚩
• 上下文无关语言
• 图灵机 🚩
  可计算性🚩
• 存在没有算法的问题
  计算复杂性🚩
• P, NP 与NP完全性

计算机的基本能力和局限是什么?
👆好酷的问题，这门课应该很有意思吧呜可惜我又是上课睡过去了…用的是Sipser的教材呢…

有限自动机

0.引论-语言-什么是问题

决定性问题(Decision Prob): 只需回答是与否的问题
“一数是否是偶数”, “串长度是否是2的幂次” “图是否连通”, “图是否有k团”, “一个数是否素数”
一般问题: 排序, 最大流, 最大团问题
本书只研究决定性问题
1. 决定性问题能统一描述
==2. 一般问题总能转化为决定性问题 ==

例: 最大团问题如何转化为决定性问题?
“最大团”与“图是否有k团”

决定性问题与字符串集合

字母表与字符串

语言与Σ^*

Σ^* 的字典序与Σ^N

Σ上的语言与Σ^N一一对应

以下内容上学期离散数学学过
想到上学期离散成绩就感觉离谱
等势,可数,不可数

可数集合举例