第2章 形式语言概.pptVIP

形式语言理论： 是指由数学方法研究自然语言和人工语言(程序设计语言)之语法理论，主要讨论了语言和文法的数学机制以及语言和文法的分类。 符号串的连接：设x和y是符号串，它们的连接xy是把y的符号写在x的符号之后得到的符号串。 如: x=ab、y=123，则xy=ab123。显然，εx=xε=x。 例：证明 (i*i+i)是文法 G(E)： E ? i | E+E | E*E | (E) 的一个句子。 证明： E ? (E) ? (E+E)? (E*E+E)? (i*E+E)? (i*i+E) ? (i*i+i) E，(E)，(E*E+E)，…，(i*i+i)是句型。 文法和语言 0型文法产生的语言称为0型语言 1型文法或上下文有关文法（ CSG ）产生的语言称为1型语言或上下文有关语言（CSL） 2型文法或上下文无关文法（ CFG ）产生的语言称为2型语言或上下文无关语言（ CF L ） 3型文法或正则（正规）文法（ RG ）产生的语言称为3型语言正则（正规）语言（ RL ） 语法树 设文法G=（VN, VT, P, S），对于文法G的任意一个句型都存在一个相应的语法树： 树中每个结点都有一个标记，该标记是VN?VT中的一个符号； 树的根结点标记是文法的识别符号S； ?若树的一个结点至少有一个叶子结点，则该结点的标记一定是一