![](https://img-blog.csdnimg.cn/20201014180756919.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
计算理论
文章平均质量分 70
秘密果酱
Think Twice
Code Once
展开
-
可计算性|计算理论
注:本学期刘老师计算理论课程知识点总结可计算性可判定=有算法ATM 图灵可识别 非图灵可判定ATM的补 非图灵可识别可判定问题举例不可判定问题举例1930’s人们开始考虑算法的精确定义1900年巴黎世界数学家大会, Hilbert问题1933, Kurt Gödel, 递归函数1936, Alonzo Church, λ-calculus1936, Alan Turing, 判定图灵机(判定器)Church 和 Turing 证明这三种定义等价计算机能力的极限即使未来几年量子计原创 2021-06-22 22:19:30 · 1358 阅读 · 0 评论 -
有限自动机|计算模型|计算理论
注:本学期刘老师计算理论课程知识点总结知识知识快到我碗里来!????????????????????????计算模型有限自动机 ????上下文无关语言图灵机 ????可计算性????存在没有算法的问题计算复杂性????P, NP 与NP完全性计算机的基本能力和局限是什么?????好酷的问题,这门课应该很有意思吧呜可惜我又是上课睡过去了…用的是Sipser的教材呢…有限自动机0.引论-语言-什么是问题决定性问题(Decision Prob): 只需回答是与否的问题“一数原创 2021-06-22 20:29:57 · 655 阅读 · 0 评论 -
图灵机|计算理论
注:本学期计算理论课程刘老师上课内容知识点总结今天学一天感觉脑子是不是不能吸收啊。。。还是要相信自己的脑子,明儿考试可就靠你了那总比通宵学的强不是图灵机基础图灵机定义(TM)形式化定义突然想起来考试周这段时间吃的好不健康。。天天喝饮料吃油炸。。。跟刚开始天天运动形成鲜明反差 不过快乐就好????图灵机的初始化:图灵机的运行图灵机的格局(configuration)格局演化举例图灵机计算的形式定义判定器与语言分类图灵机举例各语言类的包含关系图灵机的描原创 2021-06-22 21:44:10 · 2187 阅读 · 0 评论