Nichtdeterministische Turingmaschinen
Version vom 24. August 2018, 15:50 Uhr von Css (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „Analog zur Automatentheorie gibt es auch für Turingmaschinen eine nichtdeterministische Variante. Man kann sie auch analog definieren indem man es erlaubt, da…“)
Analog zur Automatentheorie gibt es auch für Turingmaschinen eine nichtdeterministische Variante. Man kann sie auch analog definieren indem man es erlaubt, dass man mehrere Sprungziele angibt bei jeder Anweisung. Allerdings werden wir dies nicht tun, sondern stattdessen ein Orakelband verwenden.