devel of finite automata