Eine Turing-Maschine ist ein idealisiertes Rechenmodell, das aus einer endlichen Zustandskontrolle, einer unendlichen Bandhalte-Information und einem Lesekopf besteht, der irgendwo über dem Band positioniert ist. Turing-Maschinen werden in der Berechenbarkeitstheorie verwendet, um über die Grenzen der Berechnung nachzudenken, um eine formale Definition für einen Algorithmus zu liefern und um formale Modelle für Nicht-Determinismus bereitzustellen.
In diesen Tagen habe ich über NP-Probleme, Rechenkomplexität und -theorie studiert. Ich glaube, ich habe die Konzepte von Turing Machine endlich verstanden, aber ich habe ein paar Zweifel.
Ich kann akzeptieren, dass eine nicht-deterministisch...
14.09.2010, 22:09
Ich weiß ein wenig darüber, was turing-machine und turing-complete Sprache, aber zu verstehen Besser, könnte jemand Beispiele für Sprachen nennen, die nicht vollständig Turing sind? (Vielleicht sogar Maschinen, die nicht Turing sind?)
30.08.2010, 12:34
Wie argumentieren Sie für die Tatsache, dass Lambda-Kalkül Turing abgeschlossen ist (auf die einfachste Weise möglich)?
08.03.2012, 14:23
Ich lese das Buch Computational Complexity: Eine moderne Herangehensweise und ich habe Probleme, starke Turing-Maschinen zu verstehen.
Eine unachtsame Turing-Maschine (TM) ist eine solche TM, dass die Bewegung ihrer Köpfe ausschließlich d...
13.02.2013, 05:38
Für Beispiel , die Sprache der Turing-Maschinen, die dies tun Akzeptieren Sie nicht ihre eigene Codierung kann nicht von einer Turing-Maschine akzeptiert werden.
26.06.2012, 23:37
Der Wikipedia Prolog Artikel enthält diesen Turing Machine Simulator:
%Vor%
Es gibt ein Beispielprogramm, das:
Beim Lesen einer "1" bewegt sich der Kopf nach rechts.
Beim Lesen einer Leerstelle, schreibt eine Eins und geht in den End...
02.04.2015, 00:47