Computerwissenschaften formal-grammars

1

Sprachtheoretischer Vergleich von LL- und LR-Grammatiken

Die Leute sagen oft, dass LR (k) -Parser leistungsfähiger sind als LL (k) -Parser. Diese Aussagen sind die meiste Zeit vage; Sollten wir insbesondere die Klassen für ein festes oder die Vereinigung über alles ? Wie ist die Situation wirklich? Insbesondere interessiert mich, wie sich LL (*) einfügt.kkkkkk Soweit ich …

67 formal-languages formal-grammars parsers reference-question

2

Gibt es inhärent mehrdeutige und deterministische kontextfreie Sprachen?

Nennen wir eine kontextfreie Sprache genau dann deterministisch, wenn sie von einem deterministischen Push-Down-Automaten akzeptiert werden kann, und andernfalls nicht deterministisch. Nennen wir eine kontextfreie Sprache von Natur aus nur dann mehrdeutig, wenn alle kontextfreien Grammatiken, die die Sprache erzeugen, mehrdeutig und ansonsten eindeutig sind. Ein Beispiel für eine deterministische, …

36 formal-languages automata formal-grammars pushdown-automata

9

Welche Bedeutung haben kontextsensitive Sprachen (Typ 1)?

Zu sehen, dass in der Chomsky-Hierarchie Sprachen des Typs 3 von einer Zustandsmaschine ohne externen Speicher (dh einem endlichen Automaten), Typ 2 von einer Zustandsmaschine mit einem einzelnen Stapel (dh einem Pushdown-Automaten) und Typ 0 von erkannt werden können Wie passen Sprachen des Typs 1 in dieses Bild, wenn es …

34 formal-languages applied-theory computability automata formal-grammars

2

Worauf bezieht sich "Kontext" in "kontextfreier Grammatik"?

Es gibt viele Definitionen online darüber, was eine kontextfreie Grammatik ist, aber nichts, was ich finde, befriedigt meine Hauptprobleme: Von welchem Kontext ist es frei? Um das zu untersuchen, googelte ich "kontextsensitive Grammatik", konnte aber immer noch nicht herausfinden, worum es beim "Kontext" ging. Kann mir bitte jemand erklären, worauf …

30 terminology context-free formal-grammars

3

Was ist im Begriff kontextfreie Grammatik wirklich kontextfrei gemeint?

Ich habe eine Weile Compiler studiert und gesucht, was unter "Kontext" in der Grammatik zu verstehen ist und was es bedeutet, dass die Grammatik "kontextfrei" ist, aber ohne Ergebnis. Kann mir jemand dabei helfen?

29 terminology context-free formal-grammars

6

Erstellen von Kombinationen aus einer Reihe von Paaren ohne Wiederholung von Elementen

Ich habe eine Reihe von Paaren. Jedes Paar hat die Form (x, y), sodass x, y zu ganzen Zahlen aus dem Bereich gehören [0,n). Wenn also n 4 ist, dann habe ich die folgenden Paare: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Ich habe schon die Paare. Jetzt muss ich eine …

28 algorithms graphics data-structures computational-geometry operating-systems process-scheduling algorithms sorting database-theory relational-algebra finite-model-theory logic automata linear-temporal-logic buchi-automata complexity-theory np-complete decision-problem machine-learning algorithms pattern-recognition logic formal-languages formal-grammars context-free

2

Wie kann man beweisen, dass eine Sprache kontextfrei ist?

Es gibt viele Techniken , um zu beweisen , dass eine Sprache ist nicht kontextfrei, aber wie ich beweisen , dass eine Sprache ist kontextfrei? Welche Techniken gibt es, um dies zu beweisen? Offensichtlich besteht eine Möglichkeit darin, eine kontextfreie Grammatik für die Sprache zu präsentieren. Gibt es systematische Techniken, …

26 formal-languages context-free formal-grammars proof-techniques reference-question

4

Wie kann man beweisen, dass eine Grammatik eindeutig ist?

