Bedeutung von Turing-mächtig | Babel Free

Definitionen

in der Lage, alle mit Turingmaschinen beschreibbaren (Turing-berechenbaren) Funktionen auszudrücken

Beispiele

“„Zellulare Automaten sind Turing-mächtig. Hierbei reicht bereits ein eindimensionaler Automat, der das Turingband simuliert.“”

“„Letzten Endes stellt sie sogar eine vollständige Programmiersprache dar, die Turing-mächtig ist, d.h. in der regelrechte Programme formuliert werden können.“”

“„Sie sind Turing-mächtig und somit in der Lage, Petrinetze mit Inhibitor-Kanten zu beschreiben […].“”

“„Weil die Ausdruckskraft der Transitions-Beschriftungen und der Funktionen Turing-mächtig ist, kann ein Nachweis, dass jede Operation ein gültiges Resultat produziert, nicht vollständig (d.h. für alle möglichen Abläufe) erbracht werden.“”

GER-Stufe