En teoría de la computabilidad, se estudia qué lenguajes son decidibles con diferentes tipos de máquinas.