Article ID Journal Published Year Pages File Type
438818 Theoretical Computer Science 2006 8 Pages PDF
Abstract

We study the relationship between codes and unambiguous automata inside a sofic system. We show that a recognizable set is a code in a sofic system if and only if a particular automaton associated to the set and the shift is unambiguous. We discuss an example of a finite complete code in a sofic system in connection with the factorization conjecture.

Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics