Theory of Computation

El Problema de la Parada (Halting Problem): El programa definitivo que jamás se podrá crear