Weiß jemand, ob es einen Algorithmus zum direkten Schreiben der kontextfreien Grammatik gibt, die einen bestimmten regulären Ausdruck
Problem (tl; dr) Wenn eine kontextfreie Grammatik , finden Sie eine Reihe von Zeichenfolgen, die mindestens einmal durch jede Produktion führen.GGGGGG Wie und wie schnell geht das? Hintergrund Ich arbeite an einem Compiler, dessen Parser mit einem ähnlichen Tool wie Yacc + Antlr implementiert ist....
Ich lese "Eine Einführung in formale Sprachen und Automaten" von Peter Linz und nach dem Lesen der ersten fünf Kapitel habe ich das folgende Problem mit einfachen und regelmäßigen (insbesondere rechtslinearen) Grammatiken, die einander sehr ähnlich sind. Welche Beziehung besteht zwischen diesen?...
Definieren FH(L)={x∈Σ∗:∃y∈Σ∗ with |x|=|y| such that xy∈L}FH(L)={x∈Σ∗:∃y∈Σ∗ with |x|=|y| such that xy∈L}FH(L) = \{x \in \Sigma^* : \exists y \in \Sigma^* \text{ with } |x| = |y| \text{ such that } xy \in L\}. Mit anderen Worten,FH(L)FH(L)FH(L) ist die Menge der ersten Hälften von Saiten gleicher...
Jemand fragte nach Beispielen für kontextfreie Sprachen mit nicht kontextfreien Ergänzungen . Die erste Antwort lautet: Die Sprache L.1= { w w ∣ w ∈ { a , b}}∗}}L.1={ww∣w∈{ein,b}}∗}}L_1= \{ww \mid w \in \{a,b\}^*\}ist nicht kontextfrei (wie mit dem Pump-Lemma gezeigt werden kann; siehe hier )....
Bitte beachten Sie, dass mir die Unentscheidbarkeit der Umwandlung von kontextfreier Grammatik in reguläre Grammatik bekannt ist. Aber gibt es angesichts der nicht einbettenden Eigenschaft der kontextfreien Eingabegrammatik einen Algorithmus, um sie direkt in reguläre Grammatik oder DFA...
Aus einem Kommentar ging eine interessante Frage hervor. Die Klasse der CFLs (die von PDAs anerkannten Sprachen) ist offensichtlich nicht unter Nichtdeterminismus geschlossen - was ich damit meine, ist, dass deterministische PDAs nicht gleichwertig mit nichtdeterministischen PDAs sind. Alle CFLs...
Ich überprüfe meine Halbzeit und wollte dies posten, um zu sehen, ob jemand Fehler erkennen kann. Ich soll einen PDA machen, der diese CFG erkennt: SR→R1R1R1→0R∣1R∣εS→R1R1R1R→0R∣1R∣ε\qquad\begin{align} S &\to R1R1R1 \\ R &\to 0R \mid 1R \mid \varepsilon \end{align} Hier ist meine Lösung; Mir ist...
Ich ging eine Frage durch, in der ich gebeten wurde, die inhärent mehrdeutige Sprache unter einer Reihe von Optionen auszuwählen. L.1= {einnbmcmdn|m , n ≥ 1 } ∪ {einnbncmdm|m,n≥1}L.1={einnbmcmdn|m,n≥1}}∪{einnbncmdm|m,n≥1}}L_1 = \{a^nb^mc^md^n \;|\; m,n \geq 1\}\cup \{a^nb^nc^md^m \;|\; m,n \geq 1\}...
Der erste Satz des Wikipedia-Artikels zu Parikhs Theorem lautet: "Parikhs Theorem in der theoretischen Informatik besagt, dass die Sprache nicht von einer regulären Sprache zu unterscheiden ist, wenn man nur die relative Anzahl der Vorkommen von Terminalsymbolen in einer kontextfreien Sprache ohne...