Als «formal-languages» getaggte Fragen

Fragen zu formalen Sprachen, Grammatiken und Automatentheorie

1
Unterschied zwischen den Sprachen, die von zwei DFAs mit unterschiedlichen Ausgangszuständen / Akzeptanzzuständen akzeptiert werden?
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, \delta, q_2, F_2) wobei die Menge der Zustände, das …
3
Ist regelmäßig?
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. Nachdem ich ihn nach der Prüfung kurz nach der …
3
Wenn kontextfrei und regulär ist, ist kontextfrei?
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, der akzeptiert, und einen DFA, …
1
Ausdruckskraft moderner regulärer Ausdrücke
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 ||||||||denen die Anzahl der |Primzahlen ist. Ich sagte ihm sofort, dass dies …
2
Unterteilen Sie eine unendliche reguläre Sprache in zwei disjunkte unendliche reguläre Sprachen
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 dachte ich an: unter Verwendung des Pump-Lemmas, so …
1
Was bedeutet es zu sagen, dass eine Sprache im Rahmen einer Operation „effektiv geschlossen“ ist?
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 dies vom normalen Verschluss? Als Referenz ist das …
1
Intuitive Beschreibung für das Training von LSTM (mit Vergissentor / Guckloch)?
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 kontextsensitiven Sprache) …
5
Endliche Zustandsautomaten: Endzustände
In unserem Kurs über Programmiersprachenkonzepte behauptete unser Kursleiter, dass es in Ordnung ist, wenn ein Endzustand in einem Diagramm mit endlichen Zuständen zu einem anderen Zustand führt. Dies scheint jedoch ein grundsätzlich widersprüchliches Konzept zu sein. Da ein Endzustand per Definition Übergänge beendet, dh, sobald Sie ihn erreicht haben, bleibt …
1
Können formale Sprachen zum Studium der mathematischen Notation verwendet werden?
Frage: Gibt es Einführungstexte in der formalen Sprache oder in der Programmiersprachentheorie, in denen erläutert wird, wie sie auf das Studium der optimalen Notation angewendet werden können? Insbesondere interessiert mich, was Stapelsprachen, Analysebäume und Indizes sind und wie man vorhersagt, wann eine bestimmte Art von Notation zu exponentieller Redundanz führt. …
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.