On the complexity of ω-pushdown automata

Finite automata over infinite words （called w-automata） play an important role in the automata- theoretic approach to system verification. Different types of w-automata differ in their succinctness and complexity of their emptiness problems, as a result, theory of w-automata has received considerabl...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Science China. Information sciences 2017-11, Vol.60 (11), p.152-166, Article 112102
Hauptverfasser:	Lei, Yusi, Song, Fu, Liu, Wanwei, Zhang, Min
Format:	Artikel
Sprache:	eng
Schlagworte:	Algorithms Automata theory Complexity Computer Science Information Systems and Communication Service Parity Polynomials Research Paper Temporal logic 下推自动机复杂性有限自动机空间复杂度系统验证自然模型逻辑检查高效算法
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!