Multidimensional effective S-adic systems are sofic
arXiv:1103.0895
Abstract
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.