Tree-shifts of finite type

N Aubrun, MP Béal - Theoretical Computer Science, 2012 - Elsevier
A one-sided (resp. two-sided) shift of finite type of dimension one can be described as the
set of infinite (resp. bi-infinite) sequences of consecutive edges in a finite-state automaton …

[HTML][HTML] Tree shift topological entropy

K Petersen, I Salama - Theoretical Computer Science, 2018 - Elsevier
Tree shift topological entropy - ScienceDirect Skip to main contentSkip to article Elsevier logo
Journals & Books Search RegisterSign in View PDF Download full issue Search …

Entropy on regular trees

K Petersen, I Salama - arXiv preprint arXiv:1909.05153, 2019 - arxiv.org
We show that the limit in our definition of tree shift topological entropy is actually the infimum,
as is the case for both the topological and measure-theoretic entropies in the classical …

Sofic tree-shifts

N Aubrun, MP Béal - Theory of Computing Systems, 2013 - Springer
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 …

Sofic and almost of finite type tree-shifts

N Aubrun, MP Béal - Computer Science–Theory and Applications: 5th …, 2010 - Springer
We introduce the notion of sofic tree-shifts which corresponds to symbolic dynamical
systems of infinite trees accepted by finite tree automata. We show that, contrary to shifts of …

Hausdorff dimensions of topologically transitive Markov hom tree-shifts

JC Ban, GY Lai, YL Wu - arXiv preprint arXiv:2401.05320, 2024 - arxiv.org
This paper features an analog of Sanov's theorem for finite-state Markov chains indexed by
rooted d-trees, obtained via the method of types in the classical analysis of large deviations …

On the stability and shadowing of tree-shifts of finite type

D Bucki - Proceedings of the American Mathematical Society, 2024 - ams.org
We investigate relations between the pseudo-orbit-tracing property, topological stability and
openness for tree-shifts. We prove that a tree-shift is of finite type if and only if it has the …

[HTML][HTML] A language hierarchy and Kitchens-type theorem for self-similar groups

A Penland, Z Šunić - Journal of Algebra, 2019 - Elsevier
We generalize the notion of self-similar groups of infinite tree automorphisms to allow for
groups which are defined on a tree but may not act faithfully on it. The elements of such a …

Undecidable word problem in subshift automorphism groups

P Guillon, E Jeandel, J Kari, P Vanier - … 2019, Novosibirsk, Russia, July 1–5 …, 2019 - Springer
This article studies the complexity of the word problem in groups of automorphisms (or
reversible cellular automata) of subshifts. We show in particular that for any computably …

Tree algebra of sofic tree languages∗

N Aubrun, MP Béal - RAIRO-Theoretical Informatics and Applications, 2014 - cambridge.org
We consider the languages of finite trees called tree-shift languages which are factorial
extensible tree languages. These languages are sets of factors of subshifts of infinite trees …