Adicionada função que computa o reverso de um dado atômato.