对KMP算法中前缀函数的分析以及正确性证明
发布于 20 天前
本文中用P_n表示P[1..n]，用P[n]表示P中的第n个字符，用P_i\sqsupset P_q代表P_i是P_q的后缀，用P …
计算理论导引笔记整理 第三部分 第二十一章 Minsky定理
发布于 22 天前
Minsky’s Theorem A two-pushdown stack machine, abbr. 2PDA, is a P ̷
Compiler notes: Syntax-Directed Translation
发布于 22 天前
Three-address code The compilers do not treat the part of the pro …
Compiler learning notes: compilation phases
发布于 24 天前
Language Processors A compiler is a program that read a program i …
计算理论导引笔记整理 第三部分 第十九章 图灵机
发布于 25 天前
Turing Machine We’re about to introduce a new kind of machine t ̷
计算理论导引笔记整理 第二部分 第十八章 可判定性
发布于 26 天前
Decidability Some of the problems are decidable and some others …
计算理论导引笔记整理 第二部分 第十七章 上下文无关语言
发布于 27 天前
Context-Free Languages Closure Properties Union Context-Free Lang …
计算理论导引笔记整理 第二部分 第十六章 非上下文无关语言
发布于 27 天前
Non-Context-Free Languages Self-Embeddedness Theorem 1 Let G be a …
计算理论导引笔记整理 第二部分 第十五章 上下文无关文法=下推自动机
发布于 2021-05-05
CFG=PDA There is a PDA that accepts the same language for every C …
