计算机理论体系知识点概括

AlexNett AlexNett 博客等级 墨衍会员 · AI 创作全网分发 墨衍智能分发 本文由作者通过墨衍一键同步至各平台 1分发平台 1.9k累计阅读 2k平均单平台 已同步平台 优快云 微信公众号 微博 知乎 掘金 百家号 博客园 抖音 小红书 你的文章也可以这样分发 墨衍会员 ¥399起/年，写一次发全网 我也要 码龄9年
关注
转载 最新推荐文章于 2026-05-10 05:20:28 发布 1.9k 阅读 AI 写同款· GEO 优化 ›
计算理论重点——Theory of Computation 一个学期的计算理论课程已经结束，给我的感觉吧，计算理论是一门计算机不得不学，学了短期又没用，但是可以培养一些逻辑思维的课程。其最关注的问题是什么是可计算性，什么问题可计算，问题之间的映射/归约，计算代价及难易。在分析问题和检验模型计算能力之前需要掌握的工具是形式语言、图灵机等。本文主要对计算理论中的重点进行了总结，总结了一些定理和理解上容易有障碍的知识点，但是里面还有一些点没有提到，比如NFA、D 阅读详情

来源：【北京大学】理论计算机科学基础（全70讲）_哔哩哔哩_bilibili

目录

第一章  NFA和DFA

DFA的定义

 正则语言/运算

NFA相关定义

 NFA和DFA的等价性

 正则表达式

正则表达式与自动机等价性（包括GNFA）

泵引理

 第二章：上下文无关语言

 CFG（Context Free Grammar）

 文法的歧义性

 CNF（Chomsky Normal Form）

PDA

PDA与CFG等价性

CFL的泵引理

 第三章 图灵机

单带图灵机

 图灵机的各种等价变形

 枚举器和识别器

算法的定义（丘奇-图灵论题）

 图灵机算法的描述（开始抽象）

 递归定理及其证明（开始懵逼）

 递归定理的应用（通用机）

 第四章 （不）可计算问题

关于DFA、正则语言的可计算问题

 关于CFL的可计算问题

 不可计算的问题

 图灵机可判定性问题（对角化过程）

一个非图灵可识别语言

 不可判定性总结

 图灵机的不可计算问题

 LBA（Linear Bounded Automata）（计算历史的归约）

 波斯特PCP问题（归约的例子）

 归约的定义、性质和用途

 Rice定理和总结

 第五章 时间复杂性（从这里开始与视频可能缺斤少两章节）

函数的阶

 时间复杂性和时间复杂类

 P类（PATH、RELPRIME、CFL）

 NP类（HAMPATH、COMPOSITES）

杂

 第六章 多项式时间归约

 库克定理

 NP完全

第一章  NFA和DFA

DFA的定义

 正则语言/运算

 

NFA相关定义

 NFA和DFA的等价性

  • 定理：每台NFA都有等价的DFA
  • 推论：一个语言是正则的，当且仅当有一台NFA识别它

 正则表达式

描述模式的手段

 恒等式

正则表达式与自动机等价性（包括GNFA）

泵引理

 

证明泵引理：鸽巢原理（抽屉原理）

 

 例子：

 第二章：上下文无关语言

 CFG（Context Free Grammar）

 

  •  定理：CFL对并运算封闭

（有点没看懂不知道到怎么概括【北京大学】理论计算机科学基础（全70讲）_哔哩哔哩_bilibili）

 文法的歧义性

 CNF（Chomsky Normal Form）

 

  •  定理：任何CFG都有等价的CNF
  • CFG转CNF过程

    •  

PDA

 

PDA与CFG等价性

CFL的泵引理

  • CFL对交不封闭
  • CFL对补不封闭
  • CFL对正则运算封闭

 例子：

1. 

 

 2.

 证明比较长【北京大学】理论计算机科学基础（全70讲）_哔哩哔哩_bilibili  4：36

3.

 

 第三章 图灵机

单带图灵机

 

 

 例子：【北京大学】理论计算机科学基础（全70讲）_哔哩哔哩_bilibili

 图灵机的各种等价变形

  • 定理：每个多带TM都有等价单带TM
  • 推论：图灵可识别当且仅当可用多带图灵机识别
  • 定理：每个NTM都有等价DTM
  • 推论：图灵可识别当且仅当可用非确定性图灵机识别
  • 推论：图灵可判定当且仅当可用非确定性图灵机判定

 枚举器和识别器

  • 定理：图灵可识别等价于可枚举

