Describir: Maquinas de Turing y aritmetica recursiva