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

最新推荐文章于 2024-09-28 15:14:31 发布
转载 最新推荐文章于 2024-09-28 15:14:31 发布 · 1.8k 阅读 · 8 ·
CC 4.0 BY-SA版权
原文链接：https://www.bilibili.com/video/BV1m4411p7nS
文章标签：

#正则表达式

该课程涵盖了理论计算机科学的基础概念，包括正则语言与有限状态自动机（DFA/NFA）、上下文无关语言（CFG/PDA）、图灵机的等价变形及不可计算性理论。深入探讨了正则表达式、泵引理、文法的歧义性、图灵机的可判定性问题以及计算复杂性的初步概念。此外，还涉及了多项式时间归约和NP完全问题。

来源：【北京大学】理论计算机科学基础（全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完全

 

 

 

 

 

 

 

 

 

         

  

计算理论重点——Theory of Computation
Rachel Zhang的专栏
01-11 3万+
一个学期的计算理论课程已经结束，给我的感觉吧，计算理论是一门计算机不得不学，学了短期又没用，但是可以培养一些逻辑思维的课程。其最关注的问题是什么是可计算性，什么问题可计算，问题之间的映射/归约，计算代价及难易。在分析问题和检验模型计算能力之前需要掌握的工具是形式语言、图灵机等。本文主要对计算理论中的重点进行了总结，总结了一些定理和理解上容易有障碍的知识点，但是里面还有一些点没有提到，比如NFA、D
计算机理论知识
zhoufer的博客
05-19 1583
计算机不得不知道的那些事儿 1：计算机概念 什么是计算机  计算机是什么？有人说，电脑。有人说，计算器。也有人会说更高端一点的回答，能计算的机器。  这样的回答是片面的。不能说不正确，但也不能说正确。如果你是一个没学习过计算机或者是对计算机很陌生的人，你当然可以这样回答，但是很无奈，点进来看的，基本上都是对计算机很熟悉或者学习过计算机的人。  所谓什么是计算机，计算机是拥有存储记忆功能，可以进行数值计算、逻辑运算的电子设备。计算机也是能够按照程序运行，自动处理数据的现代化智能电子设备。什么是计算机，这就是。
计算理论总结
vason的博客
01-22 7919
计算理论复习 正则语言与有穷自动机 可数无穷 正则表达式（注意+不是正则，*是正则； L∅=∅L=∅L \emptyset = \emptyset L = \emptyset） Σ⋃{(,),∅,⋃,∗}\Sigma \bigcup \lbrace(,),\emptyset, \bigcup,* \rbrace DFA MM = (KK, Σ\Sigma, δ\delta, ss, FF
计算理论
karondefranc的专栏
05-31 1112
  这学期的《形式语言与自动机》马上就要结束了。这门课是我们专业在本科阶段唯一的一门计算理论课，内容主要包括了Chomsky文法分类，有限状态自动机，上下无关语言，而下退自动机，图灵机等都只是做了简单介绍而已。计算理论本来就是计算机科学最基础的部分，也是与数学最接近的部分。其实到现在大多的IT从业人员都是在做应用，而这不是我本人的兴趣所在。前些日子看《The Google Story》，讲述了两位
计算机基础理论知识概括.docx
03-29
计算机基础理论知识涵盖了许多核心概念，这些概念构成了现代信息技术的基础。首先，让我们从第一台计算机ENIAC开始，它是1946年由美国宾夕法尼亚大学研发的，...这些知识点共同构建了我们理解和操作计算机系统的基础。
计算机控制课程知识点总结.docx
06-30
本文将对这些知识点进行深入的总结与梳理。 首先，计算机控制系统是指利用计算机对工业生产过程进行控制的系统，它的工作原理通常基于实时数据采集、处理和输出。系统的组成可以概括为硬件和软件两大部分，硬件通常...
计算机操作员中级理论知识模拟试卷3(1).doc
最新发布
07-24
计算机操作员中级理论知识模拟试卷内容涵盖了职业道德、域名体系、著作权法、商业秘密侵权、计算机发展史、二进制、数据处理单位以及ASCII码标准等多个知识点。下面将逐一展开详细介绍。 1. 职业道德是从事一定职业...
江苏省计算机一级理论知识点详解
由于江苏省计算机一级理论的考试内容会定期更新，具体考试要求和内容应参照当年发布的官方大纲或指南，以上知识点是根据一般计算机一级理论考试的范畴所概括，实际考试内容可能与此有出入。 针对提供的【压缩包子...
计算机二级Python必考知识点与资源整理
描述中的“Python”进一步强调了该资源的语言属性，而标签“计算机 二级 知识点 Python 资源”则精准地概括了其所属领域、考试级别、内容类型及用途。结合压缩包内子文件名称如“.env”、“必考库”、“知识点”、...
计算理论导论电子书
10-05
计算理论导论电子书，计算理论导论电子书，这门课程的电子书
胡侃学习(理论)计算机(转载)
雨夜狮的家
11-29 4772
<br />胡侃学习(理论)计算机<br />提交者: kfwebadmin 日期: 2007/06/06 阅读: 1228 评分: 8.10/10<br />胡侃学习(理论)计算机<br />胡侃学习(理论)计算机 <br />作者： Sir (阿涩) <br />　　我也来冒充一回高手，谈谈学习计算机的一点个人体会。由于我是做理论的，所以先着重谈谈理论。<br />　　记得当年大一，刚上本科的时候，每周六课时数学分析，六课时高等代数，天天作业不断(那时是六日工作制)。颇有些同学惊呼走错了门：咱们这到底念
计算机体系结构
L752034395的博客
09-28 2888
计算机体系结构，冯·诺依曼体系结构，运算器、控制器、存储器，输入输出设备
计算机常见理论基础
qq_39116327的博客
03-29 1223
这里写自定义目录标题欢迎使用Markdown编辑器新的改变功能快捷键合理的创建标题，有助于目录的生成如何改变文本的样式插入链接与图片如何插入一段漂亮的代码片生成一个适合你的列表创建一个表格设定内容居中、居左、居右SmartyPants创建一个自定义列表如何创建一个注脚注释也是必不可少的KaTeX数学公式新的甘特图功能，丰富你的文章UML 图表FLowchart流程图导出与导入导出导入 欢迎使用Ma...
【计算理论】计算理论总结 ( P 、NP 、NPC 总结 ) ★★
让 学习 成为一种 习惯 ( 韩曙亮 の 技术博客 )
12-17 4795
一、P 类、 二、NP 类、 三、NPC 类 ( NP 完全 )、 四、P 、NP 、NPC 三者关系、
计算机理论基础知识 一
weixin_30509393的博客
05-31 723
计算机理论基础知识--总结笔记 笔记来源：https://www.cxy61.com 前言： IGCSE 国际考必考的内容。依照剑桥大学出版的教材同步编写的。 计算机其实就是一个“ 1. 获得输入数据； 2. 运算处理数据； 3. 输出新的数据；”的机器。 第一节 二进制 1. 计算机的核心硬件包括： 中央处理器(CPU), 内存(Memory), 硬盘...
计算理论学习笔记
Github_Lee的博客
11-01 4035
《计算理论导引》学习笔记
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
表情包 代码片
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值