Finite automata of polynomial growth do not generate a free group.

From MaRDI portal
Publication:1768261