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 denke an unäre Sprachen , wobei aus allen Wörtern besteht, deren Länge die Summe von Quadraten ist. Formal: Es ist leicht zu zeigen, dass nicht regulär ist (z. B. mit Pumping-Lemma). Ferner wissen wir, dass jede natürliche Zahl die Summe von vier Quadraten ist, was impliziert, dass für alle...
Ich mag die Anzahl der Saiten zählen sss über ein endliches Alphabet , die keine Wiederholungen enthalten, und dass ich für jede Teilkette bedeuten von ,gibt es keine disjunkte Kopie von in . Zum Beispiel sei . Dann ist eine der Saiten , die ich zählen möchten, da für die Teilzeichen , es gibt...
Ich habe in ein paar Tagen eine Prüfung und habe Probleme, diese Aufgabe zu lösen. Sei eine reguläre Sprache über dem Alphabet Σ . Wir haben den Betrieb Zyklus ( L ) = { x y | x , y ∈ & Sgr; * und y x ∈ L } Und nun sollten wir das zeigen Zyklus ( L ) ist auch regelmäßig.L.LLΣΣ\SigmaZyklus( L...
Ist die Sprache L={a,b}∗∖{(anbn)n∣n≥1}L.={ein,b}}∗∖{(einnbn)n∣n≥1}}L = \{a,b\}^* \setminus \{(a^nb^n)^n\mid n \geq1 \} kontextfrei? Ich glaube, dass die Antwort ist, dass es keine CFL ist, aber ich kann es nicht durch Ogdens Lemma oder Pumping Lemma
wenn ich eine Grammatik mit einer Produktion habe, die sowohl Linksrekursion als auch Linksfaktor enthält F→FBa∣cDS∣cF→FBa∣cDS∣c\qquad \displaystyle F \to FBa \mid cDS \mid c Welches hat Priorität, linke Rekursion oder linkes
die Länge vonist ungerade1 ist in der Mitte vonL:={w∈{0,1}∗|L:={w∈{0,1}∗|L := \{w \in \{0,1\}^* | ∧ w }www∧∧ \wedge w}w}w\} Das Alphabet ist also . Mein Problem ist, dass ich die Gleichheit der Zeichen vor und nach 1 nicht verfolgen kann . Ein begrenzter DFA für eine Länge von weniger als...
Ich bin dabei, eine domänenspezifische Sprache zur Darstellung sozialer Lernkonventionen zu implementieren. Teil der Implementierung ist eine formale Beschreibung einer Sprache - ihrer 'Analysis', Symbole und logischen Ausdrücke. Mein Ansatz wäre es, die Sprache durch Beschreibung ihrer Grammatik...
Ich versuche mir die Berechenbarkeitstheorie mit einem Lehrbuch beizubringen. Nach meinem Buch ist eine Funktion über einem Alphabet ist nur in der Sprache berechenbarA = { a , b , c , d , e , f , g , h , i , j , k , l , m , n , o , p , q , r , s , t , u , v , w , x , y , z
Ist die Sprache L = { 0 n 1 m ∣ n und m sind co-prime }L={0n1m∣n and m are co-prime} L = \{0^n 1^m \mid n \text{ and } m \text{ are co-prime}\} kontextfrei? Ich denke, dass es nicht kontextfrei ist, weil es für einen PDA zu kompliziert erscheint, um zu entscheiden, ob zwei Zahlen Co-Prime sind...
Meine Frage besteht im Wesentlichen aus drei Sprachen A, B und L, wobei L A und B miteinander verkettet sind und B nachweislich nicht regulär ist. Ist es möglich, ein A zu finden, das L regulär
Ich versuche (intuitiv) die beiden Begriffe "Entscheidbarkeit" und "Überprüfbarkeit" zu verstehen. Ich habe die verschiedenen Texte, die ich in die Hände bekommen kann, angemessen durchsucht und durchgesehen. Ihr intuitives Verständnis scheint mir jedoch zu entgehen, besonders für das zweite. Von...
Betrachten Sie das folgende Universumsproblem . Das Universumsproblem. Entscheiden Sie bei einer endlichen Menge für eine Sprachklasse und einem Automaten, der die Sprache akzeptiert , ob .ΣΣ\SigmaLLLL=Σ∗L=Σ∗L=\Sigma^* In [1] wird angegeben und bewiesen, dass das Universumsproblem für eine...
Diese Vorlesungsfolien skizzieren einen Beweis dafür, dass von keinem deterministischen Pushdown akzeptiert werden kann Automat. Leider geben die Folien keinen Hinweis darauf, woher der Beweis stammt.L = { anbn∣ n ≥ 0 } ∪ { anb2 n∣ n ≥ 0 }L.={einnbn∣n≥0}}∪{einnb2n∣n≥0}}L=\{ a^n b^n \mid n \geq 0 \}...
Definieren Sie die Nerode-Äquivalenz über eine Sprache als iff für jedes . U ~ L v u w ∈ L ⇔ v w ∈ L w ∈ & Sigma; *L⊆Σ∗L⊆Σ∗L \subseteq \Sigma^{*}u∼Lvu∼Lvu \sim_L vu w ∈ L ⇔ v w ∈ L.uw∈L⇔vw∈Luw \in L \Leftrightarrow vw \in Lw ∈ & Sigma;∗w∈Σ∗w \in \Sigma^{*} Die Nerode-Äquivalenz hat genau...
Dies hängt etwas mit einer anderen Frage zusammen, die ich gestellt habe , aber ich denke, es ist anders genug, um eine eigene Frage zu rechtfertigen. Ich mache Forschungen, bei denen ich versuche, die Struktur von Komplementen einer bestimmten Klasse endlicher Sprachen zu finden. Es fällt mir...
Ich habe lange versucht, eine Konstruktion zu finden, damit ich formal nachweisen kann, dass ein deterministischer PDA unter Ergänzung geschlossen ist. Es kommt jedoch vor, dass jede Idee, die ich habe, etwas hat, das am Ende nicht passt. Könnten Sie mir helfen? Das Hauptproblem tritt bei den...
Während ich studiert habe, ist die Entscheidung über die Regelmäßigkeit kontextfreier Sprachen unentscheidbar. Wir können jedoch die Regelmäßigkeit mit dem Myhill-Nerode-Theorem testen, das eine notwendige und ausreichende Bedingung liefert. Das Problem sollte also entscheidbar sein. Wo ist mein...
Sei , wobei a 0 = ϵ und a n = a n - 1 a für alle n ≥ 1 sind .L = { an∣ n ≥ 0 }L={an∣n≥0}L = \{a^n \mid n \ge 0\}ein0= ϵa0=ϵa^0 = \epsiloneinn= an - 1einan=an−1aa^n = a^{n-1}an ≥ 1n≥1n \ge 1 Somit besteht aus Sequenzen a aller Längen, einschließlich einer Sequenz der Länge 0 . Lassen L 2 sein , jede...
Ich versuche gerade, eine reguläre Sprache zu beweisen (zur persönlichen Unterhaltung). Die Sprache ist: Die Sprache, die alle ternären Zahlen enthält, die bei binärer Codierung sogar Bitparität aufweisen. Derzeit habe ich einige verschiedene Ansätze ausprobiert, die mich zu keinem Erfolg geführt...