Por ejemplo, los lenguajes de programación y los conjuntos de instrucciones de la CPU son ejemplos de sistemas de reglas formales que acceden y modifican los datos. Si las reglas se pueden usar para simular la máquina de computación hipotética de Turing, se dice que las reglas son "Turing completo". Se puede probar matemáticamente que un sistema Turing-complete es capaz de realizar cualquier cálculo posible o programa de computadora.
Un ejemplo de un sistema completo de Turing es el cálculo lambda que fue desarrollado por Alonzo Church, el profesor de Alan Turing.
Ejemplos de sistemas completos de Turing.
Informática, cálculo lambda, términos de programación.