O documento propõe um simulador de autômatos finitos determinísticos (AFDs) e não determinísticos (AFNDs) chamado GAM para auxiliar no ensino de conceitos de linguagens formais nos ambientes Linux e Windows. A ferramenta possui módulos para visualização, representação e manipulação de autômatos, conversão de AFND para AFD e minimização de AFD.

1. G I N U X A B S T R A C T M A C H I N E P R O P O S TA D E U M
S I M U L A D O R D E O P E R A Ç Õ E S S O B R E
A U T Ô M ATA N O S E M A M B I E N T E L I N U X E
W I N D O W S PA R A A U XI L I O A O E S TA D O
A C A D Ê M I C O .
A N I B A L S . J U K E M U R A ,
H U G O A . D . D O N A S C I M E N T O ,
J O A Q U I M Q . U C H Ô A
I N S T I T U T O D E I N F O R M Á T I C A – U N I V E R S I D A D E F E D E R A L D E
G O I Á S ( U F G )
D E P A R T A M E N T O D E C I Ê N C I A S D A C O M P U T A Ç Ã O , U N I V E R S I D A D E
F E D E R A L D E L A V R A S ( U F L A )
M A I C O N S C H E I D , M A U R I C I O G U S I
GAM

2. A Ferramenta GAM
 A Ginux abstract machine e uma ferramenta
opensourse que pode ser utilizada em sala de aula ou
em laboratório. Como parte de material de apoio
para o aprendizado de conceitos de linguagens
formais.

3. Estrutura Interna
 Usuário
 Módulo principal de visualização (interface gráfica)
 Módulo dos Autômatos - este módulo é composto pela classe
que armazena funcionalmente os autômatos que serão manipulados
pela GAM.
 Módulo de minimização de AFDs - é chamado pelo usuário
para minimizar um autômato AFD. O resultado, o autômato mínimo, é
apresentado na tela através do módulo principal de visualização.

4. Estrutura Interna
 Módulo de Conversão de um AFN para um AFD
 Módulo de Entrada/Saída

5. Limitações da Versão
 Símbolos
 O Quadro de Desenhos
 Os Símbolos das Transições
 Justificativa

6. Interfase
Gráfica
Entrada de Dados
(Cadeia de
Caracteres)
Visualização
do Autômato
(Grafo
Direcionado
Validação de
Entrada
Aceita/Rejeita
Autômato
Disco
Minimização de AFD
Conversão
AFND AFD
Salvar
Projeto
Carregar
Projeto

7. Interfase Gráfica
Caixa de Ferram
Janela de Desenhos
Menu Principal
Caixa de Análise
de Entrada

8. Esclarecendo

9. Interfase Gráfica
 Escolha do Tipo de Máquina e Operações

10. Funcionamento da GAM
Conversão de um AFND para um AFD

11. Minimização de uma AFD

12. Passo a Passo

13. Avaliação da Ferramenta
 Planejando o Experimento
 Estágio 1
 Estágio 2
 Estágio 3

14. Resultados Encontrados
 Estágios
 Bug
 Uso da Ferramenta
 Instalação da Ferramenta

15. Comparação com Outras Ferramentas

16. Conclusão
 A GAM foi implementada com as funções de simulação
de AFDs e AFNDs, com opções de análise passo a passo e
análise total para strings de entrada com até vinte
caracteres. Com o auxílio da interface gráfica que expõe a
função programa, fica evidente a facilidade de estudar
essas classes de uma forma muito clara e prática.
 A principal vantagem da ferramenta encontra-se nas
funções de simulação de AFD e AFND, juntamente com
as operações de conversão de AFNDs para AFDs e
minimização de AFDs, as quais fornecem uma excelente
opção prática à exposição teórica do estudo desses itens,
além de economizar muito tempo em simulações de
cadeias de caracteres de entrada para os autômatos
durante demonstrações em sala de aula.