Separating words with machines and groups J. M. Robson — 1996 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications