Als «linear-bounded-automata» getaggte Fragen

4
Definieren des Halteproblems für nicht deterministische Automaten
Die primäre Definition von Turing machine (TM), zumindest in meinem eigenen Nachschlagewerk (Hopcroft + Ullman 1979), ist deterministisch. Daher ist mein eigenes Verständnis des Halteproblems in erster Linie für deterministisches TM, obwohl mir bewusst ist, dass es für andere Arten von Automaten in Betracht gezogen werden kann. Mir ist auch …
2
Warum sind linear begrenzte Turingmaschinen leistungsfähiger als Finite-State-Automaten?
Ich hatte den Eindruck, dass unsere Computer, da sie endlich sind, letztendlich nicht leistungsfähiger sind als (außerordentlich große) endliche Zustandsmaschinen. Linear gebundene Turing-Maschinen sind zwar auch endlich, aber es scheint, dass reguläre Sprachen streng genommen eine unangemessene Teilmenge kontextsensitiver Sprachen sind. Offensichtlich fehlt mir hier etwas. Was ist los?
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.