Added random based random generator, updated Automaton