有正規(guī)文法G[S]: (1)構(gòu)造對(duì)應(yīng)的正規(guī)式R,使得L(R)=L(G)。 (2)構(gòu)造對(duì)應(yīng)的NFA狀態(tài)圖,使得L(M)=L(R)。 (3)將所得NFA確定化為DFA。 (4)將所得DFA最小化。