形式语言与自动机-课程介绍.pptVIP

* 问题： 1、增加这一张略显突兀，为什么要引出“元语言”。还是应该更加关注文法，思路保持一致。 2、最后讨论元语言，或是开始由BNF引出文法。 * 问题 1、文法是自然语言中的“句型”吗？ * 什么叫“文法体系”，定义？ 个人理解：体系就是组成（构成）+关系，比如：知识体系。所以这一节叫文法更合适。 1、文法的定义方法。（形式方法） 2、？ * College of Computer Science Technology, BUPT 三、Chomsky文法体系 Chomsky文法体系中，任何一种文法必须包含有两个不同的有限符号的集合，即非终结符集合N和终结符集合T。一个形式规则的有限集合P（生成式集合），一个起始符S。 P中的生成式是用来产生语言句子的规则，而句子则是仅由终结符组成的字符串。这些字符串必须从一个起始符S开始，不断使用P中的生成式而推导出来。 可见文法的核心是生成式的集合，它决定了语言中句子的产生。 * College of Computer Science Technology, BUPT 文法的形式定义 文法G是一个四元组G=(N，T，P，S)， 其中 N 非终结符的有限集合 T 终结符的有限集合 N∩T=Φ P 形式为α→β的生成式的有限集合。 且α∈(N∪T)* N+ (N∪T)* β∈(N∪T)* S 起始符 且S ∈N。 * College of Computer Science Technology, BUPT 将上例用文法表示 G=(N，T，P，S) N = { I, L, D} T = { a, b, c,…z, 0, 1, …9} P = { I, La, …, D0, …, D9} S = { I } 文法是语言的产生系统，研究怎样构造文法能产生出符合要求的句子。 * College of Computer Science Technology, BUPT 四．推导与句型 1、直接推导 设G =（N,T,P,S）是文法，若A→β是P中的生成式，α和γ是（N∪T）*中的字符串，则有αAγ= αβγ称αAγ直接推导出αβγ，或说αβγ是αAγ的直接推导。 * 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）等价