"Autômatos que geram produtos livres de grupos de ordem 2"