形式语言与自动机——语言及文法题库.pptVIP

* College of Computer Science Technology, BUPT 例2： G = ({A,B,C}, {a,b,c}, P, A) P: A→abc A→aBbc Bb→bB Bc→Cbcc bC→Cb aC→aaB aC→aa 是1型文法。 其定义的 L = {anbncn | n≥1} A =abc A =aBbc =abBc =abCbcc =aCbbcc =aabbcc =aaBbbcc * College of Computer Science Technology, BUPT 例3： G = ({S,B,C}, {a,b}, P, S) P: S→aC；S→bB；B→aS；B→bBB B→a； C→bS；C→aCC；C→b 是2型文法 S =aC =ab S = aC =aaCC S =aC =abS =abaC =ababS =ababaC =ababab S =bB =bbBB =bbaSB =bbaaCB =bbaabB =bbaaba * College of Computer Science Technology, BUPT 例4： G = ({A,B,C}, {a,b,c}, P, A) P: A→Ba； A→c； B→Cb； C→c 左线性文法 L = {c, cba} 正则语言 注意：已知语言求文法，文法不是唯一的，即可以有不同的表达方法。 * College of Computer Science Technology, BUPT 四类文法之间的关系 只是对生成式形式加以限制 0型 无限制 1型 不允许A→ε形式 2型 3型 属于2型 不含A→ε的2型、3型属于1型，1型、2型、3型均属于0型。 * College of Computer Science Technology, BUPT 作业： P47 4,6,7 题 College of Computer Science Technology, BUPT * College of Computer Science Technology, BUPT 第二章 语言及文法 主要内容： 定义形式语言的术语 给出文法的定义和文法的分类 要求掌握： 语言和文法的形式定义 CHOMSKY文法体系的分类。 * College of Computer Science Technology, BUPT 第一节 语言的定义与运算 一、语言的一些术语： 字母表： 字符的有限集合，记为T。 字符串： 由字母表T中的字符构成的序列称字母表T上的字符串（句子）。 常记为u,v,w,x,y,z； 常用a,b,c,d 标识单个字符。 * College of Computer Science Technology, BUPT 字 母 表 （Alphabet） 概念 形式符号的集合 记号 常用 T、 ? 表示 举例 英文字母表 ? a, b, …, z, A, B , …, Z ? 英文标点符号表 ? , ; : . ? ! ’ ‘ “ ” ( ) … ? 汉字表 ? …, 自, …, 动 , …, 机, … ? 化学元素表 ? H, He, Li, …, ? T = ? a, n, y, 任,意 ? * College of Computer Science Technology, BUPT 字 符 串 （string） 概念 字母表 T 上的一个字符串（简称串），或称为 字（word），为 T 中字符构成的一个有限序列。 空串（empty string）, 用? 表示，不包含任何 字符。 举例 设 T = ? a, b ?，则? , a, ba, bbaba 等都是串 字符串 w 的长度，记为 ?w? ，是包含在 w 中字符的个数 举例 ?? ? = 0， ?bbaba? = 5 ai 表示含有i个a的字符串 * College of Computer Science Technology, BUPT 连接（concatenation） 设 x, y为串, 且 x ? a1a2 … am, y ? b1b2 … bn, 则 x 与 y 的连接 x y ? a1a2 … am b1b2 … bn 连接运算的性质 ( x y ) z ? x（ y z ）