Turing-Vollständigkeit

Mit Turing-Vollständigkeit (engl. Turing completeness) 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.

↑ Alan Turing: On Computable Numbers, with an Application to the Entscheidungsproblem. In: Proceedings of the London Mathematical Society. Band s2-42, Nr. 1, 1937, S. 230–265, doi:10.1112/plms/s2-42.1.230 (PDF).
↑ Alan Turing: On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction. In: Proceedings of the London Mathematical Society. Band s2-43, Nr. 1, 1938, S. 544–546, doi:10.1112/plms/s2-42.1.230 (PDF).

[1] Alan Turing: On Computable Numbers, with an Application to the Entscheidungsproblem. In: Proceedings of the London Mathematical Society. Band s2-42, Nr. 1, 1937, S. 230–265, doi:10.1112/plms/s2-42.1.230 (PDF).

[2] Alan Turing: On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction. In: Proceedings of the London Mathematical Society. Band s2-43, Nr. 1, 1938, S. 544–546, doi:10.1112/plms/s2-42.1.230 (PDF).