：对于串abc()S=>Ac=>abc;()S=>aB=>abc存在两不同的最右推导