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