例如:可以产生串(()); 而推断串 (())) 不是合法的串
⚫例如： 可以产生串（（））； 而推断串 （（））） 不是合法的串
规则(的个数)是有限的,但可 以产生无限个串和无限长度 的串; ●因为规则是递归的
⚫规则(的个数)是有限的，但可 以产生无限个串和无限长度 的串； ⚫因为规则是递归的
●巴科斯和诺尔采用的巴科斯-诺尔范式(BNF Backus- Naur Forn)描述规则: <括号匹配串>:=() ●<括号匹配串>:=<括号匹配串><括号匹配串> ●<括号匹配串>:=(<括号匹配串>)
⚫ 巴科斯和诺尔采用的巴科斯-诺尔范式（BNF-- Backus-Naur Form）描述规则： ⚫ <括号匹配串>::= ( ) ⚫ <括号匹配串>::= <括号匹配串> <括号匹配串> ⚫ <括号匹配串>::=(<括号匹配串>)
●使用尖括号“<”和“>”包括起来的部分,作 为一个整体来看待,表示某个语法成分,最 终,需要使用字母表中的字母来定义。 符号“∷=”是BNF本身的符号(元符号), 代表“定义为”或“就是”。 ●符号“(”和“)”是字母表的元素
⚫ 使用尖括号“<”和“>”包括起来的部分，作 为一个整体来看待，表示某个语法成分，最 终，需要使用字母表中的字母来定义。 ⚫ 符号“::=”是BNF本身的符号（元符号）， 代表“定义为”或“就是” 。 ⚫ 符号“( ”和“ )”是字母表的元素
o Chomsky釆用的符号化(形式化)的 描述方式,运用如下的规则(这些规 则被称为产生式) ①S→( ②S→(S) ③S→Ss
⚫ Chomsky采用的符号化(形式化)的 描述方式，运用如下的规则（这些规 则被称为产生式）： ① S→( ) ② S→(S) ③ S→SS