Mit
Turing-Vollständigkeit eines Systems wird seine universelle Programmierbarkeit beschrieben. Für die Adjektivform
Turing-vollständig wird synonym häufig auch
turingmächtig verwendet. Der Name ist abgeleitet vom englischen Mathematiker
Alan Turing, der das Modell der
universellen Turingmaschine eingeführt hat.