下面文法G[S]是否為L(zhǎng)L(1)文法?說(shuō)明理由。
設(shè)M=({x,y},{a,b},f,x,{y})為一非確定的有限自動(dòng)機(jī),其中f定義如下: 試構(gòu)造相應(yīng)的確定有限自動(dòng)機(jī)M′。