![](https://img-blog.csdnimg.cn/20201014180756916.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
数理逻辑和自动机理论笔记
文章平均质量分 93
子鱼inf_lyceum
学废了
展开
-
【学习笔记】自动机理论、语言和计算导论(五:上下文无关文法和上下文无关语言)
Content上下文无关文法上下文无关文法原创 2021-04-16 17:29:10 · 484 阅读 · 0 评论 -
【学习笔记】自动机理论、语言和计算导论(三)
Content正则表达式正则表达式原创 2021-04-10 19:37:18 · 337 阅读 · 1 评论 -
【学习笔记】自动机理论、语言和计算导论(一、二)
Content自动机理论的中心概念自动机理论的中心概念有穷自动机 有穷自动机涉及一些状态和当响应输入时在状态之间的转移。用来构造许多不同种类的软件,例如包括编译器的词法分析部件以及电路与协议正确性的验证系统。正则表达式 这是描述有穷自动机所表示的相同模式的结构记号。用在许多常见类型的软件中,例如包括查找文本模式或文件名模式的工具。上下文无关文法 这是描述程序设计语言的结构以及相关的串集合的重要记号;用来构造编译器的语法分析部件。图灵机 这是为真实计算机的能力建立模型的自动机。图灵机允许研究可判定性原创 2021-04-03 02:12:03 · 1413 阅读 · 0 评论 -
【学习笔记】面向计算机科学的数理逻辑:系统建模与推理 (C2谓词逻辑)
谓词逻辑(predicate logic)也称一阶逻辑(first-order logic),可以处理命题内部的逻辑结构,以及包含全称量词和存在量词的逻辑关系。本文是《面向计算机科学的数理逻辑》第二章学习笔记。原创 2021-03-31 18:15:18 · 1537 阅读 · 0 评论 -
【学习笔记】面向计算机科学的数理逻辑:系统建模与推理 (C1命题逻辑)
ContentChapter 1 命题逻辑逻辑符号证明规则Chapter 1 命题逻辑逻辑符号negation: ¬p\neg p¬p disjunction: p∨qp \lor qp∨q conjunction: p∧qp \land qp∧q implication: p→qp \to qp→q证明规则通过将证明规则(proof rules)应用于前提(premises)公式,推断(infer)出结论(conclusion)。ϕ1,ϕ2,…,ϕn⊢ψ\phi_1,\phi_2,\dot原创 2021-03-15 00:55:47 · 2176 阅读 · 0 评论