added random automata