形式语言与自动机week1introduction.ppt

* College of Computer Science Technology, BUPT 设G = (N,T,P,S)是文法，α、α0、α1…αn、α’都是（N∪T）*中的字符串，且α=α0、 α’ =αn，其中αi直接推导出αi+1 （0≤i≤n）,则称序列α0=α1=α2=…=αn是长度为n的推导序列，而α=α0是长度为0的推导序列。 对α推导出α’记为α α’ ，若推导序列长度大于0，则记为α α’。 推导序列的每一步，都产生一个字符串，这些字符串一般称为句型。 2、推导序列 * College of Computer Science Technology, BUPT 3、句型和句子 句型 字符串α是文法G的句型，当且仅当 S α，且α∈（N∪T）*。 句子 ω是G的句子，当且仅当S ω,且ω∈T*。（ω是由终结符组成的字符串） 例：I =L =a I =IL =LL =zL =zb 句型包含句子 * College of Computer Science Technology, BUPT 4．文法产生的语言 由文法G产生的语言记为L(G)。 L(G) = {ω|ω∈T*且S ω} 或： L(G)中的一个字符串，必是由终结符组成的，并且是从起始符S推导出来的。 * College of Computer Science Technology, BUPT 第三节 Chomsky文法体系分类 文法 G = (N,T,P,S)； P: α→β 其中 α∈（N∪T）* N+（N∪T）* β∈（N∪T）* 属于Chomsky文法体系 该体系对生成式的形式做了一些规定，分为四类，即0型、1型、2型、3型文法 0型文法：无限制文法 对应的语言：递归可枚举语言，与图灵机等价。 * College of Computer Science Technology, BUPT 1型文法 也称上下文有关文法（CSG：Context-sensitive Grammar) 生成式的形式为α→β， 其中 |α|≤|β|，β∈（N∪T）+， α∈（N∪T）*N+（N∪T）* 对应的语言：上下文有关语言（CSL：Context-sensitive Language) 若不考虑ε，与线性有界自动机（LBA, Linear Bounded Automaton）等价。 * College of Computer Science Technology, BUPT 2型文法 也称上下文无关文法（CFG：Context-free Grammar) A→α, A∈N, 且α∈（N∪T）* 对应的语言：上下文无关语言 （CFL： Context-free Language)。 对应的自动机：下推自动机（PDA： Pushdown Automaton)。 * College of Computer Science Technology, BUPT 3型文法 也称正则文法 右线性文法（Right-linear Grammar）： A→ωB 或 A→ω A、B∈N, ω∈T*。 左线性文法（Left-linear Grammar）： A→Bω或 A→ω A、B∈N, ω∈T*。 对应的语言：正则语言 对应的自动机：有限自动机（Finite Automaton）。 * College of Computer Science Technology, BUPT 例1： G = ({A,B,C}, {a,b,d}, P, A) P: A→AB；AB→CAAB；A→d；B→a；C→b 是1型文法。 A=d A=AB =dB =da A=AB =ABB =dBB =daB =daa A=AB =CAAB =bAAB =bdAB =bdCAAB =bdbAAB =bdbdAB=bdbddB =bdbdda * 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 =