![Page 1: 1 SCTMF Sistema para Criação e Testes de Modelos Formais](https://reader036.vdocuments.pub/reader036/viewer/2022062512/552fc101497959413d8bceb0/html5/thumbnails/1.jpg)
11
SCTMFSCTMFSistema para Criação e Testes de Sistema para Criação e Testes de
Modelos FormaisModelos Formais
![Page 2: 1 SCTMF Sistema para Criação e Testes de Modelos Formais](https://reader036.vdocuments.pub/reader036/viewer/2022062512/552fc101497959413d8bceb0/html5/thumbnails/2.jpg)
22
Acadêmico/OrientadorAcadêmico/Orientador
Acadêmico: Rafael CassolatoFundação FAFIMAN.
Orientador: Yandre Maldonado e Gomes da GostaMestre em Ciência da Computação –
INF/UFRGSProfessor Assistente no Departamento
de Informática - UEM
![Page 3: 1 SCTMF Sistema para Criação e Testes de Modelos Formais](https://reader036.vdocuments.pub/reader036/viewer/2022062512/552fc101497959413d8bceb0/html5/thumbnails/3.jpg)
33
ConteúdoConteúdo
Motivação para Criação do SistemaO que será implementadoModelos FormaisSCTMF
ArquiteturaSistemaFuturas melhoriasCasos de Uso
Visão GeralAFDAP
![Page 4: 1 SCTMF Sistema para Criação e Testes de Modelos Formais](https://reader036.vdocuments.pub/reader036/viewer/2022062512/552fc101497959413d8bceb0/html5/thumbnails/4.jpg)
44
MotivaçãoMotivação
Grande Dificuldade por parte dos alunos que estudam os modelos formais.
Modelos Formais possuem forte caráter matemático.
A criação de um sistema para criação e testes desses modelos pode favorecer o ensino de tais conceitos.
![Page 5: 1 SCTMF Sistema para Criação e Testes de Modelos Formais](https://reader036.vdocuments.pub/reader036/viewer/2022062512/552fc101497959413d8bceb0/html5/thumbnails/5.jpg)
55
ImplementaçãoImplementação
Linguagens Regulares: Autômato Finito Determinístico (AFD) Autômato Finito Não Determinístico (ANFD) Autômato Finito com Movimentos Vazios(AFMV) Expressões Regulares (ER)
Linguagens Livre de Contexto: Autômato Com Pilha (AP) Gramática Livre de Contexto (GLC)
Linguagens Enumeráveis Recursivamente Máquina de Turing (MT)
![Page 6: 1 SCTMF Sistema para Criação e Testes de Modelos Formais](https://reader036.vdocuments.pub/reader036/viewer/2022062512/552fc101497959413d8bceb0/html5/thumbnails/6.jpg)
66
SCTMFSCTMF
Arquitetura:Estilo plugável: são desenvolvidos
módulos separados onde cada módulo
representa um modelo formal. Sistema:
Linguagem Multiplataforma;Distribuição via Java Web Start.Funcionalidade de Salvar e Abrir
Modelos Formais.
{Java 6.0
![Page 7: 1 SCTMF Sistema para Criação e Testes de Modelos Formais](https://reader036.vdocuments.pub/reader036/viewer/2022062512/552fc101497959413d8bceb0/html5/thumbnails/7.jpg)
77
Caso de Uso– Visão GeralCaso de Uso– Visão Geral
![Page 8: 1 SCTMF Sistema para Criação e Testes de Modelos Formais](https://reader036.vdocuments.pub/reader036/viewer/2022062512/552fc101497959413d8bceb0/html5/thumbnails/8.jpg)
88
Caso de Uso - AFDCaso de Uso - AFD
![Page 9: 1 SCTMF Sistema para Criação e Testes de Modelos Formais](https://reader036.vdocuments.pub/reader036/viewer/2022062512/552fc101497959413d8bceb0/html5/thumbnails/9.jpg)
99
Caso de Uso – APCaso de Uso – AP
![Page 10: 1 SCTMF Sistema para Criação e Testes de Modelos Formais](https://reader036.vdocuments.pub/reader036/viewer/2022062512/552fc101497959413d8bceb0/html5/thumbnails/10.jpg)
1010
SCTMFSCTMF
Ferramentas: Java 6.0 – Linguagem. JUDE 3.2.1 – UML NetBeans 5.5 – IDE
Licença: Apache Licence 2.0
Distribuição: http://myjavaserver.com/~cassolato
Subversion: http://code.google.com/p/stcmf
![Page 11: 1 SCTMF Sistema para Criação e Testes de Modelos Formais](https://reader036.vdocuments.pub/reader036/viewer/2022062512/552fc101497959413d8bceb0/html5/thumbnails/11.jpg)
1111
SCTMFSCTMF
![Page 12: 1 SCTMF Sistema para Criação e Testes de Modelos Formais](https://reader036.vdocuments.pub/reader036/viewer/2022062512/552fc101497959413d8bceb0/html5/thumbnails/12.jpg)
1212
Trabalhos futurosTrabalhos futuros
Trabalhos futurosInclusão de algoritmos de
transformação entre alguns modelos diferentes;
Inclusão de algoritmos de otimização para alguns modelos;
Sistema de plugins – sincronização do sistema com um servidor.
Interface interativa.
![Page 14: 1 SCTMF Sistema para Criação e Testes de Modelos Formais](https://reader036.vdocuments.pub/reader036/viewer/2022062512/552fc101497959413d8bceb0/html5/thumbnails/14.jpg)
1414
BibliografiaBibliografia
P. B. Menezes in Linguagens Formais e Autômatos, Ed.: Sagra-Luzzatto, Porto Alegre, 1998.
J. E. Hopcroft; J. D. Ullman; R. Motwani in Introdução à Teoria de Autômatos, Linguagens e Computação, Ed.: Campus, Rio de Janeiro, 2002.
A. S. Jukemura; H. A. D. Nascimento; J. Q. Uchoa in GAM – Um simulador para auxiliar o ensino de linguagens formais e autômatos in Anais do 25º Congresso da Sociedade Brasileira de Computação, São Leopoldo, 2005.
G. Fernandes; Y. M. G. Costa in Construção de uma Ferramenta para Auxílio didático no Ensino de Linguagens formais e Autômatos in Anais do XI EAIC – Encontro Anual de Iniciação Científica (PIBIC/Cnpq), Maringá, 2002.