Un modèle de calcul est appelé Turing-complet s'il est capable de simuler une machine de Turing. Les langages de programmation Turing complets sont au moins aussi puissants que les modèles les plus puissants de calcul réalisable mais théorisés.
Quel est l'ensemble minimum de primitives requis de manière à ce qu'une langue soit complète et une variante LISP?
On dirait que la voiture, la CDR et un certain co ...
