Separating words with machines and groups

From MaRDI portal