Navegando: Computação Reversível e Não-Linear