Fragen zu mathematischen Geräten, die einen Eingabestream Symbol für Symbol lesen und eine Zustandsübergangskarte verwenden, um einen Ausgabestream zu erzeugen, möglicherweise unter Verwendung eines Sekundärspeichers.
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. Ich habe staatliche Komplexität für ihre Komplemente und Schnittpunkte gefunden, …
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, a)
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 sind, ist dies auch …
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. …
Ich habe mich gefragt, ob selbst eine sternfreie Sprache ist. Gibt es eine reguläre Sprache, die keine sternfreie Sprache ist? Könnten Sie ein Beispiel geben?a∗a∗a^* (aus Wikipdia ) Lawson definiert sternfreie Sprachen als: Eine reguläre Sprache gilt als sternfrei, wenn sie durch einen regulären Ausdruck beschrieben werden kann, der aus …
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, es auf Umwegen zu lösen, …
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 …
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, repräsentiert eine Reihe positiver Beispiele. …
Ich arbeite an einer harten Übung in einem Lehrbuch und kann einfach nicht herausfinden, wie ich vorgehen soll. Hier ist das Problem. Angenommen, wir haben die Sprache wobei eine irrationale Zahl ist. Wie würde ich beweisen, dass keine kontextfreie Sprache ist?L={aibj:i≤jγ,i≥0,j≥1}L={aibj:i≤jγ,i≥0,j≥1}L = \{a^ib^j: i \leq j \gamma, i\geq 0, j\geq …
Ich lerne, wie man NFAs in DFAs konvertiert, und ich möchte sicherstellen, dass ich es richtig mache. Offensichtlich ist es keine Sache, in die andere Richtung zurückzukehren. Kennt jemand einen Algorithmus, um zu überprüfen, ob ein DFA einem NFA entspricht?
Brzozowskis Algorithmus kann auf Moore-Automaten erweitert werden, aber seine zeitliche Komplexität ist im Allgemeinen exponentiell. Gibt es einen anderen Algorithmus zur Minimierung von Moore-Automaten? Was sind die Laufzeiten dieser Algorithmen, falls vorhanden?
Ich habe Websites gesehen, die vorgeben zu "beweisen", dass HTML5 + CSS Turing Complete ist. Ich habe Websites gesehen, die vorgeben, "zu beweisen", dass SQL Turing Complete ist. Ich habe eine Reihe von Websites gesehen, die vorgeben zu "erklären", was es bedeutet, Turing Complete zu sein. Genug! Wo finde ich …
Ich suche ein Hauptfach in Theoretischer Informatik; Insbesondere interessiere ich mich für Komplexitätstheorie und probabilistische Automatentheorie. Welche fortgeschrittenen Kurse in Mathematik (wie zum Beispiel Galois-Theorie oder Harmonische Analyse) halten Sie nach meinem Abschluss in einem Jahr für nützlich, um die nächsten zwei Semester zu übernehmen? Warum?
Im Rahmen unserer Untersuchung von Heap-Automaten möchte ich beweisen, dass eine bestimmte Variante nicht kontextsensitive Sprachen nicht akzeptieren kann. Da wir kein gleichwertiges Grammatikmodell haben, brauche ich einen Beweis, der nur Automaten verwendet. Daher muss ich zeigen, dass Heap-Automaten von LBAs (oder einem gleichwertigen Modell) simuliert werden können . Ich …
Ich habe mit der Maze-Demo von Google Blocky herumgespielt und mich an die alte Regel erinnert: Wenn Sie ein Labyrinth lösen möchten, halten Sie einfach Ihre linke Hand an der Wand. Dies funktioniert für jedes einfach verbundene Labyrinth und kann von einem endlichen Wandler implementiert werden. Lassen Sie unseren Roboter …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.