Enumeration of finite automata