Computerwissenschaften automata

1

Algorithmus zur Übersetzung eines deterministischen Büchi-Automaten in LTL (wenn möglich)

Lineare zeitliche Logik und deterministische Büchi-Automaten sind unvergleichlich: DBA kann nicht ausdrücken , und LTL kann nicht ausdrücken, dass "mindestens jeder ungerade Buchstabe 'a' ist" . Manchmal ist es jedoch interessant zu wissen, ob die Sprache eines DBA in LTL ausgedrückt werden kann.FGaFGaFGa Ich benötige einen Algorithmus, der entscheidet, ob …

10 logic automata linear-temporal-logic buchi-automata

1

Ist die Umkehrung eines minimalen DFA auch minimal?

Die Frage steht so ziemlich im Titel. Gibt es überhaupt eine Zeit , wo einige Sprache kann durch eine minimale DFA mit akzeptiert werden n Staaten, sondern L R , die Umkehrung der L kann von einem DFA mit akzeptiert m Staaten, in denen m < n ?LLLnnnLRLRL^RLLLmmmm<nm<nm<n

10 formal-languages reference-request automata finite-automata

4

NFA mit exponentieller Anzahl von Zuständen bei Deteminisierung

Wie kann ich ein Beispiel für einen DFA mit Zuständen erstellen , wobei der äquivalente NFA Zustände hatNatürlich sollte der Statussatz des EDA alle Teilmengen des Statussatzes des NFA enthalten, aber ich weiß nicht, wie ich anfangen soll. Irgendwelche Vorschläge, um mich auf den richtigen Weg zu bringen? n2n2n2^nnnn

10 automata finite-automata

3

Bedingung für die Unendlichkeit der Sprache eines endlichen Automaten

Es gibt einen Satz, der besagt: Bei einem endlichen Zustandsautomaten mit Zuständen, wenn es eine Zeichenkette deren Länge erfüllt dann ist die vom Automaten akzeptierte Sprache unendlich.nnnwwwn ≤ | w | ≤ 2 n - 1n≤|w|≤2n- -1n \leq |w| \leq 2n-1 Ich verstehe die Einschränkung , aber ich verstehe nicht, …

9 automata finite-automata

4

Warum sollten wir alle drei Darstellungsformen endlicher Automaten untersuchen?

DFA, NFA und epsilon NFA alle drei ermöglichen es uns, eine bestimmte reguläre Sprache darzustellen. Mit jeder dieser Darstellungen können wir zu demselben regulären Ausdruck gelangen. Warum müssen wir dann alle drei Darstellungsformen endlicher Automaten untersuchen? Es kann eine Erklärung geben, was NFA tun kann, was DFA nicht kann. Das …

9 automata finite-automata education

3

DFA zum Akzeptieren aller binären Zeichenfolgen der Formkraft von

Wir können DFA bilden, indem wir durch teilbare Binärzahlen akzeptieren .nnn Zum Beispiel kann DFA, das durch 2 teilbare Binärzahlen akzeptiert, wie folgt gebildet werden: In ähnlicher Weise kann DFA, das durch 3 teilbare Binärzahlen akzeptiert, wie folgt gebildet werden: Wir können ein genau definiertes Verfahren befolgen, um diese Arten …

9 regular-languages automata finite-automata regular-expressions

4

Wörter, die das gleiche rechts- und linksassoziative Produkt haben

Ich habe begonnen, nicht deterministische Automaten mit dem Buch von Hopcroft und Ullman zu studieren . Ich stecke in einem Problem fest, das ich sehr interessant fand: Geben Sie einen nicht deterministischen endlichen Automaten an, der alle Zeichenfolgen akzeptiert, die denselben Wert haben, wenn sie von links nach rechts wie …

9 formal-languages automata regular-languages finite-automata nondeterminism

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 …

9 formal-languages terminology computability automata closure-properties

1

Ein falscher Nachweis des Schließens unter der Sternoperation unter Verwendung von NFA führt dazu, dass die NFA unerwünschte Zeichenfolgen erkennt?

Ich lese gerade das Buch Einführung in die Theorie der Berechnung (2. oder 3. Aufl.) Von Michael Sipser und bin auf eine Frage in Kapitel 1 - Reguläre Sprachen gestoßen , nämlich wenn der Autor die Beweisidee von Satz 1.49 vorlegt - "Die Klasse der regulären Sprachen ist unter der …

8 regular-languages automata finite-automata nondeterminism

2

Sind quadratische Zahlen in Binärform eine reguläre Sprache?

Ich habe Probleme beim Versuch festzustellen, ob alle in binärer Form (1, 100, 1001, ...) geschriebenen quadratischen Zahlen (1, 4, 9, 16, ...) eine reguläre Sprache sind. Nach einigen Versuchen , ein gemeinsames Muster dieser Zahlen zu finden, die ich herausgefunden, dass für jede Quadratzahl , entweder gleich 0 oder …

8 formal-languages regular-languages automata finite-automata

2

Jedes Problem, das durch einen endlichen Automaten gelöst wird, ist in P.

Nach meiner heutigen Theorie der Berechnungstheorie kam mir die Frage in den Sinn: Wenn ein Problem mit einem endlichen Automaten gelöst werden kann, gehört dieses Problem zu P. Ich denke, es ist wahr, da Automaten sehr einfache Sprachen erkennen, würden alle diese Sprachen Polynomalgorithmen haben, um sie zu lösen. Stimmt …

8 complexity-theory automata finite-automata polynomial-time

3

Warum ist es nicht einfach, die Anzahl der Wörter in einer regulären Sprache zu zählen?

Bei einem DFA A bezeichne L (A) die Anzahl der Wörter, die A akzeptiert. Ich denke, es ist einfach, L (A) zu berechnen: Übersetzen Sie die Codierung von A in einen regulären Ausdruck. Wenn der Kleene-Stern irgendwo im Ausdruck erscheint, ist die Sprache unendlich. Sonst: Gehen Sie alle Wortkombinationen durch, …

8 regular-languages automata regular-expressions

3

Beziehung zwischen Algorithmuskomplexität und Automatenklasse

Ich konnte kein Diagramm finden, das die folgende Frage darstellt oder Text beantwortet: Gibt es einen direkten Zusammenhang zwischen der Komplexität eines Algorithmus (z. B. Best / Worst-Fall der schnellen Sortierung) und der Klasse von Automaten, die den Algorithmus implementieren können? Gibt es zum Beispiel eine Reihe von Komplexität, die …

8 complexity-theory automata reference-request complexity-classes

2

Minimieren Sie deterministische endliche Automaten ohne akzeptierende Zustände

Ich habe einen endlichen Automaten ohne endgültige / akzeptierende Zustände, also ist F leer. Wie minimiere ich es? Ich habe dies bei einem Test erhalten und wusste nicht, wie ich das Problem angehen sollte, da der Automat keine akzeptierenden Zustände hatte. Ist ein einzelner Ausgangszustand mit allen Übergängen in sich …

8 automata finite-automata

5

Ist es möglich, Pushdown-Automaten zu minimieren?

Ist es möglich, Pushdown-Automaten zu minimieren? Wenn nein, warum? Liegt es daran, dass die Äquivalenzklassen zur Minimierung einen endlichen Index haben müssen und wir dies für CFG nicht garantieren können?

8 computability automata pushdown-automata

Als «automata» getaggte Fragen