publicações selecionadas Gerador automático de reconhecedores de linguagens por matrizes de transição com particionamento