Groups, formal language theory and decidability