形式语言02章文法语言语言.pptVIP

第二章 文法与语言 一个语言的定义可以从两个方面进行： 从语言产生的角度；（形式语言） 从接收(识别)语言的角度。（自动机） 设?是一个字母表，?L ? ?*, L称为字母表?上的一个语言(language), ?x ? L, x叫做L的一个句子。 2.1 例子语言 例1：括号匹配的语言(该语言是指所有的左、右括号相匹配的串的集合)。 问题：如何产生该语言？即如何生成该集合中的所有的串？ 自然语言的描述方式，采用如下的 递归规则： ①( )是合法的该语言的最基本的串； ②若S是一个合法的串,则(S)是合法串； ③若S是一个合法的串,则SS是合法串； 这些规则称为形成规则，根据这些规则，可以 (1)产生任意合法（即符合规则）的该集合中的串； (2)判断某个串是否是合法的该集合的串（即合法的句子）。 例如： 可以产生串（（））； 而推断串 （（））） 不是合法的串。 规则(的个数)是有限的，但可以产生无限个串和无限长度的串； 因为规则是递归的。 巴科斯和诺尔采用的巴科斯-诺尔范式（BNF--Backus-Naur Form）描述规则： 括号匹配串::= ( ) 括号匹配串::= 括号匹配串 括号匹配串 括号匹配串::=(括号匹配串) 使用尖括号“”和“”包括起来的部分，作为一个整体来看待，表示某个语法成分，最终，需要使用字母表中的字母来定义。 符号“::=”是BNF本身的符号（元符号），代表“定义为”或“就是”。 符号“( ”和“ )”是字母表的元素。 Chomsky采用的符号化(形式化)的描述方式，运用如下的规则（这些规则被称为产生式）：　 ① S→( ) ② S→(S) ③ S→SS →”读作“定义为”或者“是” ，它的左边和右边分别称为该产生式的左边和右边； 根据这些规则，也可以生成任意合法的串；可以判断一个串是否为合法的串。 产生串的过程为：从S开始，反复利用产生式的右边代替产生式的左边（称之为推导过程），最后，可以得到匹配的（）组成的串。 例:串(( ))(( )( ))的产生过程 S=SS=(S)S=(( ))S =(( ))(S)=(( ))(SS) =(( ))(( )S) = (( ))(( )( )) 其中：“=”表示单步推导过程。 虽然产生式的个数是有限的，但是规则是递归的，因而，所有的小括号匹配的串（有无限个）均可以由它们产生，它们组成的集合就称为一个语言。 S称为非终结符，在推导过程中，可以被代替的符号。 (和)称为终结符，在推导过程中，不可以被代替的符号。 → 是产生式系统的元符号，不属于非终结符，也不属于非终结符。 例2-2：由偶数个0组成的串的语言。 自然语言的描述方式： ①00是合法的该语言的基本的串； ②若S是合法的串,则SS是合法的串； 形式化的描述方式：　 ① S→00 ② S→SS 问题： 将产生式S→SS换成 S→0S0或者S→00S， 是否还产生相同的语言？ 同一个语言，可以使用不同的产生式组合来产生。 考虑： 由奇数个1组成串的语言的产生。 例2-3：包含有+、-、*、/、（）的算术表达式的语言。 自然语言的描述方式 ①单个变量是合法的最基本的串； ②若S是一个合法的串，则SAS是一个合法的串（ 其中A代表运算符+、-、*、/） ③若S是一个合法的串，则(S)是合法的串； 形式语言的描述方式 ① S→ i （i代表单个变量） ② S→SAS ③ S→( S ) ④ A→+ ⑤ A→- ⑥ A→* ⑦ A→/ 其中 ： A→+，A→-，A→*，A→/ 四个产生式的左边是相同的符号，可以合并为 A→+|-|*|/ +、-、*、/ 称为A的侯选式。 注意： 这组产生式没有表示出运算符的优先级。 表示出运算符的优先级的产生式： E→E+T|E-T|T T→T*F|T/F|F F→(E)|i 其中：E代表表达式，T代表项，F代表因子，(E)代表的是带小括号的表达式。该组产生式表示出先算因子，再*、/，最后+、-。 如果使用%代表模运算(即取余数运算)、使用^代表指数运算，则有 E→E+T|E-T|T T→T*F|T/F|T%F|A A→F^A|F F→(E)|i 注意： 还需要考虑^运算的结合性：^是右结合的。 例2-4 标识符(以字母开头的字母、数字的串)的产生(仅考虑小写字母)。 I→L I→IL I→ID L→a |b|c|…|z D→0|1|2|…|9