Es cualquier lenguaje de programación que pueda simular una Máquina de Turing Universal. Es decir, cualquier sistema o lenguaje de programación capaz de realizar cualquier cálculo computacional con los recursos adecuados.

Volver a la página de índice del glosario