Turing-Vollständigkeit

Natural & Formal Sciences Dictionary
Eine Eigenschaft eines Rechensystems, die anzeigt, dass es jede universelle programmierbare Maschine simulieren kann und damit jede Berechnung ausführen kann, die eine solche ideale Maschine leisten kann, vorausgesetzt unbeschränkte Zeit und Speicher.