Autómatos finitos usando o GAP

O GAP (Groups, Algorithms and Programming) é um sistema livre para a álgebra computacional discreta. Em conjunto com J. Morais implementámos um conjunto de algoritmos básicos envolvendo autómatos e linguagens racionais que pode ser utilizado como qualquer pacote GAP. A presente versão está disponível em: http://www.fc.up.pt/cmup/mdelgado/Automata-02/ e é de aspectos ligados à utilização deste pacote que pretendo falar no seminário. Darei alguma ênfase a uma heurística usada para obter expressões racionais razoavelmente pequenas para a linguagem reconhecida por um autómato finito.