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