南方科技大学离散数学课件-第11章形式语言和自动机初步.pptVIP

离散数学南方科技大学 2第11章 形式语言和自动机初步11.1 形式语言和形式文法11.2 有穷自动机11.3 有穷自动机和正则文法的等价性11.4 图灵机 3字符串和形式语言形式文法形式文法的分类 0型文法 1型文法 或上下文有关文法 2型文法 或上下文无关文法 3型文法 或正则文法11.1 形式语言与形式文法 4语言的基本要素汉语字符:汉字和标点符号字符集:合法字符的全体句子:一串汉字和标点符号语法:形成句子的规则形式语言字符字母表字符串形式文法 5字符串字母表Σ: 非空的有穷集合字符串: Σ中符号的有穷序列 如 Σ ={a,b} a, b, aab, babb字符串?的长度|?|: ?中的字符个数 如 |a|=1, |aab|=3空字符串ε: 长度为0, 即不含任何符号的字符串an : n个a组成的字符串Σ*: Σ上字符串的全体 6 子字符串(子串): 字符串中若干连续符号组成的字符串前缀: 最左端的子串后缀: 最右端的子串例如 ? =abbaab a,ab,abb是?的前缀 aab,ab,b是?的后缀 ba是?的子串, 但既不是前缀, 也不是后缀 ?本身也是?的子串, 且既是前缀, 也是后缀 ?也是?的子串, 且既是前缀, 也是后缀 7字符串的连接运算设? =a1a2 … an, ? = b1b2 … bm,?? =a1a2 … anb1b2 … bm称作??与? 作的连接 如 ? =ab, ? =baa, ?? =abbaa, ?? =baaab 对任意的字符串??, ? , ? (1) (?? )γ= ?(??) 即, 连接运算满足结合律 (2) ?? = ??= ? 即, 空串?是连接运算的单位元 n个?的连接记作?n 如 (ab)3= ababab, ?0=? 8形式语言定义: Σ*的子集称作字母表Σ上的形式语言, 简称 语言例如 Σ={a,b} A={a,b,aa,bb} B={an | n∈N} C={anbm | n,m≥1} D={? } 空语言? 9形式文法一个例子——标识符标识符 : 字母 | 下划线 | 标识符 字母 | 标识符 下划线| 标识符数字字母 : a | b | … | z | A | B | … | Z下划线 : _数字 : 0 | 1 | … | 9 10形式文法的定义定义 形式文法是一个有序4元组G=V,T,S,P ,其中(1) V是非空有穷集合, V 的元素称作变元或非终极符(2) T是非空有穷集合且V∩T =?, T 的元素称作终极符(3) S∈V 称作起始符(4) P是非空有穷集合, P的元素称作产生式或改写规则, 形如???, 其中?,? ∈(V∪T)*且?≠?. 11文法生成的语言设文法 G = V,T,S,P, ?,?∈(V∪T)*, ? ? ? : 存在???∈P和?,?∈(V∪T)*, 使得 ?=???, ?=??? 称?直接派生出?. ? ? : 存在?1, ?2, … , ?m, 使得 ? = ?1 ? ?2 ? … ? ?m= ? 称? 派生出? .恒有 ? ? (当m=1时) 是 ? 的自反传递闭包 12文法生成的语言 定义 设文法G= V,T,S,P , G生成的语言 L(G)={?∈T* ∣S ?} L(G)由所有满足下述条件的字符串组成: (1) 仅含终结符; (2) 可由起始符派生出来.定义 如果L(G1)= L(G2), 则称文法G1与G2等价. 13举例例1 文法G1= V,T,S,P,其中V={S}, T={a,b}, P: S→aSb | ab L(G1)={anbn | n0}例2 文法G2= V,T,S,P,其中V={A,B,S}, T={0,1}, P: S→1A, A→0A | 1A | 0B, B→0 L(G2)={1x00 | x?{0, 1}*}例3 文法G3= V,T,S,P,其中V={A,B,S}, T={0,1}, P: S→B0, B→A0, A→A1 | A0, A→1 L(G3)= L(G2), G3与G2等价 14例4 G= V,T,S