第二章形式语言概述.pptVIP

编译原理 Principles of Compiler 2.1 基本概念 字母表 一个非空的有穷集合 集合中的元素称为符号 字母表是语言的最基本组成元素 例如：{ 0, 1 }, { a, b, … z }, { 0x00, 0x01, … 0xff } 串(符号串) 符号的有穷序列称为符号串 不包含任何符号的串称为空串，记为? 串α中符号的个数称为串α的长度，记为|α| 2.1 基本概念 串的连接 令?与?为两个串，则?与?的连接记为? ? ? ? = ? ?= ? 串集合的乘积 令A、B为两个串集合，则A与B的乘积A·B = { ? ? | ? ? A, ? ? B }，也可以缩写为AB {?} ·A = A · {?} = A, ?·A = A ·? = ? 2.1 基本概念 串的方幂 ?0 = ? ?1 = ?, ?2 = ? ?, …, ?n = ? ?n-1 串集合的方幂 A0 = {?} A1 = A, A2 = AA, An = AAn-1 2.1 基本概念 串集合的闭包 A* = A0 ? A1 ? A2 ? … … 串集合的正闭包 A+ = A1 ? A2 ? … … A+ = A A* 例： { 0, 1 }+为所有二进制串的集合。 2.1 基本概念 语言 一个语言为满足一定规律的串的集合。 语言的表示方法 集合表示：{ 1, aa, b }, { anbn| n 0 }。 串集合的运算：a+{1, a}*。 2.2 文法与语言 当语言的规律比较复杂的时候，需要更强大的描述工具来描述语言。 文法(Grammar)适合描述程序设计语言的规律。 一个文法G = ( VN, VT, P, S )，其中： VN为非终结符集合； VT为终结符号集合； P为产生式的集合，每一个产生式为一个序偶(?,?)，其中??(VN?VT)+，?? (VN?VT)*，通常也可以写做： ? ::= ?或者? → ?。 S? VN为文法的开始符号或者识别符号。 2.2 文法与语言 直接推导：给定文法G = ( VN, VT, P, S )， (?,?) ?P，?, ? ?(VN?VT)*，称???为???的直接推导，记为??? ? ??? 。 例：文法G[S]：S→1S0|10 10为S的直接推导。 1100为1S0的直接推导。 2.2 文法与语言 最左推导：如果?A? ? ??? ，??VT*，A?VN， ?,? ?(VN?VT)*，则称???为?A?的一个最左推导。 最右推导：如果?A? ? ??? ，??VT*，A?VN， ?, ? ?(VN?VT)*，则称???为?A?的一个最右推导。 最右推导又称为规范推导。 最左推导与最右推导的定义与文法分析的过程相关。 2.2 文法与语言 句型： 给定文法G = ( VN, VT, P, S )，如果S ?，则称?为G的一个句型。 句子：对于G的一个句型?，如果? ?VT*，则称?为G的一个句子。 语言：文法G的语言是G的所有句子的集合，记为L(G)。 2.2 文法与语言 文法G[E]： E → E + T | T T → T * F | F F → (E) | i 则： L(G)为所有以i的运算对象，只包含加法与乘法的表达式的集合。 E + T * i，i，(E + T)都是G的句型。 i + i * i，(i + i) * i，i都是G的句子。 2.3 文法的分类 0型文法（短语文法）： 对产生式无限制。 1型文法（上下文相关文法）： 文法中任意的产生式?→?，则存在?1,?2? (VN?VT)*；?? (VN?VT)*；A?VN；使得? = ?1A?2，? = ?1??2。 2型文法（上下文无关文法）： 文法中所有的产生式都为A→?的形式，其中A?VN， ?? (VN?VT)*。 3型文法（正则文法）： 文法中所有的产生式都为A→a或者A→aB的形式，其中A,B? VN，a ? VT。 2.3 文法的分类 例：a → cA为0型文法的产生式。 sAc → sac，Ab → abb为1型文法的产生式。 A → Abc，B → aBc为2型文法的产生式。 S → 1，S → 1S为3型文法的产生式。 2.3 文法的分类 文法分类的意义： 针对不同类型的文法，可以使用不同的识别技术。 0型文法： Turing可识别的 1型文法： Turing可判定的 2型文法： PDA( Push Down Automata ) 3型文法： FA( Finite Automata ) 2.4 语法树 语法树：描述句子的语法结构。 语法树的定义：给定上下文无关文法G = ( VN, VT, P, S )， 树中的每个结点都有一个标记a，且a?VN?VT。 根结点的标记为s。 非叶