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