第二章 文法与语.pptVIP

第二章 文法和形式语言 本章主要介绍形式语言理论中的一些最基本的概念和基础知识，它是学习以后各章节的基础。 2.1 符号和符号串 2.1.1 字母表与符号串 ① 字母表:元素的非空有穷集合，习惯上用大写字母表示。 ② 符号：字母表中元素。 ③ 符号串：符号的有穷序列。 ④ 空符号串：不含任何符号的符号串，记为ε。 ⑤ 符号串集合：字母表Σ上的符号串组成的集合。 2.2 文法和语言 语言是特定字母表上具有一定语法结构的符号串的集合。若用L表示语言，用Σ表示字母表，则 L∈Σ＊ 文法(Grammar)是定义或描述语言的语法结构的一组形式规则(即语法规则)。一个程序语言的文法的目的就是用适当条数的规则把该程序语言全部成分描述出来。 2、文法和字汇表 文法可以定义成一个四元组G[S]=(VN，VT，S，P)。 其中，VT:非空有限的终结符号集； VN:非空有限的非终结符号集； S:开始符号，是文法G规定的最终目标； P:产生式的集合。 V=VN∪VT称为文法G[S]的字汇表。 VN∩VT= ?，S?VN。 为了方便，表示文法时只列出产生式，而不以4元组显示地表示出来。 2.6 文法和语言的分类 0型文法与0型语言 1型文法与1型语言 2型文法与2型语言 3型文法