形式语言与自动机
北言栾生
这个作者很懒,什么都没留下…
展开
-
[HIT-FLAA]哈工大2020春形式语言与自动机复习笔记 (4)
文章目录:图灵机1. 形式化定义1. 瞬时描述2. 停机2. 构造3. 双栈自动机 (Two Stack Machine)4. 图灵机编码1. 字符串排序枚举2. 编码5. TM接受的语言1. 递归可枚举语言2. 非递归可枚举语言3. 递归语言4. 通用语言5. 语言的范畴6. 乔姆斯基文法1. 形式化定义图灵机(Turing Machine):TM是一个七元组P=(Q, Σ, Γ, δ, q0,B, F)P=(Q,\,\Sigma,\,\Gamma,\,\delta,\,q_0,B,\,F)P=(Q,原创 2020-07-15 12:33:48 · 1474 阅读 · 0 评论 -
[HIT-FLAA]哈工大2020春形式语言与自动机复习笔记 (3)
文章目录:上下文无关文法和下推自动机1. 上下文无关文法(CFG)1. 上下文无关文法2. 语法分析树3. 二义性4. CFG的化简2. 下推自动机(PDA)3. CFG和PDA的等价性1. 上下文无关文法(CFG)1. 上下文无关文法上下文无关文法 (Context-Free Grammars):CFG是一个四元组,如:G=(V,T,S,P)G=(V,T,S,P)G=(V,T,S,P),其中VVV:变元的集合,是一个有限集;(变量)TTT:终结符的集合,是一个有限集,且 V∩T=ϕV \cap原创 2020-07-13 22:50:28 · 1162 阅读 · 0 评论 -
[HIT-FLAA]哈工大2020春形式语言与自动机复习笔记 (2)
文章目录:正则表达式1. 正则表达式2. 正则表达式和FA的等价性1. 等价性2. 正则表达式-->FA3. FA-->正则表达式3. 正则语言的性质1. 泵引理 (Pumping lemma)2. 封闭性1. 正则表达式正则表达式的递归定义:ε\varepsilonε 是一个正则表达式,表示语言 {ε}\{\varepsilon\}{ε} ;ϕ\phiϕ 是一个正则表达式,表示空语言 ϕ\phiϕ ;∀a∈Σ\forall a \in \Sigma∀a∈Σ,aaa 是一个正则表达式原创 2020-07-13 22:49:56 · 1216 阅读 · 0 评论 -
[HIT-FLAA]哈工大2020春形式语言与自动机复习笔记 (1)
文章目录1. 确定的有穷自动机 (DFA)1. 确定的有穷自动机 (DFA)原创 2020-07-13 22:48:55 · 1457 阅读 · 2 评论