算法的定义（丘奇-图灵论题）

 图灵机算法的描述（开始抽象）

 

洪水算法

 

 递归定理及其证明（开始懵逼）

  • 引理：

 

 

 递归定理的应用（通用机）

 【北京大学】理论计算机科学基础（全70讲）_哔哩哔哩_bilibili

极小图灵机，通用机，

 

 第四章 （不）可计算问题

关于DFA、正则语言的可计算问题

DFA接受性问题

 

 正则表达式派生性问题

 DFA空性问题

 

DFA等价性问题 

 

 关于CFL的可计算问题

 不可计算的问题

 

  •  有理数集可数
  • 定理：实数集不可数（对角化）
  • 推论：存在非图灵可识别语言

 图灵机可判定性问题（对角化过程）

【北京大学】理论计算机科学基础（全70讲）_哔哩哔哩_bilibili

一个非图灵可识别语言

 

 

 不可判定性总结

 

 图灵机的不可计算问题

 

 

 

 

 LBA（Linear Bounded Automata）（计算历史的归约）

【北京大学】理论计算机科学基础（全70讲）_哔哩哔哩_bilibili

 

 

 

 

 波斯特PCP问题（归约的例子）

 

 归约的定义、性质和用途

【北京大学】理论计算机科学基础（全70讲）_哔哩哔哩_bilibili

 

 

 

 

 

 Rice定理和总结

【北京大学】理论计算机科学基础（全70讲）_哔哩哔哩_bilibili

 

 

 

 

 第五章 时间复杂性（从这里开始与视频可能缺斤少两章节）

函数的阶

 

 时间复杂性和时间复杂类

【北京大学】理论计算机科学基础（全70讲）_哔哩哔哩_bilibili

 

 

 P类（PATH、RELPRIME、CFL）

 

互素问题

 NP类（HAMPATH、COMPOSITES）

 

 

 

 

 

杂

 

 

 

 

 第六章 多项式时间归约

 

 

 

 

 

 库克定理

 NP完全

 

 

 

 

 

 

 

 

 

         

  

收录于
笔记

当前文章被收录于：

笔记
3 篇文章 0 人学习
订阅专栏 查看详情
标签
#正则表达式
原文链接：https://www.bilibili.com/video/BV1m4411p7nS>
逆向工程视角：MFI芯片通信协议在Linux环境下的行为分析 本文从逆向工程角度深入分析了MFI芯片在Linux环境下的通信协议行为，重点探讨了树莓派与MFI芯片通过I2C接口交互的技术细节。文章详细介绍了信号捕获、协议栈逆向、动态调试技巧以及安全机制分析，为开发者提供了在Linux驱动层面实现MFI认证的实用方法。 阅读详情

相关推荐

语言随机效应模型_线性混合效应模型 VS 方差分析

线性混合效应模型相比方差分析具有很多优点。为了让大家更直观的了解，我们来做一下两者的对比。基于模拟的方法，生成了以下数据dat_sim：这种数据格式是长格式，也就是从实验软件导出来的那种数据格式。这种数据格式可以直接使用线性混合效应模型进行分析。该实验设计是被试内项目间的单因素两水平设计。category是自变量，两个水平分别是outgroup和ingroup，outgroup比ingr...

weixin_31960565的博客 2688

计算理论学习笔记

《计算理论导引》学习笔记

Github_Lee的博客 4239

Photoscan+Smart3D+CC组合建模实战：如何用三款工具打造高精度实景模型

本文详细介绍了如何整合Photoscan、Smart3D和ContextCapture三款软件，构建高效高精度的实景三维建模工作流。通过利用Photoscan稳健的空三解算、Smart3D精准的刺点优化，以及ContextCapture强大的最终建模能力，该方案能有效应对复杂地形与海量数据，显著提升模型质量与生产效率，适用于测绘、文化遗产数字化等专业领域。

weixin_29230649的博客 103

【计算理论】计算理论总结 ( P 、NP 、NPC 总结 ) ★★

一、P 类、 二、NP 类、 三、NPC 类 ( NP 完全 )、 四、P 、NP 、NPC 三者关系、

