Handout - Institut für Theoretische Informatik - Technische ...
Handout - Institut für Theoretische Informatik - Technische ...
Handout - Institut für Theoretische Informatik - Technische ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
3. Turingmaschinen 3.0 Vorüberlegung<br />
Beispiel (Fortsetzung)<br />
start q 0<br />
〈0, #, #〉/〈#, L〉, 〈0, L〉, 〈#, N〉<br />
〈1, #, #〉/〈#, L〉, 〈#, N〉, 〈1, L〉<br />
q 2<br />
〈#, 0, 1〉/−, 〈#, R〉, 〈#, R〉<br />
〈#, #, #〉/−, 〈#, R〉, 〈#, R〉<br />
〈#, 0, #〉/−, 〈#, R〉, 〈#, R〉<br />
q 1<br />
q 6<br />
〈#, 0, 1〉/−, 〈#, R〉, 〈1, R〉<br />
〈#, 0, 1〉/−, 〈#, R〉, 〈1, N〉<br />
〈#, #, #〉/−, −, −<br />
〈#, #, #〉/−, −, −<br />
q F<br />
〈#, #, #〉/−, −, −<br />
〈#, #, #〉/−, −, −<br />
〈#, 0, 1〉/−, 〈#, R〉, 〈1, N〉<br />
〈#, 0, 1〉/−, 〈#, R〉, 〈1, L〉<br />
q 3<br />
〈#, 0, #〉/−, 〈#, R〉, 〈#, L〉<br />
q 4<br />
〈#, 0, 1〉/−, 〈#, R〉, 〈#, L〉<br />
q 5<br />
In Zukunft werden wir nicht alle TM’n so detailliert beschreiben können,<br />
sondern uns meist auf informelle Spezifikationen beschränken.<br />
Jürgen Koslowski (TU-BS) <strong>Theoretische</strong> <strong>Informatik</strong> 2 SS 2012 25 / 215