ch形式语言与自动机.pptVIP

第一章 形式语言与自动机基础 第2章 形式语言与自动机基础 知识点：文法的形式定义 上下文无关文法、正规文法 推导、短语、分析树、二义性 有限自动机的形式定义 自动机、文法、表达式等价性 NFA的确定化、DFA的最小化 形式语言与自动机基础 2.1 语言和文法 2.2 有限自动机 2.3 正规文法与有限自动机的等价性 2.4 正规表达式与有限自动机的等价性 2.5 正规表达式与正规文法的等价性 小 结 2.1 语言和文法 一、字母表和符号串 二、语言 三、文法及其形式定义 四、推导和短语 五、分析树及二义性 六、文法的变换 一、字母表和符号串 字母表 符号的非空有限集合 典型的符号是字母、数字、各种标点和运算符等。 符号串 定义在某一字母表上 由该字母表中的符号组成的有限符号序列 同义词：句子、字 符号串有关的几个概念 长度 符号串?的长度是指?中出现的符号的个数，记作|?|。 空串的长度为0，常用?表示。 前缀 符号串?的前缀是指从符号串?的末尾删除0个或多个符号后得到的符号串。如：univ 是 university 的前缀 连接 符号串?和符号串?的连接??是把符号串?加在符号串?之后得到的符号串 若?=ab，?=cd，则??=abcd，??=cdba。 对任何符号串?来说