Rescrever o texto "Finitude, Corretude & Complexidade de Algoritmos"

[oseasandrepro]

Escrever uma nova versão revisada do texto " Finitude, Corretude & Complexidade de Algoritmos" v0.1
Com correções de erros no texto
Melhoria nas análises
Melhoria nas provas de finitude e corretude