Ein deterministischer endlicher Automat (DFA) ist ein Zustandsmaschinenmodell, das alle und nur reguläre Sprachen akzeptieren kann. DFAs können (und werden in der Regel) so definiert, dass jeder Status einen Übergang für alle Elemente des Eingabealphabets bereitstellen muss. Mit anderen Worten, die...
In Anbetracht Sprachen und , lassen Sie uns sagen , dass ihre Verkettung ist eindeutig , wenn für alle Wörter , gibt es genau eine Zerlegung mit und und mehrdeutig sonst. (Ich weiß nicht, ob es einen etablierten Begriff für diese Eigenschaft gibt - schwer zu finden!) Als triviales Beispiel ist die...
Dies ist eine Folgefrage von diesem . In einer früheren Frage zu exotischen Zustandsautomaten haben sich Alex ten Brink und Raphael mit den Rechenfähigkeiten einer besonderen Art von Zustandsautomaten befasst: Min-Heap-Automaten. Sie konnten zeigen, dass die Menge der von solchen Maschinen...
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...
Grundsätzlich erfüllt L die Bedingungen des Pump-Lemmas für CFLs, ist jedoch keine CFL (dies ist gemäß der Definition des Lemmas
Es sei . Eine Sprache gesagt wird die „anti-Palindrom“ Eigenschaft hat , wenn für jede Saite dass ein Palindrom ist, . Außerdem ist für jede Zeichenfolge , die kein Palindrom ist, entweder oder , aber nicht beide (!) (Exklusive oder).L ⊆ Σ * w W ∉ L u u ∈ L R e V e r s e ( u ) ∈ LΣ = { 0 , 1...
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...
Dies ist eine Folgefrage von diesem . In einer früheren Frage zu exotischen Zustandsautomaten haben sich Alex ten Brink und Raphael mit den Rechenfähigkeiten einer besonderen Art von Zustandsautomaten befasst: Min-Heap-Automaten. Sie konnten zeigen, dass die Menge der von solchen Maschinen...
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...
Gibt es eine algebraische Charakterisierung der Anzahl der Wörter einer bestimmten Länge in einer regulären Sprache? Wikipedia gibt ein etwas ungenaues Ergebnis an: Für jede reguläre Sprache existieren Konstanten und Polynome so dass für jedes die Anzahl von gilt Wörter der Länge in erfüllen die...
Gegeben ein Alphabet Σ = { a , b }Σ={ein,b}\Sigma = \{ a,b \} , wie viele verschiedene reguläre Sprachen gibt es , dass durch ein akzeptiert werden kann nnn -state nicht-deterministischen endlichen Automaten? Betrachten wir als Beispiel n=3n=3n=3 . Wir haben dann 2182182^{18} verschiedene...
Definieren Sie in einer gegebenen Sprache LLL die Längenmenge von LLL als die Menge der Wortlängen in LLL : L S ( L ) = { | u | ∣ u ∈ L }LS(L)={|u|∣u∈L}\mathrm{LS}(L) = \{|u| \mid u \in L \} Welche Mengen von Ganzzahlen können die Längenmengen einer regulären Sprache
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?...
Ich fragte mich, wann Sprachen, die die gleiche Anzahl von Instanzen von zwei Teilzeichenfolgen enthielten, regelmäßig sein würden. Ich weiß, dass die Sprache mit der gleichen Anzahl von Einsen und Nullen nicht regulär ist, sondern eine Sprache wie , wobei L = { w ∣ Anzahl der Instanzen der...
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 übersetzbar ist"...
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...
Viele "berühmte" unentscheidbare Probleme sind dennoch zumindest halbentscheidbar, und ihre Ergänzung ist unentscheidbar. Ein Beispiel kann vor allem das Stopp-Problem und seine Ergänzung sein. Kann mir jemand ein Beispiel geben, in dem sowohl ein Problem als auch seine Ergänzung unentscheidbar und...
Gibt es eine natürliche oder bemerkenswerte Möglichkeit, mathematische Gruppen und formale CS- Sprachen oder ein anderes zentrales CS-Konzept, z. B. Turing-Maschinen , in Beziehung zu setzen oder zu verknüpfen ? Ich suche Referenzen / Bewerbungen. Beachten Sie jedoch, dass mir die Verbindung...
Ich suche einen effizienten Algorithmus für das folgende Problem oder einen Beweis für die NP-Härte. Sei ΣΣ\Sigma eine Menge und A ⊆ P ( Σ )A⊆P(Σ)A\subseteq\mathcal{P}(\Sigma) eine Menge von Teilmengen von ΣΣ\Sigma . Finden einer Sequenz w ∈ & Sigma; *w∈Σ∗w\in \Sigma^* der geringsten Länge , so...
Σ = { a , b } L w ∈ Σ * w - 1 L : = { v | w v ∈ L }LLL ist eine reguläre Sprache über dem Alphabet . Der linke Quotient von bezüglich ist die Sprache Σ={a,b}Σ={a,b}\Sigma = \{a,b\}LLLw∈Σ∗w∈Σ∗w \in \Sigma^*w−1L:={v∣wv∈L}w−1L:={v∣wv∈L}w^{-1} L := \{v \mid wv \in L\} Wie kann ich beweisen, dass...