 Turing - Maschine |
123michi19
Mitglied
Dabei seit: 22.12.2014
Beiträge: 45
 |
|
Meine Frage:
Hey, hey :-)
ich hätte ein paar Fragen zur Turing - Maschine.
Was habe ich bisher herausgefunden:
Die Turing-Maschine wird verwendet um die Berechenbarkeit von Problemstellungen zu beweisen / widerlegen.
Es gibt verschiedene Zustände.
Schreibweise:
(Z1,A) = (Z2,B,R) --> Soll heißen, wenn im Zustand 1 ein A steht, dann gehe in Zeile 2, schreibe ein B und gehe nach rechts.
Jetzt habe ich gerade ein Video gefunden, was mich leicht verwirrt. Angenommen ich starte bei Zustand 1 und es steht ein A; Wird dann solange weitergeprüft bis einmal ein anderer Buchstabe kommt?
Und wo gebe ich die Anweisung für den Anfang (also als Zeichen #) und Ende (%)
Meine Ideen:
Besten Dank :-)
|
|
01.01.2015 20:30 |
|
|
Karlito 
Kaiser
Dabei seit: 11.04.2011
Beiträge: 1.461
|
|
| Zitat: |
Original von 123michi19
Es gibt verschiedene Zustände.
Schreibweise:
(Z1,A) = (Z2,B,R) --> Soll heißen, wenn im Zustand 1 ein A steht, dann gehe in Zeile 2, schreibe ein B und gehe nach rechts.
|
Was Du hier beschreibst ist eine partielle Übergangsfunktion und keinen Zustand. Und die Schreibweise ist so:
![[latex]\delta(Z_1, A) = (Z_2, B, R)[/latex]](http://www.matheboard.de/latex2png/latex2png.php?\delta(Z_1, A) = (Z_2, B, R)) , wobei das zweite Tupel beschreibt, in welchen Zustand gewechselt werden soll (NICHT Zeile, das war aber bestimmt ein Tippfehler, oder?). welches Zeichen auf die aktuelle Position geschrieben wird und welche Bewegung der Lese-/Schreib-Kopf danach ausführen soll.
Im Klartext heißt dass, dass wenn im Zustand ![[latex]Z_1[/latex]](http://www.matheboard.de/latex2png/latex2png.php?Z_1) ein A gelesen wird, dann wechselt der Zustand in ![[latex]Z_2[/latex]](http://www.matheboard.de/latex2png/latex2png.php?Z_2) , das A wird mit B überschieben und nach dem Schreiben bewegt sich der Kopf nach rechts.
| Zitat: |
Original von 123michi19
Jetzt habe ich gerade ein Video gefunden, was mich leicht verwirrt. Angenommen ich starte bei Zustand 1 und es steht ein A; Wird dann solange weitergeprüft bis einmal ein anderer Buchstabe kommt?
|
Das hängt von der "Programmierung" ab. Die Programmierung ist in diesem Fall die Menge der partiellen Übergangsfunktionen. in kann nun ein weiteres A auch durch X überschrieben werden oder die TM hält sogar an...
| Zitat: |
Original von 123michi19
Und wo gebe ich die Anweisung für den Anfang (also als Zeichen #) und Ende (%)
|
Man nimmt immer eine Bestimmte Anfangskonfiguration an. D.h. im Normalfall steht der LS-Kopf immer auf dem ersten Zeichen auf dem Eingabeband. Welche Zeichen Anfang und Ende sind, wird durch die Programmierung und durch die Definition der TM beschrieben. Die Definition ist ja durch ein Tupel gegeben: ![[latex]M=(Q, \Sigma, \Gamma, \delta, q_0, \square, q_f)[/latex]](http://www.matheboard.de/latex2png/latex2png.php?M=(Q, \Sigma, \Gamma, \delta, q_0, \square, q_f)) (s. Wikipedia). Durch die Definition des Bandalphabetes ![[latex]\Gamma[/latex]](http://www.matheboard.de/latex2png/latex2png.php?\Gamma) , des Blank-Zeichens ![[latex]\square[/latex]](http://www.matheboard.de/latex2png/latex2png.php?\square) und der Reaktionen als partielle Übergangsfunktion werden die Grenzen der Eingaben auf dem Band Festgelegt.
Gruß,
Karlito
|
|
|
02.01.2015 07:03 |
|
|
|
