计算理论导引笔记整理 第三部分 第二十一章 Minsky定理
发布于 2021-05-26
Minsky’s Theorem A two-pushdown stack machine, abbr. 2PDA, is a P ̷
形式语言和自动机
计算理论导引笔记整理 第三部分 第二十章 波斯特机
发布于 2021-05-23
Post Machines A particular “universal computing machine” is int
计算理论导引笔记整理 第三部分 第十九章 图灵机
发布于 2021-05-22
Turing Machine We’re about to introduce a new kind of machine t ̷
计算理论导引笔记整理 第二部分 第十七章 上下文无关语言
发布于 2021-05-21
Context-Free Languages Closure Properties Union Context-Free Lang …
计算理论导引笔记整理 第二部分 第十六章 非上下文无关语言
发布于 2021-05-20
Non-Context-Free Languages Self-Embeddedness Theorem 1 Let G be a …
计算理论导引笔记整理 第二部分 第十四章 下推自动机
发布于 2021-04-29
Pushdown Automata The machines in flowchart Introduce a new way …
计算理论导引笔记整理 第二部分 第十三章 文法格式
发布于 2021-04-28
Grammatical Format We’ve already know that there’re several kinds
计算理论导引笔记整理 第二部分 第十二章 上下文无关文法
发布于 2021-04-27
上下文无关文法 从第十二章开始是这本书第二部分，下推自动机理论，之前的第一部分是有限自动机理论，而这本书一共有三个部分，第三部分是 …
计算理论导引笔记整理 第一部分 第十章 非正则语言
发布于 2021-04-23
非正则语言 泵引理(The Pumping Lemma) 在之前数章中，我们一直致力于有关正则语言的部分，无论之前提到的各种正 …
