Dominique Perrin Symbolic Dynamics and Finite Automata. 94-104 1995 conf/mfcs/1995 MFCS db/conf/mfcs/mfcs95.html#Perrin95 http://dx.doi.org/10.1007/3-540-60246-1_116