文章目录 @[toc]第〇章:绪论0.1|自动机、可计算性与复杂性计算复杂性理论可计算性理论自动机理论 0.2|数学概念和术语集合关系等价关系 图简单路径连通图圈强连通图 字符串和语言字母表上的字符串空串 w w w的反转(倒序) x x x和 y y y的连接字符串顺序语言 0.3|定义、定理和证明定理证明 P P P仅当 Q Q Q P P P当 Q Q Q 0.4|证明的类型构造性证
文章目录 @[toc]2.1|上下文无关文法概述上下文无关文法的形式化定义乔姆斯基范式定理证明 个人主页:丷从心 系列专栏:计算理论 2.1|上下文无关文法概述 上下文无关文法的形式化定义 上下文无关文法是一个 4 4 4元组 ( V , Σ , R , S ) (V , \Sigma , R , S) (V,Σ,R,S),且 V V V是一个有穷集合,称为
文章目录 @[toc]第〇章:绪论0.1|自动机、可计算性与复杂性计算复杂性理论可计算性理论自动机理论 0.2|数学概念和术语集合关系等价关系 图简单路径连通图圈强连通图 字符串和语言字母表上的字符串空串 w w w的反转(倒序) x x x和 y y y的连接字符串顺序语言 0.3|定义、定理和证明定理证明 P P P仅当 Q Q Q P P P当 Q Q Q 0.4|证明的类型构造性证