2019
DOI: 10.1007/s10955-019-02407-z
|View full text |Cite
|
Sign up to set email alerts
|

Decidability of Irreducible Tree Shifts of Finite Type

Abstract: We reveal an algorithm for determining the complete prefix code irreducibility (CPC-irreducibility) of dyadic trees labeled by a finite alphabet. By introducing an extended directed graph representation of tree shift of finite type (TSFT), we show that the CPC-irreducibility of TSFTs is related to the connectivity of its graph representation, which is a similar result to one-dimensional shifts of finite type.

Help me understand this report
View preprint versions

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2021
2021
2024
2024

Publication Types

Select...
3
1

Relationship

1
3

Authors

Journals

citations
Cited by 4 publications
(1 citation statement)
references
References 35 publications
0
1
0
Order By: Relevance
“…For instance, the topological conjugacy between two superior symbolic systems (shifts of finite type, to be precise) is decidable; irreducible shifts of finite type are chaotic in Devaney's sense; a stronger type of irreducibility is decidable. See [1,2,3,4,5,9,16] and the references therein for more details.…”
Section: Introductionmentioning
confidence: 99%
“…For instance, the topological conjugacy between two superior symbolic systems (shifts of finite type, to be precise) is decidable; irreducible shifts of finite type are chaotic in Devaney's sense; a stronger type of irreducibility is decidable. See [1,2,3,4,5,9,16] and the references therein for more details.…”
Section: Introductionmentioning
confidence: 99%