Als «automata» getaggte Fragen

Fragen zu mathematischen Geräten, die einen Eingabestream Symbol für Symbol lesen und eine Zustandsübergangskarte verwenden, um einen Ausgabestream zu erzeugen, möglicherweise unter Verwendung eines Sekundärspeichers.

1
Wie schreibe ich einen Beweis mit Induktion über die Länge der Eingabezeichenfolge?
In meinem Kurs über Computertheorie bestehen viele unserer Probleme darin, mithilfe der Induktion der Länge der Eingabezeichenfolge Aussagen über endliche Automaten zu beweisen. Ich verstehe die mathematische Induktion, aber wenn Saiten ins Spiel kommen, werde ich richtig gestolpert. Ich würde es wirklich begrüßen, wenn jemand Schritt für Schritt einen solchen …
3
Wie kann man beweisen, dass DFAs von NFAs eine exponentielle Anzahl von Zuständen haben können?
Diese Frage wurde von Theoretical Computer Science Stack Exchange migriert, da sie über Computer Science Stack Exchange beantwortet werden kann. Vor 7 Jahren migriert . Alle nicht deterministischen endlichen Automaten können in äquivalente deterministische endliche Automaten umgewandelt werden. Bei deterministischen endlichen Automaten ist jedoch nur ein Pfeil pro Symbol zulässig, …
2
Ist eine Turing-Maschine, die nicht in der Lage ist, auf leere Zellen zu schreiben, weniger leistungsfähig als eine Standard-Turing-Maschine?
Ist eine Turing-Maschine, die nicht in der Lage ist, auf leere Zellen zu schreiben, weniger leistungsfähig als eine Standard-Turing-Maschine? Ich denke, die Antwort ist ja, aber ich kann keine Berechnung finden, die die Standard-Turing-Maschine kann, aber diese Maschine nicht. Irgendwelche Ideen?
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
Sprachen, die von modifizierten Versionen endlicher Automaten akzeptiert werden
Ein deterministischer endlicher Automat (DFA) ist ein Zustandsmaschinenmodell, das alle und nur reguläre Sprachen akzeptieren kann. DFAs können (und werden in der Regel) so definiert, dass jeder Status einen Übergang für alle Elemente des Eingabealphabets bereitstellen muss. Mit anderen Worten, die Übergangsfunktion sollte eine (Gesamt-) Funktion sein.δ:Q×Σ→Qδ:Q×Σ→Q\delta : Q \times …
2
Welche Sprachen werden von Ein-Zähler-Maschinen erkannt?
In rechentheoretischen Kursen wird gezeigt, dass Zählmaschinen mit zwei oder mehr Zählern Turingmaschinen entsprechen. Ich habe jedoch keine formale Analyse gesehen, welche Sprachen von einem Ein-Zähler-Automaten erkannt werden können. Entsprechen diese Sprachen den kontextfreien Sprachen (möglicherweise durch eine geschickte Konstruktion, die sie mit PDAs in Verbindung bringt), oder handelt es …
5
Gibt es unbestreitbare Eigenschaften von nicht vollständig funktionierenden Automaten?
Gibt es unentscheidbare Eigenschaften von Automaten mit linearer Begrenzung (um den Trick mit der leeren eingestellten Sprache zu vermeiden)? Was ist mit einem deterministischen endlichen Automaten? (Unlösbares beiseite legen). Ich möchte (wenn möglich) ein Beispiel für ein unentscheidbares Problem erhalten, das definiert wird, ohne Turing-Maschinen explizit zu verwenden. Ist die …
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.