Klassen von NFAs, die effiziente Teilmengenprüfungen oder eindeutige Konvertierungen ermöglichen


7

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 akzeptieren die NFAs, die ich betrachte, eine endliche Sprache, in der alle Wörter den gleichen Parikh-Vektor haben.


1
Parikh Vektor , Wikipedia
vzn

Noch mehr Motivation / Bewerbung?
vzn

[Migration auf tcs.se empfehlen]
vzn

Das wäre gut.
Jmite

Antworten:


2

Hier sind drei Refs, die hilfreich sein können.

Wir zeigen, dass die Spracheinbeziehung für Sprachen mit unendlichen Wörtern, die durch nicht deterministische Automaten definiert sind, in Polynomzeit getestet werden kann, wenn die Automaten eindeutig sind und einfache Akzeptanzbedingungen haben, nämlich Sicherheits- oder Erreichbarkeitsbedingungen. Ein Automat mit Sicherheitsbedingung akzeptiert ein unendliches Wort, wenn es einen Lauf gibt, der niemals einen verbotenen Zustand besucht, und ein Automat mit Erreichbarkeitsbedingung akzeptiert ein unendliches Wort, wenn es einen Lauf gibt, der mindestens einmal einen akzeptierenden Zustand besucht.

diese zweite ref indirektere & würden auf einer Zuordnung zwischen NFAs und verlassen Baumautomaten .

Wir zeigen die deutlich verbesserte Effizienz dieses Frameworks durch eine Reihe von Experimenten mit der Überprüfung verschiedener Programme über dynamisch verknüpfte baumförmige Datenstrukturen

Der obige Verweis zitiert auch Folgendes:

Wir zeigen, dass in den schwierigen Fällen dieses Wahrscheinlichkeitsmodells der Antichain-Algorithmus den Standard um mehrere Größenordnungen übertrifft. Wir zeigen auch, wie Variationen der Antichain-Methode zur Lösung des Spracheinschlussproblems für nichtdeterministische endliche Automaten verwendet werden können ...


Die Antichains sehen sehr vielversprechend aus. Ich vermute, dass ihre Leistungssteigerung kommt, weil sie in den meisten Fällen polynomisch sind. Wissen Sie, ob jemand untersucht, welche Klassen von NFAs Polynomläufe für die Antichain-Algorithmen liefern?
Jmite

2

Als negatives Beispiel wird in diesem Artikel von Kozen gezeigt, dass bei gegebenen DFAs entschieden wird, ob PSPACE-vollständig ist (a direktes Ergebnis von Lemma 3.2.3 in der Arbeit).A1,...,Ani=1nL(Ai)=Σ

Somit ist die Entscheidung über die Eindämmung selbst für endlich mehrdeutige NFAs PSPACE-vollständig.

Dies bedeutet zwar nicht, dass Ihr Fall nicht effizient entschieden werden kann, gibt jedoch Hinweise darauf, dass dies möglicherweise nicht der Fall ist.


Während sowohl wahre als auch gute Ratschläge, nicht ganz das, wonach ich suche. Ich denke, wenn es PSPACE-vollständig ist, selbst für endlich mehrdeutige NFAs, möchte ich wissen, für welche Unterklassen von FA-NFAs ist es polynomisch?
Jmite
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.