让 学习 成为一种 习惯 ( 韩曙亮 の 技术博客 ) 5146

VulnHub--mrrobot

Vulnhub靶场--Mr robot 靶机

记录笔记 1093

Quartus Prime器件库安装实战：从版本选择到权限避坑指南

本文详细介绍了Quartus Prime器件库的安装全流程，从版本选择、精准下载到权限设置和安装验证。重点解析了版本匹配的黄金法则、管理员权限的必要性以及安装路径的最佳实践，帮助用户避开常见陷阱，确保器件库安装一次成功。

weixin_33713707的博客 514

【计算理论】下推自动机 PDA ( 上下文无关语言 CFL 的 泵引理 | 泵引理反证示例 | 自动机扩展 )

I . 上下文无关语言 ( CFL ) 的 泵引理 ( Pumping Lemma ) II . 上下文无关语言 ( CFL ) 的 泵引理 ( Pumping Lemma ) 示例 III . 自动机扩展

让 学习 成为一种 习惯 ( 韩曙亮 の 技术博客 ) 9427

Git GUI学习教程

学习宗旨：快速应用，不易忘记 很遗憾，申请Git的专栏未审批，那我就不再写专栏了，把最近的学习心得写一下，我也是在学习中进行，有任何问题直接留言，回复交流，我还采用思路+实践模式快速过。 目录 1、Git是什么 2、远程仓库 1）GitHub： 2）Gitee（码云）： 3、安装Git（Windows） 1）下载 ...

Alexantao 的专栏 7249

【计算理论基础】

1. 语言类的定义 1.1 正则语言 定义： 如果一个语言可以被一台有穷自动机识别，则称它是正则语言。 有穷自动机是一个五元组(Q,Σ,δ,q0,F)(Q,Σ,δ,q_0,F)(Q,Σ,δ,q0​,F)，其中： QQQ是一个有穷集合，称为状态集。 ΣΣΣ是一个有穷集合，称为字母集。 δ:Q×Σ→Qδ:Q×Σ→Qδ:Q×Σ→Q是转移函数。 q0∈Qq_0∈Qq0​∈Q是起始状态。 F⊆QF⊆QF⊆...

Loy Fan 5926

UE5 推荐的资产命名规范

在开发阶段中，随着 虚幻引擎(UE)（Unreal Engine (UE)） 项目日益复杂，内容浏览器（Content Browser） 中的 资产（Assets） 列表会不断扩充。这会导致资产出现各种变体版本，也会导致资产名称因过于相似而造成混淆。比如，你有一个文件夹名为"Soldier"，这个文件夹中有蓝图、纹理和模型，它们的名称中都带"Soldier"一词，但在简单列表中，很难区别它们。

一碗清深的博客 3371

Pytorch实现之SRGAN+CBAM的结构设计

在SRGAN的残差连接中加入了CBAM注意力机制，同时设计了四类损失来训练。

LJ1147517021的博客 568

探寻计算机网络理论体系化学习之路

计算机网络，从本质上讲，是将分散的、具有独立功能的计算机系统，通过通信设备和线路连接起来，由功能完善的软件实现资源共享和信息传递的系统。它如同一个庞大的虚拟社区，各个计算机作为社区成员，借助通信链路这条 “信息高速公路”，遵循特定的协议规则进行交流与合作。例如，在一个企业内部网络中，不同部门的计算机通过交换机、路由器等设备连接在一起，员工们能够共享文件、打印机等资源，协同完成工作任务。这种资源共享和信息传递的能力，正是计算机网络的核心价值所在，也是其区别于独立计算机系统的关键特征。

xiayan827的博客 858

国科大学习资料--图像处理(彭思龙、杨戈)--2020年期末考试题解析（学长整理分析）

在对20年卷子分析前，先看看19年卷子的解析（后面有20年的变化，由于从核心课调整到了普及课，20年的卷子相对简单，但是还是有很多细节） 解析：（字写的不好别嫌弃！！！！） 20年的卷子 第一题：和19年基本一致，但是加了高斯核计算费用，要算一个节省计算成本比率，所以去多看看PPT 第二题：和19年基本一致，加了证明两个高斯卷积仍然是高斯卷积，相当于19年题2和3结合 第三题：采样定理，和19年基本一致，但要注意加了证明 第四题：考了形态学提取图像边界 第五题：直方图，和19年一

