A note on the computational complexity of some problems for self-verifying finite automata
Lade...
Dateien
Datum
Autor:innen
Betreuer/Gutachter
Weitere Beteiligte
Beteiligte Institutionen
Herausgeber
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Verlag
Lizenz
Zitierlink
Zusammenfassung
We consider the computational complexity of some problems for self-verifying finite automata (svFAs). In particular, we answer a question stated in the open problem session of the Workshop on Descriptional Complexity of Formal Systems 2015 held in Waterloo, Ontario, Canada, on the complexity of the promise version of the general membership problem for svFAs, showing that this problem is NL-complete.Verknüpfung zu Publikationen oder weiteren Datensätzen
Beschreibung
Anmerkungen
Erstpublikation in
Erstpublikation in
Sammelband
Sammlungen
URI der Erstpublikation
Forschungsdaten
Schriftenreihe
IFIG Research Report; 1702