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

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

#正则表达式

来源：【北京大学】理论计算机科学基础（全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
算法之正则表达式匹配与NFA构建全解析
最新发布
wj_rdk的博客
04-11 1119
在计算机科学领域，算法的学习与探索永无止境。我希望通过这篇博客，能和大家一起深入理解算法相关知识，在技术之路上共同进步。今天，我们聚焦于正则表达式匹配和非确定性有限自动机（NFA）构建这两个关键技术点，深入剖析其原理，并结合Java代码实例，让大家能轻松掌握这些复杂的概念。
计算理论
karondefranc的专栏
05-31 1089
  这学期的《形式语言与自动机》马上就要结束了。这门课是我们专业在本科阶段唯一的一门计算理论课，内容主要包括了Chomsky文法分类，有限状态自动机，上下无关语言，而下退自动机，图灵机等都只是做了简单介绍而已。计算理论本来就是计算机科学最基础的部分，也是与数学最接近的部分。其实到现在大多的IT从业人员都是在做应用，而这不是我本人的兴趣所在。前些日子看《The Google Story》，讲述了两位
胡侃学习(理论)计算机(转载)
雨夜狮的家
11-29 4746
<br />胡侃学习(理论)计算机<br />提交者: kfwebadmin 日期: 2007/06/06 阅读: 1228 评分: 8.10/10<br />胡侃学习(理论)计算机<br />胡侃学习(理论)计算机 <br />作者： Sir (阿涩) <br />　　我也来冒充一回高手，谈谈学习计算机的一点个人体会。由于我是做理论的，所以先着重谈谈理论。<br />　　记得当年大一，刚上本科的时候，每周六课时数学分析，六课时高等代数，天天作业不断(那时是六日工作制)。颇有些同学惊呼走错了门：咱们这到底念
计算机基础理论知识概括.docx
03-29
计算机基础理论知识涵盖了许多核心概念，这些概念构成了现代信息技术的基础。首先，让我们从第一台计算机ENIAC开始，它是1946年由美国宾夕法尼亚大学研发的，...这些知识点共同构建了我们理解和操作计算机系统的基础。
江苏省计算机一级理论知识点详解
由于江苏省计算机一级理论的考试内容会定期更新，具体考试要求和内容应参照当年发布的官方大纲或指南，以上知识点是根据一般计算机一级理论考试的范畴所概括，实际考试内容可能与此有出入。 针对提供的【压缩包子...
计算机网络知识点
weixin_44705725的博客
01-03 1603
1518，头信息有14字节，尾部校验和FCS占了4字节，所以真正留给上层协议传输数据的大小就是：1518 - 14 - 4 = 1500，那么，1518这个值又是从哪里来的呢？MSL（最大分段寿命），即一个 TCP 分段可以存在于互联网系统中的最大时间，TCP允许不同的实现可以设置不同的MSL值。通常为4分钟。
计算机网络原理知识点整理
m0_74075744的博客
10-02 1799
1.计算机网络大发展 计算机网络从20世纪70年代开始发展，他的演变可以概括为 面向终端的计算机网络、计算机-计算机网络、开放式标准化网络以及因特网广泛应用和高速网络技术发展等四个阶段。 2.计算机—计算机网络 ARPA网 标志着目前所称的计算机网络的兴起。ARPANET是一个成功的系统，它是计算机网络技术发展中的一个里程碑。 IBM---SNA 和 DEC-- DNA 3.三大网络包括：电信网络、广播电视网络以及计算机网络 4.电话系统由三个主要的部件构成：（1）本地网络 ；（2）干线
全国计算机等级考试 三级 信息安全技术 第1章 信息安全保障概述 知识点总结
konghaoran的博客
02-04 1406
全国计算机等级考试 三级 信息安全技术 第1章 信息安全保障概述 知识点总结。
计算理论导论电子书
10-05
计算理论导论电子书，计算理论导论电子书，这门课程的电子书
计算机体系结构
L752034395的博客
09-28 2692
计算机体系结构，冯·诺依曼体系结构，运算器、控制器、存储器，输入输出设备
计算机常见理论基础
qq_39116327的博客
03-29 1157
这里写自定义目录标题欢迎使用Markdown编辑器新的改变功能快捷键合理的创建标题，有助于目录的生成如何改变文本的样式插入链接与图片如何插入一段漂亮的代码片生成一个适合你的列表创建一个表格设定内容居中、居左、居右SmartyPants创建一个自定义列表如何创建一个注脚注释也是必不可少的KaTeX数学公式新的甘特图功能，丰富你的文章UML 图表FLowchart流程图导出与导入导出导入 欢迎使用Ma...
【计算理论】计算理论总结 ( P 、NP 、NPC 总结 ) ★★
让 学习 成为一种 习惯 ( 韩曙亮 の 技术博客 )
12-17 4548
一、P 类、 二、NP 类、 三、NPC 类 ( NP 完全 )、 四、P 、NP 、NPC 三者关系、
计算机理论基础知识 一
weixin_30509393的博客
05-31 694
计算机理论基础知识--总结笔记 笔记来源：https://www.cxy61.com 前言： IGCSE 国际考必考的内容。依照剑桥大学出版的教材同步编写的。 计算机其实就是一个“ 1. 获得输入数据； 2. 运算处理数据； 3. 输出新的数据；”的机器。 第一节 二进制 1. 计算机的核心硬件包括： 中央处理器(CPU), 内存(Memory), 硬盘...
计算机理论知识
zhoufer的博客
05-19 1565
计算机不得不知道的那些事儿 1：计算机概念 什么是计算机  计算机是什么？有人说，电脑。有人说，计算器。也有人会说更高端一点的回答，能计算的机器。  这样的回答是片面的。不能说不正确，但也不能说正确。如果你是一个没学习过计算机或者是对计算机很陌生的人，你当然可以这样回答，但是很无奈，点进来看的，基本上都是对计算机很熟悉或者学习过计算机的人。  所谓什么是计算机，计算机是拥有存储记忆功能，可以进行数值计算、逻辑运算的电子设备。计算机也是能够按照程序运行，自动处理数据的现代化智能电子设备。什么是计算机，这就是。
计算理论总结
vason的博客
01-22 7875
计算理论复习 正则语言与有穷自动机 可数无穷 正则表达式（注意+不是正则，*是正则； L∅=∅L=∅L \emptyset = \emptyset L = \emptyset） Σ⋃{(,),∅,⋃,∗}\Sigma \bigcup \lbrace(,),\emptyset, \bigcup,* \rbrace DFA MM = (KK, Σ\Sigma, δ\delta, ss, FF
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值