Automata on Infinite Trees with Equality and Disequality Constraints Between Siblings

This article is inspired by two works from the early 90s. The first one is by Bogaert and Tison who considered a model of automata on finite ranked trees where one can check equality and disequality constraints between direct subtrees: they proved that this class of automata is closed under Boolean...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science S. 227 - 236
Hauptverfasser:	Carayol, Arnaud, Löding, Christof, Serre, Olivier
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	New York, NY, USA ACM 05.07.2016
Schriftenreihe:	ACM Conferences
Schlagworte:	Theory of computation Theory of computation > Formal languages and automata theory Theory of computation > Logic Automata on infinite trees Automata with equality and disequality constraints Emptiness problem Finiteness problem
ISBN:	9781450343916, 1450343910
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!