Sofic Tree-Shifts

We introduce the notion of sofic tree-shifts which corresponds to symbolic dynamical systems of infinite ranked trees accepted by finite tree automata. We show that, contrary to shifts of infinite sequences, there is no unique reduced deterministic irreducible tree automaton accepting an irreducible...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Theory of computing systems Jg. 53; H. 4; S. 621 - 644
Hauptverfasser: Aubrun, Nathalie, Béal, Marie-Pierre
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Boston Springer US 01.11.2013
Springer Nature B.V
Springer Verlag
Schlagworte:
ISSN:1432-4350, 1433-0490
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!