无名何许人的博客 4364

计算机网络：从理论体系到实践应用的进阶指南

计算机网络，从本质上讲，是将分散的、具有独立功能的计算机系统，通过通信设备和线路连接起来，由功能完善的软件实现资源共享和信息传递的系统。它如同一个庞大的虚拟社区，各个计算机作为社区成员，借助通信链路这条 “信息高速公路”，遵循特定的协议规则进行交流与合作。例如，在一个企业内部网络中，不同部门的计算机通过交换机、路由器等设备连接在一起，员工们能够共享文件、打印机等资源，协同完成工作任务。这种资源共享和信息传递的能力，正是计算机网络的核心价值所在，也是其区别于独立计算机系统的关键特征。

xiayan827的博客 1040

android 蓝牙通讯demo

android 下蓝牙通讯demo，实现了发现蓝牙，使能蓝牙，通过蓝牙发送消息。

IMSL CNL 7.0.0 (x86-64)Crack

IMSL CNL 7.0.0 (x86-64)Crack intel的算法库破解文件，这是C++版本的破解文件

攻克计算机网络：理论体系构建与实战技巧

计算机网络，从本质上讲，是将分散的、具有独立功能的计算机系统，通过通信设备和线路连接起来，由功能完善的软件实现资源共享和信息传递的系统。它如同一个庞大的虚拟社区，各个计算机作为社区成员，借助通信链路这条 “信息高速公路”，遵循特定的协议规则进行交流与合作。例如，在一个企业内部网络中，不同部门的计算机通过交换机、路由器等设备连接在一起，员工们能够共享文件、打印机等资源，协同完成工作任务。这种资源共享和信息传递的能力，正是计算机网络的核心价值所在，也是其区别于独立计算机系统的关键特征。

xiayan827的博客 879

IDEA的使用指南

IDEA基于java的使用手册,可以最快速的上手,在使用中不断的丰富自己的使用技巧.

计算机控制-计算机控制理论体系架构与核心内容总结

计算机控制-计算机控制理论体系架构与核心内容总结

2401_85199775的博客 1149

OV9734 DATASHEET，完整规格书

OV9734完整规格书，包括电气参数，尺寸规格，寄存器配置表等

计算机网络：在理论体系中探寻学习真谛

计算机网络，从本质上讲，是将分散的、具有独立功能的计算机系统，通过通信设备和线路连接起来，由功能完善的软件实现资源共享和信息传递的系统。它如同一个庞大的虚拟社区，各个计算机作为社区成员，借助通信链路这条 “信息高速公路”，遵循特定的协议规则进行交流与合作。例如，在一个企业内部网络中，不同部门的计算机通过交换机、路由器等设备连接在一起，员工们能够共享文件、打印机等资源，协同完成工作任务。这种资源共享和信息传递的能力，正是计算机网络的核心价值所在，也是其区别于独立计算机系统的关键特征。

xiayan827的博客 711

剖析计算机网络理论体系，引领高效学习之路

计算机网络，从本质上讲，是将分散的、具有独立功能的计算机系统，通过通信设备和线路连接起来，由功能完善的软件实现资源共享和信息传递的系统。它如同一个庞大的虚拟社区，各个计算机作为社区成员，借助通信链路这条 “信息高速公路”，遵循特定的协议规则进行交流与合作。例如，在一个企业内部网络中，不同部门的计算机通过交换机、路由器等设备连接在一起，员工们能够共享文件、打印机等资源，协同完成工作任务。这种资源共享和信息传递的能力，正是计算机网络的核心价值所在，也是其区别于独立计算机系统的关键特征。

xiayan827的博客 720

计算机网络学习：理论体系构建与前沿探索

计算机网络，从本质上讲，是将分散的、具有独立功能的计算机系统，通过通信设备和线路连接起来，由功能完善的软件实现资源共享和信息传递的系统。它如同一个庞大的虚拟社区，各个计算机作为社区成员，借助通信链路这条 “信息高速公路”，遵循特定的协议规则进行交流与合作。例如，在一个企业内部网络中，不同部门的计算机通过交换机、路由器等设备连接在一起，员工们能够共享文件、打印机等资源，协同完成工作任务。这种资源共享和信息传递的能力，正是计算机网络的核心价值所在，也是其区别于独立计算机系统的关键特征。

