adicionando estados alcancaveis por novos estados adicionados por transicoes epsilons