Die Frage steht so ziemlich im Titel. Gibt es überhaupt eine Zeit , wo einige Sprache kann durch eine minimale DFA mit akzeptiert werden n Staaten, sondern L R , die Umkehrung der L kann von einem DFA mit akzeptiert m Staaten, in denen m < n
Die Frage steht so ziemlich im Titel. Gibt es überhaupt eine Zeit , wo einige Sprache kann durch eine minimale DFA mit akzeptiert werden n Staaten, sondern L R , die Umkehrung der L kann von einem DFA mit akzeptiert m Staaten, in denen m < n
Ich weiß, dass Sprachen, die mit regulären Ausdrücken definiert werden können und die durch DFA / NFA (endliche Automaten) erkennbar sind, gleichwertig sind. Auch für die Sprache existiert kein DFA n ≥ 0 }{ 0n1n| n≥0}{0n1n|n≥0}\{0^n1^n|n \ge 0\} . Trotzdem kann es mit regulären Ausdrücken (im...
Ich beginne gerade mit der Berechnungstheorie, die untersucht, was wie schnell berechnet werden kann, wie viel Speicher verwendet wird und mit welchem Rechenmodell. Ich habe eine ziemlich grundlegende Frage, hoffe aber wirklich, dass einige von euch mir helfen können, das Konzept dahinter zu...
Aus meiner Lektüre geht hervor, dass es bei den meisten Grammatiken darum geht, eine unendliche Anzahl von Zeichenfolgen zu erzeugen. Was ist, wenn Sie umgekehrt gearbeitet haben? Wenn n Zeichenfolgen mit einer Länge von m angegeben werden, sollte es möglich sein, eine Grammatik zu erstellen, die...
Eine Möglichkeit, reguläre Ausdrücke zu betrachten, ist ein konstruktiver Beweis für die folgende Tatsache: Es ist möglich, reguläre Sprachen zu konstruieren, indem mit einer kleinen Menge von Sprachen begonnen und diese über eine kleine, feste Menge von Schließungseigenschaften kombiniert werden....
Ich arbeite mit einem Pattern-Matching-Algorithmus, der einen azyklischen Finite-State-Automaten generiert, der eine bestimmte Textzeichenfolge und alle ihre Teilzeichenfolgen akzeptiert. Der FSA-Algorithmus wird auf einer symbolischen Darstellung eines Musikstroms (z. B. MIDI-Daten) ausgeführt....
Beschreiben Sie eine reguläre Sprache, die von keinem DFA mit nur drei Zuständen akzeptiert werden kann. Ich bin mir nicht sicher, wo ich damit anfangen soll und habe mich gefragt, ob mir jemand Tipps oder Ratschläge geben könnte. Ich verstehe, dass das Pump-Lemma verwendet werden kann, um zu...
Ich habe kürzlich mit einem Freund über eine Website gesprochen, auf der Regex-Herausforderungen vorgeschlagen wurden, wobei hauptsächlich eine Gruppe von Wörtern mit einer speziellen Eigenschaft abgeglichen wurde. Er suchte nach einem regulären Ausdruck, der zu Zeichenfolgen passt, bei...
Normalerweise sehe ich, dass sich in der strukturellen Darstellung der operativen Semantik für die while-Schleife der Programmstatus nicht ändert: (whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(while \> B \> do \>S, \sigma) \rightarrow (if \>B \> then...
Ich habe begonnen, nicht deterministische Automaten mit dem Buch von Hopcroft und Ullman zu studieren . Ich stecke in einem Problem fest, das ich sehr interessant fand: Geben Sie einen nicht deterministischen endlichen Automaten an, der alle Zeichenfolgen akzeptiert, die denselben Wert haben, wenn...
Ich bin festgefahren, die nächste Übung zu lösen: Argumentieren Sie, dass, wenn kontextfrei und regulär ist, (dh der richtige Quotient ) ist kontextfrei.LLLRRRL/R={w∣∃x∈Rs.twx∈L}L/R={w∣∃x∈Rs.twx∈L}L / R = \{ w \mid \exists x \in R \;\text{s.t}\; wx \in L\} Ich weiß, dass es einen PDA geben sollte,...
Wie kann ich bei einer Sprache direkt sagen, ohne auf die Produktionsregeln zu achten, dass diese Sprache nicht regulär ist?L = { anbncn}}L={anbncn} L= \{a^n b^n c^n\} Ich könnte Pumping Lemma gebrauchen, aber einige Leute sagen nur mit Blick auf die Grammatik, dass dies keine reguläre ist. Wie ist...
In dem Artikel Parsing Expressions by Recursive Descent von Theodore Norvell (1999) beginnt der Autor mit der folgenden Grammatik für arithmetische Ausdrücke: E --> E "+" E | E "-" E | "-" E | E "*" E | E "/" E | E "^" E | "(" E ")" | v Das ist ziemlich schlecht, weil es mehrdeutig und...
Ich habe vor einigen Wochen meine Theorie der Rechenprüfungen abgelegt, und dies war eine der Fragen: Angenommen, die SpracheL = { ( anbm)r∣n,m,r≥0}L={(anbm)r∣n,m,r≥0}L=\{(a^nb^m)^r \mid n,m,r\ge 0\} Ist L regelmäßig? Wenn ja, geben Sie einen regulären Ausdruck oder einen Automaten dafür an....
Kürzlich habe ich eine Frage zu Math SE gestellt. Noch keine Antwort. Diese Frage bezieht sich auf diese Frage, aber mehr technische Details zur Informatik. Gegeben sind zwei DFAs A=(Q,Σ,δ,q1,F1)A=(Q,Σ,δ,q1,F1)A = (Q, \Sigma, \delta, q_1, F_1) und B=(Q,Σ,δ,q2,F2)B=(Q,Σ,δ,q2,F2)B = (Q, \Sigma,...
Ich habe einige formale sprachtheoretische Artikel gelesen und bin auf einen Begriff gestoßen, den ich nicht verstehe. Das Papier bezieht sich häufig auf eine Menge, die "unter Kreuzung effektiv geschlossen" wird, oder auf andere Operationen. Was bedeutet hier "effektiv"? Wie unterscheidet sich...
Ich bin ein CS-Student (aber ich weiß nicht viel über KI, habe keine Kurse besucht und definitiv nichts über NN bis vor kurzem), der im Begriff ist, ein Schulprojekt in KI zu machen, also wähle ich ein Thema aus Grammatikinduktion (der kontextfreien Sprache und möglicherweise einer Teilmenge der...
Ich habe mich kürzlich gefragt, was passieren würde, wenn wir kontextfreien Grammatiken eine unendliche Anzahl von Regeln erlauben würden. Wenn wir willkürlich solche unendlichen Regelsätze zulassen würden, könnte jede Sprache L.LL über einem Alphabet ΣΣ\Sigma durch ein CFG G = ( { S.} , Σ , R ,...
Ich suche eine kontextsensitive Grammatik, die die folgende Sprache beschreibt: .L={ww∣w∈{a,b}∗,|w|≥1}L={ww∣w∈{a,b}∗,|w|≥1}L = \{ ww \mid w ∈ \{a,b\}^{\ast}, |w| ≥ 1\} Ich habe Probleme mit der Tatsache, dass keine Regeln wie erlaubt sind und ich daher kein Nichtterminal platzieren kann, das die...
Wie kann ich bei einer unendlichen regulären Sprache LLL beweisen, dass LLL in zwei disjunkte unendliche reguläre Sprachen L1,L2L1,L2L_1, L_2 ? Das heißt: L1∪L2=LL1∪L2=LL_1 \cup L_2 = L , L1∩L2=∅L1∩L2=∅L_1 \cap L_2 = \varnothing und undL1L1L_1L2L2L_2 sind beide unendlich und regelmäßig. Bisher...