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
Beweisen, dass eine (Baum-) Sprache nicht von Buchi erkennbar ist
Ich überprüfe einige Notizen zu Baumautomaten und versuche, einen Beweis dafür zu finden, dass der Professor unvollständig ist. Die Aussage lautet: Sei und . Beweisen Sie, dass Buchi nicht erkennbar ist.A={a,b}A={a,b}A = \{a,b\}T={t∈TωA∣every path in t contains a finite number of a}T={t∈TAω∣every path in t contains a finite number of …
2
Automatenäquivalent der π-Rechnung?
Wenn Turing-Maschinen das Automatenäquivalent des sind λλ\lambda Kalkül, was ist das Automatenäquivalent der ππ\piInfinitesimalrechnung? Ich nehme an, es wäre eine Klasse von Automaten, die einer Turing-Maschine ähnelte, aber Kommunikationskanäle oder Signale irgendeiner Art unterstützte, aber ich bin mir nicht sicher und würde eine Richtung schätzen.
2
Automat für den Teilstring-Abgleich
Gegeben als String über einig Alphabet, was ist der beste bekannte Algorithmus einen entsprechenden deterministischen endlichen Automaten (DFA) , die ein beliebige Zeichenfolge akzeptiert zu berechnen, enthält ?ssssss Ich bin hauptsächlich an der geringsten zeitlichen Komplexität interessiert. Wenn Sie mir also sagen, welche Komplexität in der O-Notation am bekanntesten ist, …
2
Klassen von NFAs, die effiziente Teilmengenprüfungen oder eindeutige Konvertierungen ermöglichen
Ich recherchiere über NFAs und Inklusionsprobleme mit ihnen. Ich weiß, dass im Allgemeinen die Einschlussprobleme und die Konvertierung in eine eindeutige NFA beide PSPACE-vollständig sind. Ich frage mich, gibt es Unterklassen von NFA, für die diese effizient entschieden werden können? Insbesondere akzeptieren die NFAs, die ich betrachte, eine endliche Sprache, …
2
Ist dieser Schnittpunkt von DFAs korrekt?
Ich bin eine Konstruktion deterministischen endlichen Automaten für eine Sprache aller Strings (DFA) definiert über , deren Länge auch für die Anzahl der s ungerade ist . Ich habe jedes DFA separat erstellt und dann kombiniert:{0,1}{0,1}\{0,1\}111 Ist das angegebene Verfahren zum Kombinieren von DFAs korrekt? EDIT: Ursprünglich schrieb Union; tatsächlich …
1
Was ist eine gute Referenz, um mehr über Zustandsübergangssysteme zu erfahren?
Ich untersuche verschiedene Ansätze zur Definition von Berechnungen mit kontinuierlichen dynamischen Systemen. Ich habe versucht, eine schöne Einführung in die Theorie der "staatlichen Übergangssysteme" zu finden, habe dies aber nicht getan. Kennt jemand eine moderne Einführung in das Thema? Von besonderem Interesse wäre etwas, das sich mit Berechenbarkeit befasst.
1
Konvertieren einer kontextfreien Grammatik in einen PDA - ist meine Lösung korrekt?
Ich überprüfe meine Halbzeit und wollte dies posten, um zu sehen, ob jemand Fehler erkennen kann. Ich soll einen PDA machen, der diese CFG erkennt: SR→R1R1R1→0R∣1R∣εS→R1R1R1R→0R∣1R∣ε\qquad\begin{align} S &\to R1R1R1 \\ R &\to 0R \mid 1R \mid \varepsilon \end{align} Hier ist meine Lösung; Mir ist bewusst, dass ich vergessen habe, den …
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.