Als «formal-languages» getaggte Fragen

Fragen zu formalen Sprachen, Grammatiken und Automatentheorie

2
Beweis der Nichtregelmäßigkeit, basierend auf der Kolmogorov-Komplexität
Im Unterricht zeigte uns unser Professor drei Methoden zum Nachweis der Nichtregelmäßigkeit: Myhill-Nerode-Theorem Pumping Lemma für reguläre Sprachen Beweis der Nichtregelmäßigkeit, basierend auf der Kolmogorov-Komplexität Jetzt habe ich die ersten beiden, Myhill-Nerode-Theorem und Pumping-Lemma, gut verstanden und konnte auch die Übungen zu den ersten beiden Methoden machen. Aber den dritten …
1
Kann es ein kontextsensitives Pump-Lemma geben?
Es ist bekannt, dass eine "Pump" -Eigenschaft (Wörter einer bestimmten Länge implizieren das Vorhandensein von Schleifen im sprachdefinierenden Mechanismus) für reguläre und kontextfreie Sprachen und einige weitere (normalerweise verwendet, um die Zugehörigkeit einer Sprache zu einer bestimmten Klasse zu widerlegen) existiert ). In der Diskussion um diese Frage deutet Daisys …
4
Wenn
Wir haben zwei Sprachen: L1,L2L1,L2L_1,L_2 . Wir wissen, dass L1L2L1L2L_1L_2 eine reguläre Sprache ist. Meine Frage ist also, ob L2L1L2L1L_2L_1 eine reguläre Sprache ist. Ich versuche einen Weg zu finden, es zu beweisen ... Ich kann natürlich nicht davon ausgehen, dass L1,L2L1,L2L_1,L_2 regulär sind ... Also suche ich nach einem …
1
Welche Beziehung besteht zwischen Problemen und Sprachen?
Ich möchte genau fragen, in welchem ​​Verhältnis Probleme und Sprachen stehen. Wir wissen, dass die Menge aller Sprachen unzählig ist. Sind die Probleme auch unzählig? Kann jedes Problem durch eine Sprache definiert werden? Kann eine Sprache mehr als ein Problem lösen und umgekehrt? Gibt es eine Eins-zu-Eins-Entsprechung zwischen Problem und …
2
Zählen der Anzahl der von einer azyklischen NFA akzeptierten Wörter
Sei eine azyklische NFA.MMM Da azyklisch ist, ist endlich.L ( M )MMML(M)L(M)L(M) Können wir berechnenin Polynomzeit?|L(M)||L(M)||L(M)| Wenn nicht, können wir es annähern? Beachten Sie, dass die Anzahl der Wörter nicht mit der Anzahl der akzeptierenden Pfade in , was leicht berechenbar ist.MMM Lassen Sie mich einen offensichtlichen Ansatz erwähnen, der …
1
Sind DCFLs unter Umkehrung geschlossen?
Nach diesem Diagramm werden DCFLs unter Umkehrung geschlossen. Ich bin jedoch nicht davon überzeugt, dass der intuitive Beweis (Umkehren der Pfeile der steuernden Finite-State-Maschine und Umschalten der Pushs und Pops) davon abhängt, dass bei der Auswahl des Nullübergangs aus dem Ausgangszustand (seit dem neuer Anfangszustand würde einen Nullübergang zu allen …
1
Ist das Universumsproblem für Ein-Zähler-Automaten mit eingeschränkter Alphabetgröße unentscheidbar?
Betrachten Sie das folgende Universumsproblem . Das Universumsproblem. Entscheiden Sie bei einer endlichen Menge für eine Sprachklasse und einem Automaten, der die Sprache akzeptiert , ob .ΣΣ\SigmaLLLL=Σ∗L=Σ∗L=\Sigma^* In [1] wird angegeben und bewiesen, dass das Universumsproblem für eine bestimmte Klasse von Ein-Zähler-Automaten unentscheidbar ist. Dieses Ergebnis folgt dann für die …
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.