Random Automata implemented