Symbolic dynamics and finite automata (1997)

by M-P Béal, D Perrin
Venue:Handbook of Formal Languages