Als «formal-languages» getaggte Fragen

Fragen zu formalen Sprachen, Grammatiken und Automatentheorie

2
Kleene Sternoperation auf der leeren Sprache
In meinem Lehrbuch heißt es: wobei eine leere Sprache ist.∅∅∗={ϵ}∅∗={ϵ}\emptyset^*=\{\epsilon\}∅∅\emptyset Wir wissen jedoch, dass , wobei eine beliebige Sprache ist.LL⋅∅=∅L⋅∅=∅L \cdot \emptyset = \emptysetLLL Ich kann dieses Konzept nicht intuitiv erfassen, da die Kleene-Stern-Operation darauf hinweist, dass .∅∗=∅0∪∅1∪∅2∪⋯∅∗=∅0∪∅1∪∅2∪⋯\emptyset^*=\emptyset^0 \cup \emptyset^1 \cup \emptyset^2 \cup \cdots Warum ist nicht gleich ? ∅∅∗∅∗\emptyset^*∅∅\emptyset
3
Unendliche Sprache vs. endliche Sprache
Mir ist nicht klar, wie die Ausdrücke "unendliche" Sprache oder "endliche" Sprache in der Computertheorie verwendet werden. Ich denke , die Wurzel des Übels ist , dass eine Sprache wie L={ab}∗L={ab}∗L=\{ab\}^* ist unendlich in dem Sinne , dass es eine unendliche erzeugen kann (aber zählbare) Anzahl der Saiten. Dennoch kann …
2
Entscheidbare nicht kontextsensitive Sprachen
Es ist fraglich, ob die meisten Sprachen, die zur Beschreibung alltäglicher Probleme erstellt wurden, kontextsensitiv sind. Andererseits ist es möglich und nicht schwer, einige Sprachen zu finden, die nicht rekursiv oder sogar nicht rekursiv aufzählbar sind. Zwischen diesen beiden Typen befinden sich die rekursiven nicht kontextsensitiven Sprachen. Wikipedia gibt ein …
2
Was ist der Ursprung von λ für eine leere Zeichenkette?
Normalerweise benutze ich das Symbol für eine leere Zeichenkette (leeres Wort oder leere Zeichenkette). Aber ich weiß, dass manche Leute λ anstelle von ε verwenden .εε\varepsilonλλ\lambdaεε\varepsilon Ich denke, leitet sich vom Wort "Leer" ab. Ich weiß jedoch nicht, woher λ stammt .εε\varepsilonλλ\lambda In der Automatentheorie gibt es den Epsilon-Übergang von …
2
Was ist ein IELR (1) -Parser?
Ich versuche mir den Umgang mit Bisons beizubringen. Die Manpage Bison (1) sagt über Bison: Generieren Sie einen deterministischen LR-Parser oder einen generalisierten LR-Parser (GLR-Parser) unter Verwendung von LALR- (1), IELR- (1) oder kanonischen LR- (1) Parsertabellen. Was ist ein IELR-Parser? Alle relevanten Artikel, die ich im Internet gefunden habe, …
1
Wann hat
Gemäß dem Wikipedia-Artikel bedeutet das L in "Abtastung von links nach rechts" und das "R" bedeutet "Ableitung ganz rechts". In Knuths Originalarbeit über L R ( k ) -Grammatiken definiert er L R ( k ) (auf Seite 610) als eine Sprache, die "mit gebundenem k von links nach rechts …
2
Sind die Vorher- und Nachher-Sätze für kontextfreie Grammatiken immer kontextfrei?
Sei GGG eine kontextfreie Grammatik. Eine Folge von Anschlüssen und Nichtanschlüssen von GGG wird als sententiale Form von GGG wenn Sie sie erhalten können, indem Sie Produktionen von GGG null oder mehrmals auf das Startsymbol von anwenden SSS. Sei SF(G)SF⁡(G)\operatorname{SF}(G) die Menge der Sententialformen von GGG . Sei α∈SF(G)α∈SF⁡(G)\alpha \in …
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.