例：句子())()())的推导过程 S =>SS =>(S)S =>()S =>(()(S) =>()(SS) =>()()S) =>()(()())
例:句子(( ))(( )( ))的推导过程 S =>SS =>(S)S =>(( ))S =>(( ))(S) =>(( ))(SS) =>(( ))(( )S) => (( ))(( )( ))
产生式的个数是有限的，规则是递归 的，所有的小括号匹配的串， 都可以由 产生式产生； 它们组成的集合就称为一个语言
产生式的个数是有限的，规则是递归 的，所有的小括号匹配的串，都可以由 产生式产生； 它们组成的集合就称为一个语言
S称为非终结符，在推导过程中， 可以被 代替的符号 (和)称为终结符， 在推导过程中，不可以 被代替的符号。 是产生式系统的元符号，不属于终结 符，也不属于非终结符
l S称为非终结符，在推导过程中，可以被 代替的符号。 l (和)称为终结符，在推导过程中，不可以 被代替的符号。 l → 是产生式系统的元符号，不属于终结 符，也不属于非终结符
例2-1：由偶数个0组成的串的语言。 规则的自然语言描述方式： ①00是该语言的基本的句子； ②若S是句子，则00S是句子
例2-1：由偶数个0组成的串的语言。 规则的自然语言描述方式： ①00是该语言的基本的句子； ②若S是句子,则00S是句子
形式化的描述方式： S→00 S-00S
形式化的描述方式： S→00 S→00S