Mein Problem ist, wie kann ich beweisen, dass eine Grammatik eindeutig ist? Ich habe die folgende Grammatik: S→ s t a t e m e n t | , wenn e x p r e s s i o n dann S∣if expression then S else SS→statement∣if expression then S∣if …

25 context-free formal-grammars proof-techniques ambiguity

1

Gibt es einen nicht-allgemeinen CFG-Parsing-Algorithmus, der EPAL erkennt?

EPAL, die Sprache der geraden Palindrome, wird als die Sprache definiert, die durch die folgende eindeutige kontextfreie Grammatik erzeugt wird: S→aaS→aaS \rightarrow a a S→bbS→bbS \rightarrow b b S→aSaS→aSaS \rightarrow a S a S→bSbS→bSbS \rightarrow b S b EPAL ist der Fluch vieler Parsing-Algorithmen: Ich habe noch keinen Parsing-Algorithmus für …

23 formal-languages formal-grammars parsers

1

Wie kann man zeigen, dass L = L (G)?

Das Spezifizieren von formalen Sprachen durch die Angabe formaler Grammatiken ist eine häufige Aufgabe: Wir brauchen Grammatiken, um Sprachen nicht nur zu beschreiben, sondern auch zu analysieren oder sogar Wissenschaft zu betreiben . In allen Fällen ist es wichtig, dass die vorliegende Grammatik korrekt ist, dh genau die gewünschten Wörter …

22 formal-languages formal-grammars proof-techniques reference-question

4

Gibt es andere Möglichkeiten, formale Sprachen als Grammatiken zu beschreiben?

Diese Frage wurde von Theoretical Computer Science Stack Exchange migriert, da sie über Computer Science Stack Exchange beantwortet werden kann. Vor 7 Jahren migriert . Ich suche nach mathematischen Theorien, die sich mit der Beschreibung formaler Sprachen (Mengen von Zeichenfolgen) im Allgemeinen befassen und nicht nur mit Grammatikhierarchien.

22 formal-languages formal-grammars

4

Warum ist die Linksrekursion schlecht?

Diese Frage wurde von Theoretical Computer Science Stack Exchange migriert, da sie über Computer Science Stack Exchange beantwortet werden kann. Vor 6 Jahren migriert . Warum sollte im Compiler-Design die Linksrekursion in Grammatiken beseitigt werden? Ich lese, dass es daran liegt, dass es eine unendliche Rekursion verursachen kann, aber gilt …

20 formal-grammars compilers left-recursion

1

Ist die Sprachgleichheit für lineare kontextfreie Grammatiken entscheidbar?

Betrachten wir zwei kontextfreie Grammatiken und und stellen Sie die folgende Frage: Ist , sind die beiden Grammatiken äquivalent?G 2 L ( G 1 ) = L ( G 2 )G1G1G_1G2G2G_2L ( G1) = L ( G2)L(G1)=L(G2)L(G_1) = L(G_2) Im Allgemeinen ist dieses Problem nicht zu entscheiden. Wenn jedoch sowohl …

19 formal-languages context-free formal-grammars

1

Wie kann ich die Turing-Maschine der erkannten Sprache in eine uneingeschränkte Grammatik umwandeln ?

Laut diesem Wikipedia-Artikel entsprechen uneingeschränkte Grammatiken Turing-Maschinen. Der Artikel stellt fest, dass ich jede Turing-Maschine in eine uneingeschränkte Grammatik umwandeln kann, es wird jedoch nur gezeigt, wie man eine Grammatik in eine Turing-Maschine umwandelt. Wie mache ich das und wandle die Turingmaschine die erkannte Sprache in eine uneingeschränkte Grammatik um? …

19 formal-grammars turing-machines simulation

2

Kann es in einer kontextfreien Grammatik "tote Zustände" geben?

Kann eine kontextfreie Grammatik "tote Zustände" von einem Automaten enthalten, wie z G = ( { a , b , c } , { A , B , C} , { A → a B , B → b , B → C, C→ c C} , A )?G=({ein,b,c},{EIN,B,C},{EIN→einB,B→b,B→C,C→cC},EIN)?G = …

18 context-free automata formal-grammars

Als «formal-grammars» getaggte Fragen