Als «formal-languages» getaggte Fragen

Ich mache eine Abschlussarbeit über den Nachweis der Richtigkeit des Programms zum Multiplizieren von 2 Matrizen mit Hoare-Logik. Dazu muss ich die Invariante für die verschachtelte Schleife für dieses Programm generieren: for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + C(i,j); end end...

Bitte beachten Sie, dass mir die Unentscheidbarkeit der Umwandlung von kontextfreier Grammatik in reguläre Grammatik bekannt ist. Aber gibt es angesichts der nicht einbettenden Eigenschaft der kontextfreien Eingabegrammatik einen Algorithmus, um sie direkt in reguläre Grammatik oder DFA...

Ich ging eine Frage durch, in der ich gebeten wurde, die inhärent mehrdeutige Sprache unter einer Reihe von Optionen auszuwählen. L.1= {einnbmcmdn|m , n ≥ 1 } ∪ {einnbncmdm|m,n≥1}L.1={einnbmcmdn|m,n≥1}}∪{einnbncmdm|m,n≥1}}L_1 = \{a^nb^mc^md^n \;|\; m,n \geq 1\}\cup \{a^nb^nc^md^m \;|\; m,n \geq 1\}...

L1L1L_1 ist eine rekursiv aufzählbare Sprache über einem Alphabet . Ein Algorithmus zählt seine Wörter effektiv als . ist eine andere Sprache über als Betrachten Sie die folgenden Aussagen.ΣΣ\Sigmaw1,w2,...w1,w2,...w_1, w_2, ... L2L2L_2Σ∪{#}Σ∪{#}\Sigma \cup

Ich recherchiere über NFAs und Inklusionsprobleme mit ihnen. Ich weiß, dass im Allgemeinen die Einschlussprobleme und die Konvertierung in eine eindeutige NFA beide PSPACE-vollständig sind. Ich frage mich, gibt es Unterklassen von NFA, für die diese effizient entschieden werden können? Insbesondere...

Für meine Bachelorarbeit betrachte ich die Klasse von Sprachen, die von symmetrischen DFAs erkannt werden, dh deterministische (vollständige) endliche Automaten, die die folgende Bedingung erfüllen: Sei ein vollständiger DFA über dem Alphabet . Wenn es für jedes a \ in \ Sigma und jeden Übergang u...

Dies ist eine Frage aus der Prüfung unseres Kurses "Automaten und formale Sprachen". Es wurde eine Frage gestellt, um zu beweisen oder zu widerlegen, dass jede "relative Komplement" -Operation zwischen zwei kontextsensitiven Sprachen auch eine kontextsensitive Sprache erzeugt. Aus den...

Das folgende Array belegt 10000 Speicherplätze: a = [0,1,2,3,4,5,6,7,8,9,10,...,10000] Aber man könnte leicht das gleiche Array darstellen wie: a = {len:10000, get: λ idx -> idx} Welches ist viel kompakter. Ebenso gibt es mehrere Arrays, die kompakt dargestellt werden können: a = {a:1000, get: λ...

Welche Bedeutung hat eine leere Zeichenfolge in CS (und insbesondere in formalen Sprachen) im Sinne einer Zeichenfolge, die sich von einer Nullreferenzzeichenfolge unterscheidet? Warum brauchen Sie ein separates Konzept, das der "leeren Zeichenfolge", die sogar einen eigenen griechischen Buchstaben...

Seik∈Nk∈Nk\in \mathbb N Ich suche nach einem kleinen NFA-Build für die Sprache der Verkettung von zwei Wörtern der Länge die unterschiedlich sind, dhkkkLk={u⋅v∈Σ∗:|u|=|v|=k∧∀i,ui≠vi}Lk={u⋅v∈Σ∗:|u|=|v|=k∧∀i,ui≠vi}L_k=\{u\cdot v \in \Sigma^* : |u|=|v|=k\wedge \forall i, u_i\neq v_i\} Beachten Sie,...

Definieren FH(L)={x∈Σ∗:∃y∈Σ∗ with |x|=|y| such that xy∈L}FH(L)={x∈Σ∗:∃y∈Σ∗ with |x|=|y| such that xy∈L}FH(L) = \{x \in \Sigma^* : \exists y \in \Sigma^* \text{ with } |x| = |y| \text{ such that } xy \in L\}. Mit anderen Worten,FH(L)FH(L)FH(L) ist die Menge der ersten Hälften von Saiten gleicher...

Ich fand eine Aussage (ohne Erklärung), dass eine Sprache entscheidbar ist. Wie ist das möglich? Ich meine, wie würden wir eine Turing-Maschine bauen, die eine möglicherweise unendliche Folge von Nullen akzeptiert (oder ablehnt)? Ich dachte auch, dass wir vielleicht einen Enumerator erstellen...

Ich möchte beweisen, dass regulär ist, wenn regulär ist, aber ich komme anscheinend nicht weiter. Wenn möglich, hoffte ich auf einen Hinweis, um mich in die richtige Richtung zu bringen. Danke für deine Hilfe.L−−√={w:ww∈L}L={w:ww∈L}\sqrt{L}=\{w:ww\in L\}LLL Meine Idee, um die Regelmäßigkeit der...

In einem Informatikkurs ist es üblich, die Hierarchie formaler Sprachen, Grammatiken, Automaten und Turing-Maschinen zu studieren. Ich frage mich, in welcher Beziehung diese Objekte zu formalen Systemen stehen. Zum Beispiel soll Lambda-Kalkül ein formales System sein. Würde seine Grammatik auch als...

Die kontextfreien Sprachen können als Abschluss der Dyck-Sprache unter den Kegeloperationen erhalten werden . Die Dyck-Sprache ist eine deterministische kontextfreie Sprache, und die Kegeloperationen entsprechen den Operationen, die von nichtdeterministischen Finite-State-Wandlern implementiert...

Aus einem Kommentar ging eine interessante Frage hervor. Die Klasse der CFLs (die von PDAs anerkannten Sprachen) ist offensichtlich nicht unter Nichtdeterminismus geschlossen - was ich damit meine, ist, dass deterministische PDAs nicht gleichwertig mit nichtdeterministischen PDAs sind. Alle CFLs...

Definieren Sie für eine Sprache : L.LLN.E.( L ) = { x ∈ L : x  ist nicht das richtige Präfix einer Zeichenfolge in  L }NE(L)={x∈L:x is not the proper prefix of any string in L} NE(L) = \{x \in L : x \text{ is not the proper prefix of any string in } L\} Ich versuche zu zeigen, dass kontextfreie...

L = { ϵ }L={ϵ}L = \left \{ \epsilon \right \} Diese Sprache ist eindeutig endlich, daher muss dies eine reguläre Sprache sein. Jetzt, da jede reguläre Sprache kontextsensitiv ist,L.LList eine CSL. Wir können die Grammatik für definierenL.LL wie : S.→ ϵS→ϵS\rightarrow \epsilon Jetzt seit L.LList...

Ich habe nach einer prototypischen Sprache für rekursive Sprachen (entscheidbar) gesucht, die ohne Erfolg nicht kontextsensitiv ist. Zum Beispiel ist ein Prototyp für reguläre Sprachen, für kontextfreie Sprachen und für kontextsensitive Sprachen. Normalerweise betrachte ich die Sprache, die von...

Wird als reguläre Sprache klassifiziert?L = {ein∗b∗}}L={a∗b∗}L = \{a^* b^*\} Ich bin verwirrt, weil ich weiß, dass nicht regulär ist. Welchen Unterschied macht der Kleene-Stern?L = {einnbn}}L={anbn}L = \{a^n