计算模型基础:离散数学
文章平均质量分 88
离散数学的系统知识总结
暖仔会飞
这个作者很懒,什么都没留下…
展开
-
编译原理学习之:上下文无关文法(Context-free Grammar)和下推自动机(Push-down automata)
文章目录上下文无关文法上下文无关文法的定义上下文无关文法举例上下文无关文法的二义性(Ambiguity)下推自动机下推自动机的定义下推自动机举例判断一个字符串是否属于 PDA 表示的语言(是不是 PDA 可以 accept 的)下推自动机举例2渐进式下推自动机(progressive push-down automata)确定性下推自动机(Deterministic Pushdown Automata)通过上下文无关文法构造下推自动机(CFG ⇒\Rightarrow⇒ PDA)上下文无关文法和下推自动原创 2021-10-17 17:17:48 · 16574 阅读 · 3 评论 -
编译原理学习之:正则表达式(regular expression)和非正则语言(non-regular languages)
文章目录回顾子集构造(NFA→\rightarrow→DFA)正则语言的闭包结果正则语言的 Union 依然是正则语言正则语言的 concatenate ○○○ 操作依然是正则的正则语言的 kleene starkleene~ starkleene star 依然是正则语言正则语言的其他闭包性质如何构造 DFA 的运算算法(构造 DFA 的交、并、补集)如何构造最小的 DFA(指包括最少状态数的 DFA)构造最小化 DFA 举例正则表达式正则表达式语法和语义正则表达式举例正则表达式和自动原创 2021-10-17 00:16:30 · 3870 阅读 · 0 评论 -
编译原理学习之:确定和非确定性有限状态自动机(Non-determinism / determinism-Finate-Automaton)NFA /DFA
文章目录NFANFA 的 ϵ\epsilonϵ 转换状态(transition)NFA 的多初始状态(Multiple Start State)NFA 的一般性定义NFA 的“acceptance” 和 “recognition” (对语言的识别和对字符串的接收)NFA 与正则语言和 DFA 的关系等价关系NFA 转换成 DFA 实例更加正式的定义NFA在 NFA 中,对于一个状态节点(q0q_0q0) ,通过某个字符 111 可以到达另外的多种状态节点,q0q_0q0 通过 111 可以到达 q原创 2021-10-16 20:50:23 · 1273 阅读 · 0 评论 -
编译原理学习之:有限状态机(Finate-state Automaton)
文章目录有限状态自动机(Finate-State Automaton)有限状态自动机的定义字符串和语言自动机 vs 语言自动机 accept 一个字符串的意义正则语言定义 Regular正则运算有限状态自动机(Finate-State Automaton)状态是有限的通过不同的触发在状态之间进行转换有限状态自动机的定义QQQ 代表有限的状态集合,Σ\SigmaΣ 表示有限的字母表,也就是上图中线上的那些触发条件;通常选用那些数字 1, 2, 3...1,~2,~3..原创 2021-10-16 19:30:42 · 1799 阅读 · 0 评论 -
离散数学知识点总结(12)“关系” 知识的总结 <3>:关系的闭包运算
文章目录什么是关系的闭包闭包运算的分类自反闭包对称闭包传递闭包关系闭包的计算方法计算自反闭包:r(R)=R∪IAr(R)=R\cup I_Ar(R)=R∪IA什么是关系的闭包闭包运算的分类自反闭包对称闭包传递闭包关系闭包的计算方法计算自反闭包:r(R)=R∪IAr(R)=R\cup I_Ar(R)=R∪IA其中 IAI_AIA 是 AAA 集合上的恒等关系...原创 2021-10-07 20:57:40 · 5068 阅读 · 0 评论 -
离散数学知识点总结(11)“关系” 知识的总结 <2>:关系的复合运算、求逆运算
文章目录关系复合的基本概念关系符合的计算方法有向图法枚举法谓词公式法矩阵法(扩展部分)关系复合运算的性质满足结合律,不满足交换律:R○(S○T)=(R○S)○TR○(S○T)=(R○S)○TR○(S○T)=(R○S)○TR○(S∪T)=(R○S)∪(R○T)R○(S \cup T)=(R○S) \cup (R○T)R○(S∪T)=(R○S)∪(R○T)R○(S∩T)⊆(R○S)∩(R○T)R○(S \cap T)\subseteq (R○S) \cap (R○T)R○(S∩T)⊆(R○S)∩(R○T)R○I原创 2021-09-29 18:13:15 · 14482 阅读 · 1 评论 -
离散数学知识点总结(10)“关系” 知识的总结 <1>:关系的基础概念 —— 有序 n 元组,集合的笛卡尔积,集合的关系(二元关系)的定义,关系的集合运算, 关系的基本性质
文章目录有序 n 元组和集合的笛卡尔积序偶关系有序二元组序偶相等有序三元组有序n元组有序 n 元组相等集合的笛卡尔积集合笛卡尔积的性质集合的二元关系及其表示方法相关关系的定义关系的定义域和值域关系的表示方法枚举法谓词公式法有向图法矩阵法特殊的关系空关系 ∅\empty∅全域关系(完全关系)恒等关系有序 n 元组和集合的笛卡尔积序偶关系有序二元组有两个对象 x,yx,yx,y 组成的序列称为有序二元组,也称之为序偶,记作 <x,y><x,y><x,y>序偶与集合原创 2021-09-29 16:24:49 · 5354 阅读 · 0 评论 -
离散数学知识点总结(9):集合的性质
文章目录集合间的关系包含关系包含关系的性质相等关系相等关系的谓词公式表达相等关系的性质真包含关系真包含关系的谓词公式定义真包含关系的性质特殊集合全集 E全集的性质空集空集的性质一个数属于一个集合用 ∈\in∈ 来表示一个集合属于另外一个集合用 ⊆\subseteq⊆ 表示集合间的关系包含关系包含关系的性质包含关系具有 自反性 对任何集合都有 A⊆AA \subseteq AA⊆A包含关系具有 传递性 对任意集合 A,B,CA, B, CA,B,C 都有 A⊆BA \subseteq BA原创 2021-09-27 20:39:59 · 3821 阅读 · 0 评论 -
离散数学知识点总结(8):一阶逻辑(谓词逻辑)中的换名规则和常用定理
文章目录换名规则常用定理量词否定等值式量词辖域的收缩与扩张等值式量词分配等值式无名等值式回到式子 (3)∗(3)*(3)∗总结一下换名规则为什么需要进行换名?举个例子在下面的公式中:∀xF(x)∨∃xG(x)\forall x F(x)\vee\exist x G(x)∀xF(x)∨∃xG(x) &nb原创 2021-09-26 23:48:06 · 15909 阅读 · 14 评论 -
离散数学知识点总结(7):谓词逻辑(一阶逻辑):个体词、谓词、量词、特性谓词;特性谓词的常用场景
文章目录为什么使用一阶逻辑一阶逻辑的“新”概念个体词谓词个体词和谓词的关系个体词和谓词的简单例子n元谓词,0元谓词谓词?命题?简单的符号化量词为什么使用一阶逻辑命题逻辑不能完全表达人们想要表达的内容一阶逻辑的“新”概念量词个体词谓词个体词可以独立存在的客体:具体或特定的个体词:个体常项 a,b,c,d,...a,b,c,d,...a,b,c,d,... 表示泛指的个体词:个体变项 x,y,z,...x,y,z,...x,y,z,... 表示个体变项的取值范围:个体域(论域)原创 2021-09-15 23:03:03 · 7747 阅读 · 1 评论 -
离散数学知识点总结(6):自然推理系统;13 个推理规则; 如何使用推理规则
文章目录自然推理系统的定义13个推理规则如何在自然推理系统中构造有效论证的方法直接证明法附加前提证明法(cp规则)反证法 / 归谬法(Proofs by Contradiciton)对位证明(Proofs by contraposition)举例直接证明法举例附加前提法举例归谬法举例自然推理系统的定义13个推理规则Note: 国外课本《离散数学及其应用中的表格》如何在自然推理系统中构造有效论证的方法直接证明法由前提利用推理规则直接推出结论附加前提证明法(cp规则)如果结论是原创 2021-09-02 20:08:40 · 24032 阅读 · 0 评论 -
离散数学知识点总结(5):蕴含式;命题的推理理论;逻辑推演的方法;推理的有效性证明
文章目录前情回顾蕴含式 ⊨\models⊨ 或 ⇒\Rightarrow⇒蕴含式和等价式的关系(≡\equiv≡ 或 ⇔\Leftrightarrow⇔)证明蕴含式的方法逻辑推演的方法逻辑推演使用的 9 个基本蕴含式推理的有效性证明有效论证无效论证有效论证的 4 种判断方法例题:前情回顾p→qp \rightarrow qp→q 这叫做单条件蕴含,它的等价式为 ¬p∨q¬p \vee q¬p∨q (这是较小的层面,是 clause 层面的关系)蕴含式 ⊨\models⊨ 或 ⇒\Rightarro原创 2021-09-02 18:50:55 · 14667 阅读 · 2 评论 -
离散数学知识点总结(4):合取范式,析取范式
文章目录合取范式( conjunctive normal form (CNF))析取范式(disjunctive normal form (DNF))简化的合取和析取范式标准形式(Canonical form)异或标准形式(xor normal form)二元决策图 form (ROBDD)子句标准形式(clause form)合取范式( conjunctive normal form (CNF))任何命题公式,最终都能够化成 (A1∨A2)∧(A3∨A4)(A_1 \vee A_2) \wedge (原创 2021-09-01 22:40:08 · 29818 阅读 · 0 评论 -
离散数学知识点总结(3):等值演算,16个命题定律 / 基础等价式,重言式的替换规则,证明有效性和可满足性的方法
文章目录等值演算¬,∨,∧,→,↔¬, \vee, \wedge, \rightarrow, \leftrightarrow¬,∨,∧,→,↔ 和 ⇒或⊨\Rightarrow 或 \models⇒或⊨,⇔或≡\Leftrightarrow 或 \equiv⇔或≡ 之间的关系官方定义 ⇒或⊨\Rightarrow 或 \models⇒或⊨,⇔或≡\Leftrightarrow 或 \equiv⇔或≡16 个基本等价式 / 命题定律另一个版本重言式的替换规则证明公式有效性(valid) / 可满足性的(sat原创 2021-09-01 17:39:53 · 19427 阅读 · 1 评论 -
离散数学知识点总结(2):命题公式的类型
文章目录命题公式命题常量和命题变元命题合式公式的递归式定义(well-Formed formula)联结词的优先级命题公式的种类重言式 / 永真式 (常见举例)矛盾式 / 不可满足式 / 永假式 (常见举例)可满足式真值表判断合式公式的类型真值表的缺陷命题公式命题常量和命题变元命题常量通常用大写字母表示,代表一个具体的命题:PPP:张三是法外狂徒。这是个命题常量,因为张三要么是法外狂徒,要么不是。命题变元通常用小写字母表示,是命题公式的组成部分,我们通常用命题变元来表示命题公式,因为它并不原创 2021-09-01 15:35:11 · 18541 阅读 · 0 评论 -
离散数学知识点总结(1):什么是命题;什么是复合命题;真值表
文章目录命题的判断命题的表示复合命题联结词的种类¬¬¬ 否定→→→ 单条件蕴含↔\leftrightarrow↔ 双条件蕴含∧\wedge∧ 合取公式∨\vee∨ 析取公式真值表¬¬¬ 否定→→→ 单条件蕴含↔\leftrightarrow↔ 双条件蕴含∧\wedge∧ 合取公式∨\vee∨ 析取公式命题的判断陈述句能够唯一判定其真值命题真值为真,则本命题是个真命题命题真值为假,则本命题是个假命题命题是命题逻辑中最小的不可再分的单元。Note:命题的真值,可以理解为命题描述的这个意思~E原创 2021-08-31 23:01:44 · 8038 阅读 · 0 评论