Renaming automatas to automata_samples