Als «formal-languages» getaggte Fragen

Fragen zu formalen Sprachen, Grammatiken und Automatentheorie


2
Single-Tape-Turing-Maschinen mit schreibgeschütztem Eingang erkennen nur reguläre Sprachen
Hier ist das Problem: Beweisen Sie, dass Single-Tape-Turing-Maschinen, die nicht auf den Teil des Bands schreiben können, der die Eingabezeichenfolge enthält, nur reguläre Sprachen erkennen. Meine Idee ist es zu beweisen, dass dieses spezielle TM einem DFA entspricht. Die Verwendung dieses TM zur Simulation von DFA ist sehr einfach. Wenn …

3
Die Bedeutung von Normalformen wie der Chomsky-Normalform für CFGs
Ich verstehe, dass kontextfreie Grammatiken verwendet werden können, um kontextfreie Sprachen darzustellen. Es kann Mehrdeutigkeiten geben. Wir haben auch Normalformen wie Chomsky und Greibach Normalform. Ich konnte das nicht verstehen. Warum sind sie in der Sprachtheorie wichtig? Alle Lehrbücher, auf die ich mich bezog, erzählten von diesen normalen Formen, sagten …

2
Wenn
Sagen Sie, L⊆{0}∗L⊆{0}∗L \subseteq \{0\}^* . Wie können wir dann beweisen, dassL∗L∗L^* regelmäßig ist? Wenn LLL regulär ist, dann ist natürlich auch L∗L∗L^* regulär. Wenn LLL endlich ist, dann ist es regulär und wieder ist L∗L∗L^* regulär. Ich habe auch bemerkt , dass für L={0p∣p is a prime}L={0p∣p is a …

7
Ist
Wenn regulär ist, folgt daraus, dass regulär ist?A 2A2A^2EINAA Mein Beweisversuch: Ja, für den Widerspruch wird angenommen, dass nicht regulär ist. Dann .A AAA 2 = A ⋅ AA2=A⋅AA^2 = A \cdot A Da die Verkettung von zwei nicht regulären Sprachen nicht regulär ist, kann nicht regulär sein. Dies widerspricht …

1
Gödelisierung in Turing Machine
Ich habe mir den Kurs "Gödelization in Theory of Computation" angeschaut. Ich konnte die Gödel-Nummerierungskonzepte verstehen, aber ich konnte nicht verstehen, wie wichtig sie für die Berechnungstheorie sind. Könnte jemand bitte auf einige gute Materialien hinweisen oder auf ihre Bedeutung hinweisen.

2
Schnittmenge und Vereinigung einer regulären und einer nicht regulären Sprache
Sei regulär, regulär, nicht regulär. Zeigen Sie, dass nicht regelmäßig ist, oder geben Sie ein Gegenbeispiel an.L1L1L_1L1∩L2L1∩L2L_1 \cap L_2L2L2L_2L1∪L2L1∪L2L_1 \cup L_2 Ich habe versucht: Schauen Sie sich . Dieser ist regelmäßig. Ich kann dafür einen endlichen Automaten konstruieren: ist regulär, ist regulär, also entferne alle Pfade (endliche Menge) für aus …

2
Benötigt die Sprache regulärer Ausdrücke Push-Down-Automaten, um sie zu analysieren?
Ich möchte einen von einem Benutzer eingegebenen regulären Ausdruck in einen NFA konvertieren, damit ich den NFA dann zu Übereinstimmungszwecken für eine Zeichenfolge ausführen kann. Was ist die minimale Maschine, die verwendet werden kann, um reguläre Ausdrücke zu analysieren? Ich gehe davon aus, dass es sich um einen Push-Down-Automaten handeln …

4
Operationen, bei denen die Klasse der unentscheidbaren Sprachen nicht geschlossen ist
Gibt es unentscheidbare Sprachen, deren Vereinigung / Schnittmenge / verkettete Sprache entscheidbar ist? Was ist die physikalische Interpretation eines solchen Beispiels, da im Allgemeinen nicht entscheidbare Sprachen unter diesen Operationen nicht geschlossen werden? Was können wir über die Schließung von Kleene sagen? Haben wir auch Beispiele dafür? Dh kann der …

2
Sind alle kontextfreien und regulären Sprachen effizient bestimmbar?
Ich bin auf diese Abbildung gestoßen, die zeigt, dass kontextfreie und reguläre Sprachen (richtige) Teilmengen effizienter Probleme sind (angeblich ). Ich verstehe vollkommen, dass effiziente Probleme eine Teilmenge aller entscheidbaren Probleme sind, weil wir sie lösen können, aber es kann sehr lange dauern.PP\mathrm{P} Warum können alle kontextfreien und regulären Sprachen …

2
Wie komplex ist das Leereproblem bei 2-Wege-DFAs?
Ich frage mich, wie zeitlich komplex es ist, die Leere für 2-Wege-DFAs zu bestimmen. Das heißt, endliche Automaten, die sich auf ihrem schreibgeschützten Eingabeband rückwärts bewegen können. Laut Wikipedia entsprechen sie DFAs, obwohl die äquivalenten DFA möglicherweise exponentiell größer sind. Ich habe staatliche Komplexität für ihre Komplemente und Schnittpunkte gefunden, …

1
Man beweise, dass das Komplement von
Ich möchte beweisen, dass das Komplement von ist bei Verwendung von Schließungseigenschaften nicht regulär.{ 0n1n∣ n ≥0 }{0n1n∣n≥0}}\{0^n1^n \mid n \geq{} 0\} Ich verstehe, dass das Pump-Lemma verwendet werden kann, um zu beweisen, dass ist keine reguläre Sprache. Ich verstehe auch, dass reguläre Sprachen unter Komplementoperation geschlossen sind. Bedeutet dies …


3
Warum werden reguläre Ausdrücke mit Vereinigungs-, Verkettungs- und Sternoperationen definiert?
Ein regulärer Ausdruck wird rekursiv definiert als für einige ein & egr ; & Sgr; ist ein regulärer Ausdruck,aaaa∈Σa∈Σa \in \Sigma ist ein regulärer Ausdruck,εε\varepsilon ist ein regulärer Ausdruck,∅∅\emptyset wobei R 1 und R 2 reguläre Ausdrücke sind, ist ein regulärer Ausdruck,(R1∪R2)(R1∪R2)(R_1 \cup R_2)R1R1R_1R2R2R_2 wobei R 1 und R 2 …


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.