Citat:
Interesuje me da li neko zna da li postoji neki postupak tj.
algoritam za crtanje konacnog automata ako je zadan tip nizova koje on
prihvata.
Da, takav algoritam postoji, i predstavlja srce programa kao što su lex
i yacc ili recimo sed. Opisan je detaljno u „Dragon booku“ (Aho, Sethi,
Ullman; Compilers: principles, techniques and tools). U grubim crtama
(pošto se finih detalja ne sećam) svodi se na pravljenje
nedeterminističkog konačnog automata na osnovu nekoliko šablona (kojima
odgovaraju konstrukcije iz regularnih izraza, na primer), zatim
konverzije u deterministički konačni automat i onda optimizacije stanja.
f