计算理论
文章平均质量分 93
Recitative
好好学习,热爱生活
展开
-
【计算理论】07 时间复杂性与空间复杂性
复杂性理论在可解性的基础上,进一步分析了在实际应用中可解的问题,并根据问题的不同难解程度进行了分类。了解复杂性理论有助于判断问题是否实际可解。原创 2023-12-28 14:49:52 · 541 阅读 · 0 评论 -
【计算理论】01 绪论与数学基础
说明学习计算理论的主要目的,以及简要介绍计算理论需要的数学基础知识原创 2023-09-25 15:24:03 · 182 阅读 · 0 评论 -
【计算理论】正则语言与有穷状态机
整理正则语言、有穷自动机与正则表达式的核心知识点,欢迎参考和指正原创 2023-11-01 15:47:51 · 620 阅读 · 0 评论 -
【计算理论】03 上下文无关文法与下推自动机
整理上下文无关语言、下推自动机相关知识点,欢迎参考和指正原创 2023-11-16 23:57:14 · 1220 阅读 · 0 评论 -
【计算理论】04 图灵机
图灵机可以模拟所有实际计算机的所有计算行为,掌握如何准确地描述一台图灵机,对证明可判定性、可识别性,以及分析多项式可归约性有重要意义。原创 2023-12-19 16:58:02 · 2378 阅读 · 0 评论 -
【计算理论】05 可判定性
可判定性描述了问题是否能够通过计算机编程解决,验证问题是否可判定,需要构造判定该问题的判定器。不可识别语言的存在性证明涉及多个小定理的证明,需要从整体目标出发,逐步推导出需要的定理并得到最终结论。原创 2023-12-21 19:16:24 · 1265 阅读 · 0 评论 -
【计算理论】06 可归约性
可归约性讨论了一种强有力的证明方法:通过将A问题归约到B问题,并证明B问题的可解性,就可以使用B问题的解来给出A问题的解。这种思想在图灵可判定性和可识别性的证明,以及时间复杂度和空间复杂度相关内容的证明中得到了广泛应用。原创 2023-12-23 16:49:33 · 2606 阅读 · 0 评论