computability theory 0 teoría de la computabilidad Parte de la computación que estudia los problemas de decisión que pueden ser resueltos con un algoritmo o una máquina de Turing. 2006-05-03 algorithmalgoritmo computationcalculo, cómputo halting problemproblema de la parada, problema de la detención Turing machinemáquina de Turing