Als «automata-theory» getaggte Fragen

Automatentheorie, einschließlich abstrakter Maschinen, Grammatiken, Parsing, grammatikalischer Inferenz, Wandler und Finite-State-Techniken

2
Gibt es Familien formaler Sprachen, von denen bekannt ist, dass sie wirklich PAC-lernbar sind?
Ich meine speziell Sprachfamilien, die beliebig lange Zeichenfolgen zulassen - keine Konjunktionen über n Bits oder Entscheidungslisten oder eine andere "einfache" Sprache, die in {0,1} ^ n enthalten ist. Ich frage nach "automatentheoretischen" regulären Sprachen im Gegensatz zu "logiktheoretischen" Sprachen: so etwas wie stückweise testbare Sprachen, Sprachen mit Starthöhe Null, …
1
Turingmaschinen als Coalgebren
Ich möchte eine Umfrage über die Methode zur Darstellung der Dynamik staatlicher Berechnungen im Rahmen von Kohlegebren schreiben. Bisher habe ich es geschafft, Artikel über Kohlegebra-Darstellungen von DFA, NFA, Mealy-Maschinen, Moore-Maschinen, kontextfreien Grammatiken und sogar einfachen Quantensystemen zu finden. Ich habe keine gute Quelle gefunden, um eine Turingmaschine als Kohlegebra …
1
Eine Vermutung im Zusammenhang mit der Cerny-Vermutung - Gegenbeispiel / Referenzanforderung
Die Cerny-Vermutung ist die Aussage, dass jeder Synchronisationsautomat mit Zuständen höchstens ein Synchronisationswort der Länge . Die beste aktuelle Obergrenze für die Länge eines Synchronisationsworts ist . Lassen Sie uns sagen , dass zwei Staaten verschmolzen mit einem Wort , wenn das Wort die beiden Zustände in den gleichen Zustand …
1
NFA-DFA-Powerset-Konstruktion: Ein partieller Bestimmungsalgorithmus mit Kompromiss zwischen Laufzeit und Größe für die resultierenden Automaten?
Bei einem NFA und seinem äquivalenten DFA die sich aus der Gesamtbestimmung von (z. B. unter Verwendung der Powerset-Konstruktion), gelten die folgenden Eigenschaften für , und für jedes Wort :D N.N.NND.DDN.NND wN.NND.DDwww N.NN liest in der Laufzeit höchstens .O ( | w | . | N | 2 )wwwO ( …
1
Untergrenze für NFA, die 3-Buchstaben-Sprache akzeptiert
Im Zusammenhang mit einer kürzlich gestellten Frage ( Grenzen der Größe des kleinsten NFA für L_k-different ) fragte Noam Nisan nach einer Methode, um eine bessere Untergrenze für die Größe eines NFA anzugeben, als dies aus den Grenzen der Kommunikationskomplexität hervorgeht. Was folgt, ist eine spezielle Version dieses Problems. Angenommen, …
3
Beispielfrage für 1-Wege-Quanten-endliche Automaten
Ich versuche mein Verständnis in dem Beispiel zu verdeutlichen, das in Abschnitt 2.2 von Einweg-Quantenautomaten: Stärken, Schwächen und Verallgemeinerungen vorgestellt wird (dieser alternative Link kann ebenfalls nützlich sein). Dieses Beispiel bietet ein sehr reduziertes Beispiel für eine 1-QFA mit den folgenden Übergangsregeln: ,Va|q0⟩ = 12| q0⟩ + 12| q1⟩ + …
2
Was ist am einfachsten von allen anständigen LTL-zu-Buchi-Übersetzungen oder anderen LTL-Verifizierungsalgorithmen zu implementieren?
Ich schreibe einen Spielzeugmodellprüfer und bin an dem Punkt angelangt , an dem es Zeit ist, die Übersetzung von LTL in Buchi-Automaten zu implementieren. Aus verschiedenen offensichtlichen Gründen möchte ich, dass der Algorithmus einfach ist :) zB möchte ich, dass der Code so lange wie möglich extrem klar und präzise …
1
Tool zur Übersetzung von PDAs in CFGs
Wir wissen, dass alle Push-Down-Automaten mit kontextfreien Grammatiken darstellbar sind. Darüber hinaus gibt es einen Algorithmus zum Erstellen eines CFG aus einem beliebigen PDA (z. B. Sipsers Beweis im Intro zur Theorie der Berechnung). Gibt es Tools für diese Übersetzung? Das heißt, ich kann eine Reihe von Übergangsfunktionen eingeben und …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.