×

zbMATH — the first resource for mathematics

Multidimensional effective \(S\)-adic subshifts are sofic. (English) Zbl 1433.37009
Summary: In this article we prove that multidimensional effective \(S\)-adic systems, obtained by applying an effective sequence of substitutions chosen among a finite set of substitutions, are sofic subshifts.

MSC:
37B10 Symbolic dynamics
37B51 Multidimensional shifts of finite type
03D10 Turing machines and related notions
03F60 Constructive and recursive analysis
PDF BibTeX XML Cite
Full Text: Link