Lf maicon scheid_mauriciogusi
-
Upload
maicon-scheid -
Category
Documents
-
view
125 -
download
0
Transcript of Lf maicon scheid_mauriciogusi
![Page 1: Lf maicon scheid_mauriciogusi](https://reader035.fdocuments.net/reader035/viewer/2022062522/587a17c21a28abb4238b5763/html5/thumbnails/1.jpg)
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
![Page 2: Lf maicon scheid_mauriciogusi](https://reader035.fdocuments.net/reader035/viewer/2022062522/587a17c21a28abb4238b5763/html5/thumbnails/2.jpg)
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.
![Page 3: Lf maicon scheid_mauriciogusi](https://reader035.fdocuments.net/reader035/viewer/2022062522/587a17c21a28abb4238b5763/html5/thumbnails/3.jpg)
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.
![Page 4: Lf maicon scheid_mauriciogusi](https://reader035.fdocuments.net/reader035/viewer/2022062522/587a17c21a28abb4238b5763/html5/thumbnails/4.jpg)
Estrutura Interna
Módulo de Conversão de um AFN para um AFD
Módulo de Entrada/Saída
![Page 5: Lf maicon scheid_mauriciogusi](https://reader035.fdocuments.net/reader035/viewer/2022062522/587a17c21a28abb4238b5763/html5/thumbnails/5.jpg)
Limitações da Versão
Símbolos
O Quadro de Desenhos
Os Símbolos das Transições
Justificativa
![Page 6: Lf maicon scheid_mauriciogusi](https://reader035.fdocuments.net/reader035/viewer/2022062522/587a17c21a28abb4238b5763/html5/thumbnails/6.jpg)
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
![Page 7: Lf maicon scheid_mauriciogusi](https://reader035.fdocuments.net/reader035/viewer/2022062522/587a17c21a28abb4238b5763/html5/thumbnails/7.jpg)
Interfase Gráfica
Caixa de Ferramentas
Janela de Desenhos
Menu Principal
Caixa de Análise de Entrada
![Page 8: Lf maicon scheid_mauriciogusi](https://reader035.fdocuments.net/reader035/viewer/2022062522/587a17c21a28abb4238b5763/html5/thumbnails/8.jpg)
Esclarecendo
![Page 9: Lf maicon scheid_mauriciogusi](https://reader035.fdocuments.net/reader035/viewer/2022062522/587a17c21a28abb4238b5763/html5/thumbnails/9.jpg)
Interfase Gráfica
Escolha do Tipo de Máquina e Operações
![Page 10: Lf maicon scheid_mauriciogusi](https://reader035.fdocuments.net/reader035/viewer/2022062522/587a17c21a28abb4238b5763/html5/thumbnails/10.jpg)
Funcionamento da GAM
Conversão de um AFND para um AFD
![Page 11: Lf maicon scheid_mauriciogusi](https://reader035.fdocuments.net/reader035/viewer/2022062522/587a17c21a28abb4238b5763/html5/thumbnails/11.jpg)
Minimização de uma AFD
![Page 12: Lf maicon scheid_mauriciogusi](https://reader035.fdocuments.net/reader035/viewer/2022062522/587a17c21a28abb4238b5763/html5/thumbnails/12.jpg)
Passo a Passo
![Page 13: Lf maicon scheid_mauriciogusi](https://reader035.fdocuments.net/reader035/viewer/2022062522/587a17c21a28abb4238b5763/html5/thumbnails/13.jpg)
Avaliação da Ferramenta
Planejando o Experimento
Estágio 1
Estágio 2
Estágio 3
![Page 14: Lf maicon scheid_mauriciogusi](https://reader035.fdocuments.net/reader035/viewer/2022062522/587a17c21a28abb4238b5763/html5/thumbnails/14.jpg)
Resultados Encontrados
Estágios
Bug
Uso da Ferramenta
Instalação da Ferramenta
![Page 15: Lf maicon scheid_mauriciogusi](https://reader035.fdocuments.net/reader035/viewer/2022062522/587a17c21a28abb4238b5763/html5/thumbnails/15.jpg)
Comparação com Outras Ferramentas
![Page 16: Lf maicon scheid_mauriciogusi](https://reader035.fdocuments.net/reader035/viewer/2022062522/587a17c21a28abb4238b5763/html5/thumbnails/16.jpg)
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.