deterministic finite automaton a*b*c*

visit shbcf.ru