自然语言的描述方式，采用如下的 递归规则 ①()是该语言的最基本的句子； ②若S是句子，则(S)是句子； ③ 若S是句子，则SS是句子；
l 自然语言的描述方式，采用如下的 递归规则： ①( )是该语言的最基本的句子； ②若S是句子,则(S)是句子； ③若S是句子,则SS是句子；
根据形成规则，可以 产生该语言的任意的句子； 判断某个串是否是该语言的句子 语法分析
l根据形成规则，可以 产生该语言的任意的句子； 判断某个串是否是该语言的句子-- 语法分析
例如 可以产生句子(()) 而推断串 (())) 不是句子
例如 l 可以产生句子（（）） 而推断串 （（））） 不是句子
规则（的个数）是有限的，但可以产生无 限个句子、甚至长度无限的句子 。因为规则是递归的
l 规则(的个数)是有限的，但可以产生无 限个句子、甚至长度无限的句子 l 因为规则是递归的
BNF的描述方式 巴科斯和诺尔采用的巴科斯-诺尔范式 BNF-Backus-Naur Form)描述规则： <括号匹配串>：=() 括号匹配串>：=(<括号匹配串>) 括号匹配串>：=<括号匹配串><括号匹配串>
BNF的描述方式 l 巴科斯和诺尔采用的巴科斯-诺尔范式 (BNF--Backus-Naur Form)描述规则： l <括号匹配串>::= ( ) l <括号匹配串>::=(<括号匹配串>) l <括号匹配串>::=<括号匹配串><括号匹配串>