La integridad no se trata de la complejidad o las características de un idioma; Se trata de su capacidad fundamental para expresar cualquier cálculo que pueda realizar una máquina Turing. Una máquina Turing es un modelo teórico de cálculo, y un lenguaje está completo si puede simular una máquina Turing. Esto significa que, en su núcleo, puede ejecutar cualquier algoritmo que pueda describirse algorítmicamente.
Para lograr la integridad de Turing, un idioma solo necesita algunos elementos esenciales:
* Una forma de almacenar datos: Variables, ubicaciones de memoria, etc.
* Una forma de realizar operaciones básicas: Operaciones aritméticas (+, -, *, /), operaciones de comparación (<,>, =), lógica booleana (y, o no).
* flujo de control: Declaraciones condicionales (if-Then-else) y bucles (mientras, para).
* Un mecanismo para definir y llamar a subrutinas/funciones: Esto permite la modularidad y la reutilización del código.
Mientras un lenguaje posea estos componentes fundamentales, en teoría, puede usarse para simular cualquier máquina de turbación y, por lo tanto, está completo. La sintaxis específica y las características más allá de estos conceptos básicos son en gran medida irrelevantes para su integridad.