Ich weiß, dass wir DFAs minimieren können, indem wir äquivalente Zustände finden und zusammenführen, aber warum können wir das nicht auch mit NFAs tun? Ich suche keinen Beweis oder ähnliches - es sei denn, ein Beweis ist einfacher zu verstehen. Ich möchte nur intuitiv verstehen, warum die...
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 möchte wissen, ob das folgende Problem entscheidbar ist: Instanz: Eine NFA A mit n Zuständen Frage: Gibt es eine Primzahl p, so dass A eine Zeichenkette der Länge p akzeptiert? Meiner Meinung nach ist dieses Problem nicht zu entscheiden, aber ich kann es nicht beweisen. Der Entscheider kann...
Ich studiere formale Sprachen und Produktionsbasissysteme (Regelbasissysteme) und bin ein wenig verwirrt darüber, warum diese beiden Wörter "Produktion" und "Regel" in so vielen Zusammenhängen in der Informatik dasselbe bedeuten. In der englischen Sprache scheinen sie nicht dasselbe zu bedeuten....
Morgen ist meine Präsentation und ich möchte meine Konzepte klären ... Ich habe gelesen, dass in DFA "Für jeden Zustand sollte der Übergang für alle möglichen Symbole (Alphabet) definiert werden." Ist für jeden Status die Definition des Übergangs für alle möglichen Symbole in DFA obligatorisch?...
Ich habe gerade angefangen, über die Theorie der Berechnung zu lesen. Wenn wir vergleichen, was (beim Akzeptieren von Zeichenfolgen) mächtiger ist, sind beide gleich. Aber wie steht es mit der Effizienz? DFA ist im Vergleich zu NFA schnell, da es nur eine ausgehende Flanke hat und keine...
Ich bin Programmierer mit einem Griff auf Automaten, aber nicht auf Logik. Ich habe in Zeitungen gelesen, dass die beiden sehr eng miteinander verbunden sind. Deterministische endliche Automaten (DFA), Baumautomaten und sichtbare Pushdown-Automaten sind alle mit der monadischen Logik zweiter...
Wenn nicht, dann , was bedeutet es , wenn aus irgendeinem Zustand und einige Symbole ein , δ ( q , a ) nicht existiert?qqqaeinaδ(q,a)δ(q,ein)\delta(q,
Ziel ist es, DFA aus einem regulären Ausdruck zu erstellen, und die Verwendung von "Regular exp> NFA> DFA-Konvertierung" ist keine Option. Wie soll man das machen? Ich stellte diese Frage unserem Professor, aber er sagte mir, dass wir Intuition benutzen können und lehnte es freundlicherweise...
Ich frage mich, wie zeitlich komplex es ist, die Leere für 2-Wege-DFAs zu bestimmen. Das heißt, endliche Automaten, die sich auf ihrem schreibgeschützten Eingabeband rückwärts bewegen können. Laut Wikipedia entsprechen sie DFAs, obwohl die äquivalenten DFA möglicherweise exponentiell größer sind....
Im Bild unten versuche ich herauszufinden, was genau diese NFA akzeptiert. Was mich verwirrt, ist der Sprung bei .ϵϵ\epsilonq0q0q_0 Wenn eine eingegeben wird, wechselt das System dann zu und (dem Akzeptanzstatus)?000q0q0q_0 q1q1q_1 Wenn eine eingegeben wird, wechselt das System zu und...
Ich habe ein einfaches Problem damit, einen DFA zu erstellen, der alle Eingaben akzeptiert, die mit Doppelbuchstaben (aa, bb) beginnen oder mit Doppelbuchstaben (aa, bb) enden, vorausgesetzt, Σ = { a , b }Σ={ein,b}}\Sigma =\{a, b\} ist die Alphabetmenge der angegebenen Sprache. Ich habe versucht,...
Dies kann eine dumme Frage sein. Es scheint klar zu sein, dass eine FSA, da sie endlich ist, nur die Anzahl der Symbole in ihrer Eingabezeichenfolge bis zu einer durch die Anzahl ihrer Zustände begrenzten Anzahl zählen kann. Nehmen wir nun an, wir statten die FSA mit Ausgabefunktionen (z. B....
Das Minimieren deterministischer endlicher Automaten (DFAs) ist ein Problem, das in der Literatur gründlich untersucht wurde, und es wurden verschiedene Algorithmen vorgeschlagen, um das folgende Problem zu lösen: Berechnen Sie bei gegebenem DFA einen entsprechenden minimalen DFA, der dieselbe...
Können wir bei zwei Mengen von Strings über dem Alphabet Σ den kleinsten deterministischen Finite-State-Automaten (DFA) M so berechnen, dass A ⊆ L ( M ) und L ( M ) ⊆ Σ ∗ ∗ B ?A,BA,BA,BΣΣ\SigmaMMMA⊆L(M)A⊆L(M)A \subseteq L(M)L(M)⊆Σ∗∖BL(M)⊆Σ∗∖BL(M) \subseteq \Sigma^*\setminus B Mit anderen Worten,...
Ich hatte den Eindruck, dass unsere Computer, da sie endlich sind, letztendlich nicht leistungsfähiger sind als (außerordentlich große) endliche Zustandsmaschinen. Linear gebundene Turing-Maschinen sind zwar auch endlich, aber es scheint, dass reguläre Sprachen streng genommen eine unangemessene...
Ist das Problem, bei zwei DFAs herauszufinden, ob sie dieselbe Sprache erzeugen, ein entscheidbares Problem? Ich weiß bereits, dass die Gleichheit von zwei CFL nicht entscheidbar ist aber was ist mit der Gleichheit von zwei DFAs? Wenn man bedenkt, dass die meisten Probleme mit DFAs entscheidbar...
Bei der Arbeit wurde ich beauftragt, einige Typinformationen über eine dynamische Sprache abzuleiten. Ich schreibe Folgen von Anweisungen in verschachtelte letAusdrücke um, wie folgt: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...
Wenn ich das richtig verstehe, hat NFA die gleiche Ausdruckskraft wie reguläre Ausdrücke. Oft ist es einfach, äquivalente reguläre Ausdrücke aus NFA abzulesen: Sie übersetzen Zyklen in Sterne, Kreuzungen als Alternativen und so weiter. Aber was ist in diesem Fall zu tun: [ Quelle ] Die...
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...