![](https://img-blog.csdnimg.cn/20201014180756926.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
课内——形式语言与自动机
大二学期形式语言与自动机课的学习笔记,本人复习用,故略有省略。感兴趣欢迎讨论。
__XX__
不标题党。欢迎讨论。
展开
-
正则集与正则表达式辨析
文章目录正则集正则表达式解析正则表达式的定义 正则集 正则集是一种字符串的集合,也就是T*的子集。 本质上,正则集是一种语言,集合的所有元素满足当且仅当可以被某种正则表达式表示。 正则表达式 正则表达式本身是一种元语言,是一种表示语言的语言。 即,正则集是一种语言,正则表达式是一种表达正则集的元语言 正则表达式的定义: 可以将正则表达式视为一种映射的key,而正则表达式表达的语言视为该映射的value,即一个map = (key, value) = (正则表达式,正则集)。而一个字符串w可以被一个正原创 2020-06-04 16:22:08 · 2489 阅读 · 0 评论 -
CH4 上下文无关文法与下推自动机
文章目录知识点重难点上下文无关文法的简化无用符号杂项 知识点 推导 最左推导(只变换最左边的非终结符)与最右推导 归约 n步推导符号:* 推导树(语法树,语法分析树) 根:文法的起始非终结符 非叶子结点:文法的非终结符 叶子结点:文法的终结符和ϵ\epsilonϵ 边缘:文法可以推导出的句子 文法从起始非终结符可以n步推导出一个句子,当且仅当至少存在一个以该句子为边缘的推导树 同样...原创 2020-04-30 16:28:22 · 1808 阅读 · 1 评论 -
CH3 右线性文法与有限自动机
文章目录知识点重难易错点DFA NFA ϵ−NFA\epsilon-NFAϵ−NFA正则集、正则表达式、右线性文法、有限自动机 关系DFA最小化泵浦定理详解(pumping定理)杂项 有限性文法产生正则语言,该语言可以被有限自动机识别 pumping定理逻辑较为复杂,本文在pumping定理详解部分用逻辑语言梳理并阐述pumping定理与该必要条件取反的情况,给出了用pumping定理证明L...原创 2020-04-06 10:25:18 · 818 阅读 · 1 评论 -
CH2 形式语言
知识点 基本概念 字母表,字符串(句子) 字符串的运算: 连接(concentation) 取逆(倒置) 字母表的运算 *闭包,+闭包 语言 语言的运算: 积(得到一个新的集合) 幂(得到一个新的集合) 文法 元语言 ——BNF 文法是一种 产生语言的数学模型(数学规则,数学方法) 故本质上文法是描述语言的语言 因此 文法是一种元语言 Chomskey文法体系 —...原创 2020-04-06 09:59:03 · 283 阅读 · 0 评论 -
CH1 INTRO
知识点 形式语言定义 自动机定义 形式语言与自动机的关系:自动机如何识别形式语言 重难点易错点 形式语言:某个字符表(集合)上的字符串的集合(集合),字符集合元素构成的另外一个字符串集合。 注意:形式语言是一个集合!(字符串集合) 自动机:具有离散输入输出的数学模型 注意:自动机是一个数学模型! 若有一个没有状态的箭头指向一个状态A,则状态A是初始状态 若状态A有两圈画起来...原创 2020-04-06 09:51:52 · 82 阅读 · 0 评论