No label defined (Q4037002)

[For the entire collection see Zbl 0755.00019.] The authors generalise the idea of a transitive sofic system to what they call coded systems. A coded system is a subshift which is the closure of a uniformly continuous image of a countable irreducible Markov chain. Such a Markov chain together with the uniformly continuous map is called a cover. The authors then generalise many results for sofic systems to appropriate sub-classes of the coded systems -- the synchronised and half-synchronised systems. They define canonical Fischer covers for such systems and by using its characterisations develop an analogue of the sofic almost Markov theory. The paper not only develops the theory but is also a full exposition of the ideas.