Als «automata-theory» getaggte Fragen

Automatentheorie, einschließlich abstrakter Maschinen, Grammatiken, Parsing, grammatikalischer Inferenz, Wandler und Finite-State-Techniken

1
Gibt es ein Buch / eine Umfrage, in dem / der Sprachklassenhierarchien, Abschlusseigenschaften usw
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 Fragebogen kennt, der die Eigenschaften dieser Sprachen beschreibt. Das meiste, was ich mir anschaue, ist …
2
Warum wird der Zustand eines FSM traditionell als
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 zum ersten Mal auf EE.sx gefragt , aber dann …
2
Ausdruckskraft von Büchi vs CTL (*)
In welchem Verhältnis steht die Ausdruckskraft von LTL , Büchi / QPTL , CTL und CTL * ? Können Sie einige Hinweise geben, die möglichst viele dieser zeitlichen Logiken abdecken (insbesondere zwischen Linear- und Verzweigungszeit)? Ein Venn-Diagramm mit diesen zeitlichen Logiken und einigen praktischen Eigenschaften als Beispiele wäre perfekt. Zum …
2
Können Multipebble-Automaten alle deterministischen kontextsensitiven Sprachen bestimmen?
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 der Berechnung kann ein MPA erkennen, …
3
Eine „einfache“ Sprache außerhalb von
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 sein. Zum Beispiel weiß ich, dass unentscheidbare …
3
Gibt es nicht konstruktive Existenznachweise für „kleine“ Turingmaschinen / NFAs?
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 Sprache und korrigieren ein Rechenmodell (NFAs / Turing …
1
Können Einwegautomaten mit Einzählern einige unäre, nicht reguläre Sprachen erkennen?
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 unäre Sprachen.D T.ichM.E.( 2O ( n ))DTIME(2O(n)) DTIME(2^{O(n)}) Können 1ACAs einige …
1
Welche Algorithmen gibt es für die Erstellung eines DFA, der die von einem bestimmten regulären Ausdruck beschriebene Sprache erkennt?
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 einen äquivalenten DFA ( optional Minimierung des DFA). Ich hörte …
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.