On the Separation Question for Tree Languages

We show that the separation property fails for the classes Σ n of the Rabin-Mostowski index hierarchy of alternating automata on infinite trees. This extends our previous result (obtained with Szczepan Hummel) on the failure of the separation property for the class Σ 2 (i.e., for co-Büchi sets). The...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Theory of computing systems 2014-11, Vol.55 (4), p.833-855
Hauptverfasser:	Arnold, André, Michalewski, Henryk, Niwiński, Damian
Format:	Artikel
Sprache:	eng
Schlagworte:	Analysis Automation Computer Science Set theory Studies Theory of Computation Trees
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!