xiayan827的博客 754

数字信号处理的理论体系 (ZT)

实用往往不关心理论是如何组织起来的，因而丧失很多的机会。 试图去了解一个学科的整个体系是困难的，但是当我们试图怎么做了， 就会有更多的思想和算法。下面仅仅是我自己学习数字信号处理并且 参加一些实践之后，对于其理论体系的一点管见。征求评论和建议。 数字信号处理以信号系统的一般理论为基础，在理论体系上发展 专门适合于离散时间（或者空间）上的信号分析原理和方法，在实践 上发展适合于计算机处理的器件和设备

walkfarer的专栏 2995

冯诺依曼体系下 计算机主机不包括,2.冯·诺依曼理论体系下的计算机硬件组成包括.doc...

2.冯·诺依曼理论体系下的计算机硬件组成包括2. 冯·诺依曼理论体系下的计算机硬件组成包括：A. CPU、控制器、内存储器、输入设备、输出设备B. 运算器、控制器、内外存、输入设备、输出设备C. CPU、存储器、输入设备、输出设备、网络设备D. 运算器、控制器、存储器、输入设备、输出设备3. 用_____软件可以进行电子邮件的收发。A. Outlook ExpressB. FrontpageC. ...

weixin_28881787的博客 1125

计算机导论宋华珠pdf百度云,计算机导论 骆耀祖.pdf

计算机导论车光宏 张 林 等编著上 海 交 通 大 学 出 版 社前 言， 。 ，计算机科学方面的知识丰富得让人眼花缭乱 同时又广博而艰涩 过早地深入细节 会让， ，学习者陷入知识丛林而把握不了前进的方向 仅空泛地介绍基本知识和理论体系 会让人感到。 ， ...

weixin_35890184的博客 594

计算思维是利用计算机,计算机思维论文

导读:本文关于计算机思维论文范文,可以做为相关论文参考文献,与写作提纲思路参考。(吉林电子信息职业技术学院)摘 要：本文首先阐述了计算思维的含义及基本特征,然后分析了计算机方法与计算机方法之间的关系,最后着重针对计算思维与计算机方法的内容和发展进行了认真得探讨分析,以供参考.关键词：计算思维；计算机方法；探讨分析引言：计算思维和计算机方法具有各自的特色和研究内容,虽然两者属于不同的概念和学科领域...

weixin_39797532的博客 2785

贾子理论体系：从高维数论到认知革命的跨界探索

贾子理论体系是由贾龙栋（贾子）于2025年提出的跨学科理论框架，融合中国传统智慧与现代科技。其核心包括：1）贾子猜想，提出高维数论新命题；2）"本质贯通论"哲学，强调万物的统一性；3）"智慧金字塔"认知模型；4）"本质智能"理论，区分人类与AI智慧。该体系在军事、商业、医疗等领域有广泛应用，如提升乌军战术存活率至68%，开发量子针灸疗法等。尽管存在学术验证不足等争议，该理论展现了东方智慧的现代价值，为人工智能时代的人类认知提供了新视角。

首席技术执行官CTO(Chief Technology Officer)|技术总监--邓斌博客 1520

计算机的基础学科是什么,【讨论】计算机科学与技术是否可以算作‘基础学科’呢？...

秋酿的小黑2021-06-27 19:32:05点灭只看此人举报1楼在讨论这个问题以前，需要明确的是“基础学科”的定义。我没有进行严谨的调查，仅仅在搜索引擎上进行了搜索(如图)。根据网络上的信息，我觉得“基础学科”大致上代表着专注于理论建立、探索并解释现象(而不是解决具体的现实问题)，并为其它学科提供理论基础的学科。计算机是一个很热门、应用很广的学科，对于很多人来说也是有意思的学科。但是在大多数情...

weixin_42619448的博客 1524

Ai元人文构想理论体系之困

为求一刊纳，自绝万门开？异端非歧路，冰封的共识恰是待燃的柴。《Ai元人文构想理论体系之困》

m0_46223801的博客 259
上一篇： NFA转DFA
下一篇： 记录一些好文章
点赞 0
评论 0
书签 书签 8
AlexNett
AlexNett
博客等级 码龄9年 562粉丝 40原创
+ 关注 专栏目录 订阅专栏
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
表情包 插入表情
表情包 代码片
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值