https://123dok.net/document/yng7ndkz-combinatorial-substitutions-and-sofic-tilings.html