Als «automata-theory» getaggte Fragen

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

4
DFA-Schnittmenge im subquadratischen Raum?
Der Schnittpunkt zweier (minimaler) DFAs mit n Zuständen kann unter Verwendung von O (n 2 ) Zeit und Raum berechnet werden . Dies ist im Allgemeinen optimal, da der resultierende (minimale) DFA n 2 Zustände haben kann. Wenn der resultierende minimale DFA jedoch z-Zustände hat, wobei z = O (n), …


1
Entscheidende Leere der Überschneidung regulärer Sprachen in subquadratischer Zeit
Es sei zwei reguläre Sprachen, die von den NFAs als Eingabe gegeben werden.L1,L2L1,L2L_1,L_2M1,M2M1,M2M_1,M_2 Angenommen, wir möchten überprüfen, ob . Dies kann natürlich durch einen quadratischen Algorithmus geschehen, der den Produktautomaten von berechnet , aber ich habe mich gefragt, ob etwas Effizienteres bekannt ist.L1∩L2≠∅L1∩L2≠∅L_1\cap L_2\neq \emptysetM1,M2M1,M2M_1,M_2 Gibt es einen -Algorithmus, um …


1
Sprachen, die von DFAs mit Polynomgröße erkannt werden
Für ein festes endliches Alphabet , eine formale Sprache über ist regelmäßig , wenn es einen gibt deterministische endliche Automaten (DFA) über , die akzeptiert genau .L Σ Σ LΣΣ\SigmaLLLΣΣ\SigmaΣΣ\SigmaLLL Ich interessiere mich für Sprachen, die "fast" regelmäßig sind, in dem Sinne, dass sie von Automatenfamilien erkannt werden können, deren …

2
Testen Sie, ob Buchstaben so geplant werden können, dass ein Wort in einer normalen Sprache gefunden wird
Ich fixiere eine reguläre Sprache LLL auf einem Alphabet ΣΣ\Sigma und betrachte das folgende Problem, das ich als Briefplanung für LLL . Informell gibt die Eingabe mir nnn Buchstaben und ein Intervall für jeden Buchstaben (dh eine minimale und maximale Position), und mein Ziel ist es, jeden Buchstaben in seinem …


4
Beweis des Pumplemmas für kontextfreie Sprachen mit Pushdown-Automaten
Das pumpfähige Lemma für reguläre Sprachen kann durch Betrachtung eines Automaten mit endlichen Zuständen bewiesen werden, der die untersuchte Sprache erkennt, eine Zeichenfolge mit einer Länge auswählt, die größer als die Anzahl der Zustände ist, und das Taubenlochprinzip anwendet. Das pumpfähige Lemma für kontextfreie Sprachen (sowie Ogdens Lemma, das etwas …

3
Wenn eine abstrakte Maschine sich selbst simulieren kann, macht das Turing dann vollständig?
In Programmiersprachen ist es beispielsweise üblich, einen X-in-X-Compiler / -Interpreter zu schreiben, aber auf einer allgemeineren Ebene können sich viele bekannte Turing-complete-Systeme auf beeindruckende Weise selbst simulieren (z. B. Simulation von Conways Spiel des Lebens in Conways Spiel des Lebens) ). Meine Frage lautet also: Reicht es aus, wenn ein …


1
Vermutung über zwei Zählerautomaten
Ich möchte folgende Vermutung beweisen (oder widerlegen): Vermutung : Ein Zwei-Zähler-Automat (2CA) kann die folgende Sprache nicht bestimmen: n }L = { n ∣L={n∣L = \{ n \mid der ternären und der binären Darstellung von hat sowohl gerade als auch ungerade Längennn}}\} Ein 2CA kann leicht überprüfen, ob die Binärdarstellung …

3
Ist das Konzept der Turingmaschine von Automaten abgeleitet?
Ich hatte erst kürzlich eine Diskussion über Turingmaschinen, als ich gefragt wurde: "Ist die Turingmaschine von Automaten abgeleitet, oder ist es umgekehrt?" Ich wusste die Antwort natürlich nicht, aber ich bin neugierig, es herauszufinden. Die Turing-Maschine ist im Grunde eine etwas ausgefeiltere Version eines Push-Down-Automaten. Ich würde davon ausgehen, dass …


2
Status der Cerny-Vermutung?
Ein DFA verfügt über ein Synchronisationswort, wenn eine Zeichenfolge vorhanden ist, die einen beliebigen Status des DFA an einen einzelnen Status sendet. In "The Cerny Conjecture for Aperiodic Automata" von AN Trahtman (Diskrete Mathematik und Theoretische Informatik, Band 9: 2, 2007, S. 3-10) schrieb er: 1964 vermutete Cerny, dass jeder …

4
Wo fallen die meisten REGEX Implementierungen von der Komplexität Skala?
Die meisten modernen Implementierungen von regulären Ausdrücken, wie die in Perl oder .NET, gehen mit Funktionen wie Lookahead und Lookbehind über die klassische computerwissenschaftliche Definition von REGEXes hinaus. Lassen diese Funktionen Anweisungen analysieren, die mit einem endlichen Nicht-Pushdown-Automaten nicht beschrieben werden können? Wie viel näher an Turing abgeschlossen wird dies …

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.