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 X I 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 PA 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

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.

Estrutura Interna

UsuárioMó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.

Estrutura Interna

Módulo de Conversão de um AFN para um AFD

Módulo de Entrada/Saída

Limitações da Versão

Símbolos

O Quadro de Desenhos

Os Símbolos das Transições

Justificativa

Interfase GráficaEntrada de Dados

(Cadeia de Caracteres)

Visualização do Autômato

(Grafo Direcionado

Validação de Entrada

Aceita/Rejeita

AutômatoDisco

Minimização de AFD

Conversão AFND AFD

Salvar Projeto

Carregar Projeto

Interfase Gráfica

Caixa de Ferramentas

Janela de Desenhos

Menu Principal

Caixa de Análise de Entrada

Esclarecendo

Interfase Gráfica

Escolha do Tipo de Máquina e Operações

Funcionamento da GAM

Conversão de um AFND para um AFD

Minimização de uma AFD

Passo a Passo

Avaliação da Ferramenta

Planejando o Experimento

Estágio 1

Estágio 2

Estágio 3

Resultados Encontrados

Estágios

Bug

Uso da Ferramenta

Instalação da Ferramenta

Comparação com Outras Ferramentas

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.