Turing-Vollständigkeit

Turing-Vollständigkeit bezeichnet in der Berechenbarkeitstheorie die Eigenschaft einer Programmiersprache oder eines anderen logischen Systems, sämtliche Funktionen berechnen zu können, die eine universelle Turingmaschine berechnen kann. Anders ausgedrückt, das System und eine universelle Turingmaschine können sich gegenseitig emulieren. Der Name leitet sich vom Mathematiker Alan Turing her, der das Modell der universellen Turingmaschine eingeführt hat.
Mehr unter Wikipedia.org...