Als «fl.formal-languages» getaggte Fragen

formale Sprachen, Grammatiken, Automatentheorie


2
Regular gegen TC0
Reg⊆NC1Reg⊆NC1\mathsf{Reg} \subseteq \mathsf{NC^1}RegReg\mathsf{Reg}R e g ≤ T C 0 N C 1 ≤ T C 0TC0⊈RegTC0⊈Reg\mathsf{TC^0} \not\subseteq \mathsf{Reg}Reg⊆TC0Reg⊆TC0\mathsf{Reg} \subseteq \mathsf{TC^0}NC1⊈TC0NC1⊈TC0\mathsf{NC^1}\not\subseteq\mathsf{TC^0} nicht kennen, kennen wir auch .Reg⊈TC0Reg⊈TC0\mathsf{Reg} \not\subseteq \mathsf{TC^0} Gibt es einen Kandidaten für ein Problem in RegReg\mathsf{Reg} , das sich nicht in ?TC0TC0\mathsf{TC^0} Gibt es ein bedingtes Ergebnis, das impliziert, …


1
Kann eine Zwei-Zähler-Maschine
Kann eine Standardmaschine mit zwei Zählern ( ) die folgenden Anweisungen ausführen:c1,c2c1,c2c_1,c_2 1) ADD 1 to c_i, GOTO label_j 2) IF c_i = 0 GOTO label_j, OTHERWISE SUB 1 to c_i and GOTO label_k 3) GOTO label_j 4) HALT and ACCEPT|REJECT Entscheide dich für folgende Sprache: L={n2∣n≥1}L={n2∣n≥1}L = \{ n^2 …

4
Ist Eta-Äquivalenz für Funktionen mit Haskells seq-Operation kompatibel?
Lemma: Unter der Annahme einer Eta-Äquivalenz haben wir das (\x -> ⊥) = ⊥ :: A -> B. Beweis: ⊥ = (\x -> ⊥ x)durch Eta-Äquivalenz und (\x -> ⊥ x) = (\x -> ⊥)durch Reduktion unter dem Lambda. Der Haskell 2010-Bericht, Abschnitt 6.2, spezifiziert die seqFunktion durch zwei Gleichungen: …

3
Die Bedeutung der Zustandskomplexität in Automaten und regulären Sprachen?
Ich lese " Verkettung regulärer Sprachen und Beschreibungskomplexität " von Galina Jiraskova, 2009, über die Zustandskomplexität infolge der Verkettung zweier regulärer Sprachen (von Galina Jiraskova), kann aber die praktischen Auswirkungen der Zustandskomplexität nicht verstehen . Der erste triviale Gedanke, der mir auffiel, war, dass eine höhere Komplexität mehr Zeit und …

1
Ausreichende Voraussetzungen für die Ordnungsmäßigkeit einer kontextfreien Sprache
Es wäre schön, eine Liste von Bedingungen zu sammeln, die implizieren, dass eine kontextfreie Sprache L regulär ist, dh Bedingungen der Form: "Wenn ein gegebenes CFG / PDA die Eigenschaft P hat, dann sind seine Sprachen regulär". Die Eigenschaft P muss die CFGs, die reguläre Sprachen erzeugen, nicht charakterisieren. Außerdem …


2
Effizienter Algorithmus zum Aktualisieren eines Analysebaums
Angenommen, ich habe einen großen Codeblock, den ich bereits lexiert und analysiert habe. Angenommen, nur ein Zeichen ändert sich. Ich möchte mein Parsing aktualisieren, aber da die Änderung im Vergleich zum Ganzen sehr gering ist, möchte ich wissen, ob es möglich ist, das Ganze nicht noch einmal zu analysieren, sondern …


1
Ist {ww '| HamDist (w, w ')> 1} kontextfrei?
Nach der letzten Frage zu lesen : „Ist das Komplement {www∣...}{www∣...}\{ www \mid ...\} Kontextfrei?“ ; Ich erinnerte mich an ein ähnliches Problem, das ich nicht widerlegen konnte: Ist L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L = \{ ww' \mid w,w' \in \{0,1\}^* \land |w|=|w'| \land HamDist(w,w')>1 \} kontextfrei? Hier müssen sich die beiden Saiten in …

1
Abstand zwischen regulären Sprachen
Ich mag einen Begriff der „Nähe“ zwischen zwei regulären Sprachen endlicher Worte definieren (und / oder unendlichen Worten Σ & ohgr; ). Die Grundidee ist, dass zwei Sprachen nahe beieinander sein sollen, wenn sie sich nicht durch viele Wörter unterscheiden. Wir könnten auch die Bearbeitungsentfernung in irgendeiner Weise verwenden ... …

4
(N) DFA mit den gleichen anfänglichen / akzeptierenden Zuständen
Was ist über die Klasse der Sprachen bekannt, die von endlichen Automaten erkannt werden, die denselben Anfangszustand und denselben Akzeptanzzustand haben? Dies ist eine richtige Teilmenge der regulären Sprachen (da jede dieser Sprachen die leere Zeichenfolge enthält), aber wie schwach ist sie? Gibt es eine einfache algebraische Charakterisierung? Das Gleiche …



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.