第2章 形式语言的基础知识.pptVIP

第2章 形式语言的基础知识;内容提要;2.1 形式语言;;;;;;;;;2.2 文法和语言;2.2.1 基本概念 定义 文法 文法表示成四元组G=(VT, VN, S, P)，其中： (1)VT为终结符号(terminal)集，是一个非空有限集，它的每个元素称为终结符号； (2)VN为非终结符(non-terminal)集，也是一个非空有限集，其每个元素称为非终结符号。 要求VT?VN=?； (3)S为一文法开始符号，也称作识别符号，是一个特殊的非终结符号，即S?VN；; (4)P是产生式的非空有限集，其中每个产生式(或称规则)是一序偶(?, ?)，通常写作 ??? 读作“?是?”或“?定义为?”。在此，?为产生式的左部，而?为产生式的右部，?、?是由终结符和非终结符组成的符号串， ??(VT?VN)+且至少有一个非终结符，而??(VT?VN)*。 终结符和非终结符的集合用符号V表示，即V=VT?VN。; 终结符代表了语法的最小元素。 非终结符号也称语法变量，它代表语法实体或语法范畴；非终结符代表一个一定的语法概念，因此，一个非终结符是一个类、一个集合。 例如，在程序语言中，可以把变量、常数、“+”、“*”等看作是终结符，而像“算术表达式”这个非终结符则代表着一定算术表达式组成的类，如i*(i+i)、i+i+i等；也即每个非终结符代表着由一些终结符和非终结符且