Les langages ...
«Une machine de Turing peut simuler n’importe quelle fonction
trouvée dans les langages de programmation, y compris des
procédures récursives et tout mécanisme de passage de
paramètres » John Hopcroft and Jeffrey Ullman, (1979).
Introduction to Automata Theory, Languages and Computation,
1st edition, Addison-Wesley, Reading Massachusets
Tous les langages de programmation sont équivalents
Türing-complets: C, Perl, ADA, Fortran, Python, Cobol, ...
Non Türing-complets: SQL, expressions rationnelles