Als «context-free» getaggte Fragen

Fragen zu den Sprachen (äquivalent), die durch kontextfreie Grammatiken beschrieben oder von (nicht deterministischen) Pushdown-Automaten akzeptiert werden.

1
Konvertieren Sie PEG in BNF
Das Analysieren von Ausdrucksgrammatiken (PEGs) ist eindeutig und hat eine oberflächlich ähnliche Syntax wie BNF , enthält jedoch drei wichtige Unterschiede: Der bestellte Auswahloperator e1 / e2 / e3. Das und Prädikat &. Der Nicht-Operator !. Ich habe ein paar Fragen: Sind die von PEGs erkannten Sprachen alle kontextfrei? Wenn …
1
Kleinste Klasse von Automatenmodellen, deren entsprechende Sprachklasse CFL enthält und gegen (Dis-) Zulassen von Nichtdeterminismus im Modell geschlossen ist
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 sind jedoch entscheidbar, und in diesem Fall entspricht jedes deterministische …
2
Generieren einer Reihe von Zeichenfolgen mit minimaler Länge, die zusammen jede Produktion einer kontextfreien Sprache aufrufen
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 habe den größten Teil …
1
Ist die Syntax der C-Sprache vollständig durch CFGs definiert?
Ich denke, die Frage ist autark. Ist die Syntax der C-Sprache vollständig durch kontextfreie Grammatiken definiert, oder haben wir Sprachkonstrukte, für die im Verlauf des Parsens möglicherweise nicht kontextfreie Definitionen erforderlich sind? Ein Beispiel für ein Nicht-CFL-Konstrukt, das ich dachte, war die Deklaration von Variablen vor ihrer Verwendung. In Compilern …
1
beweisen, dass kein DPDA die Sprache von Palindromen mit gerader Länge akzeptiert
Wie beweisen Sie, dass die Sprache der gleichlangen Palindrome, dh L={wwR∣w∈{0,1}∗}L={wwR∣w∈{0,1}∗}L=\left\{ ww^R \mid w\in \left\lbrace 0,1 \right\}^* \right\}, kann von einem bestimmten Push-Down-Automaten nicht akzeptiert werden? Gibt es eine allgemeine Möglichkeit zu beweisen, dass eine kontextfreie Sprache von einem deterministischen PDA nicht akzeptiert werden kann? Ich meine vielleicht so etwas …
2
Inhärente Mehrdeutigkeit der Sprache
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\} andeinndand L2={anbmcm|m,n≥1}∪{anbncm|m,n≥1}L2={anbmcm|m,n≥1}∪{einnbncm|m,n≥1}}L_2 = \{a^nb^mc^m \;|\; m,n \geq 1\}\cup \{a^nb^nc^m \;|\; …
2
Invariante für verschachtelte Schleife im Matrix-Multiplikationsprogramm
Ich mache eine Abschlussarbeit über den Nachweis der Richtigkeit des Programms zum Multiplizieren von 2 Matrizen mit Hoare-Logik. Dazu muss ich die Invariante für die verschachtelte Schleife für dieses Programm generieren: for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + C(i,j); end end …
7 algorithms  loop-invariants  correctness-proof  formal-languages  regular-languages  pumping-lemma  logic  logic  programming-languages  lambda-calculus  term-rewriting  operational-semantics  complexity-theory  time-complexity  computability  proof-techniques  reductions  digital-preservation  distributed-systems  storage  algorithms  dynamic-programming  check-my-algorithm  reference-request  cryptography  quantum-computing  formal-languages  regular-languages  context-free  formal-grammars  algorithms  graphs  network-flow  algorithms  data-structures  randomized-algorithms  lists  computability  proof-techniques  undecidability  terminology  distributed-systems  parallel-computing  artificial-intelligence  heuristics  search-problem  algorithms  computational-geometry  algorithm-analysis  asymptotics  recurrence-relation  mathematical-analysis  master-theorem  algorithms  algorithm-analysis  runtime-analysis  computability  reductions  turing-machines  formal-languages  context-free 
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.