最左推导和最右推导

  所谓最左推导是指：任何一步α->β

都是对α中的最左非终结符号进行替换的，同样可定义最右推导。

对于： 1. S->AB|c  2. A->aA|b 3. B->Bc|b;

则最左推导是S->AB->aAB->aaABc………….;

最右推导是:S->c

例：构建一个文法G=abbc

         则此时的最左推导是S->AB->aABc->abbc

         则此时的最右推导是S->AB->aAB->abB->abbc

(推导已有文法，最左推导就是优先使用最左非终结符来替换保证符合条件，最右推导也是如此)