Algoritmos e Fundamentos da Teoria da Computação