编译原理与编译构造 由语言构造文法2

方法3 等价法

基本思想：产生的两边应该具有相同的特性

例1：

$L=\{w|w \in (a, b)^* , and \space there \space are \space same \space a's \space and \space b's \space in \space w\}$

解：

1. $S \to aA|bB$ 这一步是说，句子可以以$a|b$开头，之后加一个$a、b$数量不等的式子

其中， S:|a|=|b|，A:|a|+1=|b|，B:|a|=|b|+