Angenommen, man hat eine Sprache , aber man weiß nicht, welche Zeichenfolgen tatsächlich Teil der Sprache sind. Alles, was man hat, ist eine endliche Sicht auf die Sprache: eine endliche Menge von Strings , von denen bekannt ist, dass sie in der Sprache sind, und eine endliche Menge von Strings ,...
Ich mache derzeit einige formale Sprachrecherchen mit Sprachklassen über Regular, aber unter Context Free. Ich betrachte Dinge wie umkehrbar gebundene Multicounter-Maschinen, Single-Stack-Counter-Maschinen, deterministische CFLs usw. Ich frage mich, ob irgendjemand ein gutes Buch oder einen...
Inspiriert von dieser Frage bin ich neugierig auf Folgendes: Wie komplex ist es im schlimmsten Fall, zu überprüfen, ob ein bestimmter DFA dieselbe Sprache wie ein bestimmter regulärer Ausdruck akzeptiert? Ist das bekannt? Die Hoffnung wäre, dass dieses Problem in P liegt - dass es ein...
Ich suche ein Übersichtsblatt zu den wichtigen Konzepten im Bereich der Quantenautomaten. Ich habe Quantum Automata Theory - A Review von Hirvensalo gefunden, aber es klingt zu prägnant, um das Thema zu erfassen. Gibt es eine recht umfassende Umfrage zum Thema Quantum Automata? Können Sie mich auch...
Ein MPA (Multipebble-Automat) ist ein 2DFA (bidirektionaler deterministischer endlicher Automat), der eine beliebige Anzahl von Steinen verwenden kann (tatsächlich höchstens Steine auf einer gegebenen Eingabe w - die Eingabe wird auf das Band zwischen zwei Enden geschrieben -Markierungen als # w...
Während ich unterrichtete, wie FSMs unter Verwendung synchroner logischer Schaltungen implementiert werden, fiel mir ein faszinierender Zufall auf: Sowohl in der theoretischen CS-Welt als auch in der Welt der Elektrotechnik wird "Zustand" typischerweise als (und der Zustandsraum Q ) bezeichnet. Ich...
Kann jemand ein Beispiel für zwei äquivalente (die gleiche Sprache erkennende) nicht deterministische Minimalautomaten (NFA) nennen, die nicht isomorph
Ich suche eine Sprache L mit folgenden Eigenschaften: L sollte nicht kontextfrei sein. Ls Komplement sollte nicht kontextfrei sein. (Alles, was Sie in Lehrbüchern als Paradebeispiele für nicht kontextfreie Sprachen sehen, scheint diese zweite Anforderung nicht zu erfüllen.) L sollte nicht zu schwer...
Ist es möglich, einen Algorithmus zu konstruieren, der einen Pushdown-Automaten als Eingabe verwendet, zusammen mit dem Versprechen, dass die von diesem Automaten akzeptierte Sprache eine deterministische kontextfreie Sprache ist und einen deterministischen Pushdown-Automaten ausgibt, der genau die...
Einweg-Pushdown-Automaten (1APDA) können jede Sprache in (Alternation von Chandra, Kozen und Stockmeyer, 1981) . Durch Ersetzen eines Pushdown-Speichers eines 1APDA durch einen Zähler können wir einen Einweg-Wechselautomaten mit einem Zähler (1ACA) erhalten. Meine Frage bezieht sich auf 1ACAs für...
Alle meine Lehrbücher verwenden denselben Algorithmus zum Erstellen eines DFA mit einem regulären Ausdruck: Erstellen Sie zuerst einen NFA, der die Sprache des regulären Ausdrucks erkennt, und konvertieren Sie dann den NFA mithilfe der Teilmengenkonstruktion (auch als "Powerset" bezeichnet) in...
Ich suche nach einer allgemeinen Technik, die mir helfen kann, nicht nur zu beweisen, dass Buchi-Automaten ein aussagekräftigeres Modell als LTL sind, sondern dass die spezifische Formel in LTL ausgedrückt werden kann / nicht. Zum Beispiel kann " tritt zumindest an geraden Positionen auf" durch die...
Nachdem ich eine verwandte Frage über nichtkonstruktive Existenzbeweise von Algorithmen gelesen hatte , fragte ich mich, ob es Methoden gibt, um die Existenz von "kleinen" (etwa zustandsbezogenen) Rechenmaschinen zu zeigen, ohne sie tatsächlich zu erstellen. Formal: Nehmen wir an, wir erhalten eine...
Diese Frage bezieht sich auf eine aktuelle Frage von Janoma . Hintergrund In Constraint - Programmierung, ein regelmäßiger globaler constraint ccc über einen Domain - DDD ist ein Paar (s,M)(s,M)(s, M) mit sss einem Tupel von Variablen (der Umfang) , und MMM ein DFA über die Domäne DDD . Eine...
Ein DFA oder NFA liest eine Eingabezeichenfolge mit einem einzelnen Kopf von links nach rechts durch. Es scheint natürlich, sich über Maschinen mit endlichen Zuständen zu wundern, die mehrere Köpfe haben , von denen sich jeder von links nach rechts durch die Eingabe bewegt, aber nicht unbedingt an...
Hallo zusammen, ich versuche gerade, ein solides Thema für eine Masterarbeit zu finden, das sich auf einen Zweig der Automatentheorie bezieht oder sich auf formale Sprachen bezieht. Ich versuche, einige gute Ideen für ein akzeptables Thema zu generieren, etwas Ehrgeiziges, aber gleichzeitig...
Die hier betrachteten Wandler sind jene, die Wikipedia Finite-State-Wandler nennt . Das Verhalten eines Wandlers , dh die von ihm berechnete Beziehung, wird geschrieben [ T ] : Ein Wort y ist eine Ausgabe für x iff x [ T ] y .T.TT[ T.]][T][T]yyyxxxx [ T.] yx[T]yx[T]y Frage: Ist das folgende Problem...
Ich versuche, eine Taxonomie von Algorithmen zur Umwandlung regulärer Ausdrücke in Automaten zu erstellen, um einige empirische Tests ihrer Komplexitätseigenschaften in bestimmten Bereichen durchzuführen. Mir sind einige der "größeren" Namen bekannt, z. Thompson "Regular Expression Search...
Problemstellung : Sei ein (möglicherweise nicht deterministischer) Pushdown-Automat und sei sein Eingabealphabet. Gibt es ein Wort st , das von akzeptiert wird ?M.M.MEINEIN\cal Aw ∈ A.∗w∈EIN∗w \in \cal A^*| w | ≤k|w|≤k|w| \leq kM.M.M Ist dieses Problem NP-vollständig? Wurde es untersucht? Gibt es...
Sei eine kontextfreie Sprache. Definieren Sie p p c ( L ) als den Pre- und Postfix-Abschluss von L , mit anderen Worten, p p c ( L ) enthält alle Präfixe und Postfixes von L und damit L selbst. Meine Frage: Wenn L kontextfrei ist und eine nicht mehrdeutige Grammatik hat, gilt das auch für p p c ( L...