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.
Kada sam nekada citao jednu knjigu o teoriji kompajlera (jedna od oblasti
primene konacnih automata) cini mi se da sam tu video trazeni algoritam, ali nisam siguran. A i ta knjiga mi vise nije dostupna.
Recimo treba da resim zadatak sledeceg tipa:
Naci konacni automat koji prepoznaje sve neprazne nizove nad skupom{a,b} takve da svaki od njih:
ne sadrzi tacno dva "a" i sadrzi vise od dva "b".
Inace svi su zadaci tog tipa samo se razlikuju u stringu koji prihvataju (skup je uvek {a,b}). Pokusao sam da ih resim "nabadanjem" i nekad uspe a nekad ne, a uz to oduzima mnogo vremena pa me zato zanima da li neko zna bolji nacin. Inace vreme je bitan faktor jer mi to treba za ispit iz diskretne matematike :)