Alteração do nome do arquivo do automato para Automato.txt