形式语言与自动机
文章平均质量分 84
樱满无门
这个作者很懒,什么都没留下…
展开
-
形式语言与自动机第四课
形式语言与自动机第四课 有ϵ\epsilonϵ转换的NFA 正则表达式 右线性文法、正则集 有ϵ\epsilonϵ转换的NFA 无输入(空串)也能引起状态的转移 有空串的NFA和无空串的NFA的区别,仅仅在于转化函数的不同 KaTeX parse error: Undefined control sequence: \set at position 22: …: Q\times(T\cup\̲s̲e̲t̲{\epsilon}\righ… ϵ−closure\epsilon-closureϵ−closur原创 2021-03-28 17:46:19 · 216 阅读 · 0 评论 -
形式语言与自动机第三课
形式语言与自动机第三课 本章节主要内容: 确定有限自动机、非确定有限自动机及其等价性 右线性文法和有限自动机的等价性 右线性文法性质(泵普定理) 使用归纳法进行证明 确定有限自动机、非确定有限自动机及其等价性 状态:将事物区分的一种标识 有限状态自动机必定是离散的 有限状态自动机 具有离散的输入输出(可以没有输入或者输出) 状态有限 状态+输入->状态转移 有限自动机五要素: 有限状态集 有限符号输入集 转移函数 一个开始状态 一个终态集合 DFA->每次转换后的后继原创 2021-03-22 08:43:49 · 203 阅读 · 0 评论 -
形式语言与自动机第二课
形式语言与自动机第二课 语言以及文法 主要内容: 形式语言有关术语 文法的定义、分类 字母表与字符串 字母表 字母表:字符的有限集合(不允许出现相同的字符) 常用TTT、∑\sum∑表示 字母表的幂运算 归纳定义: T0={ϵ}T^0=\{\epsilon\}T0={ϵ} x∈Tn−1,a∈Tx\in T^{n-1}, a\in Tx∈Tn−1,a∈T=>ax∈Tnax\in T^nax∈Tn TnT^nTn的元素只能由1、2生成 字母表的∗*∗闭包:T∗=T0∪T1∪T2....原创 2021-03-11 17:50:04 · 233 阅读 · 0 评论 -
形式语言与自动机第一课
形式语言与自动机第一课 先修课程:离散数学,计算机导论,数据结构 后续课程:编译原理 形式语言与自动机是计算机科学的基础理论之一,是计算机学科的专业基础课 计算机科学的主要部分: 构成计算机的概念、模型 构成计算机的工程技术 解决实际问题 核心内容: 有限状态自动机 正规语言 正规表达式 上下文无关文法 上下文无关语言 下推自动机 图灵机 计算问题分类 形式语言 形式化描述的字母表上的字符串的集合 是一种通用语言 有一定的描述范围 起因:语言学家想使用一套形式化方法来描述语言 最初的应用:编译,让机原创 2021-03-10 19:12:44 · 376 阅读 · 1 评论