Ferramentas para o Aprendizado de Linguagens Formais e Autômatos
Resumo
Este trabalho coleta diferentes ferramentas que podem ser aplicadas no uso, estudo e aplicação de conceitos na disciplina de Linguagens Formais e Autômatos, além de traçar um breve comparativo entre suas diferentes características, funcionalidades e comportamentos, o que pode ser muito útil na referida disciplina do curso de Ciência da Computação. Muitas vezes essa é dada de maneira apenas teórica, assim, ferramentas para auxiliar no processo de ensino e aprendizagem são bem-vindas.
Palavras-chave:
Formal Languages and Automata, Educational Tools
Referências
Alkmin, G. P. e Mello, B.A. (2010). Ferramenta de apoio às fases iniciais do ensino de Linguagens Formais e Autômatos e Compiladores. Anais do XXII Simpósio Brasileiro de Informática na Educação. Sociedade Brasileira de Computação, João Pessoa. p.1-4.
Barbosa C. R. S. C. Bonidia R. P. e Coelho Neto, J. (2019). Flex, JFlex e GALS: Ferramentas de Apoio ao Ensino de Compiladores. Anais do XXVII Workshop sobre Educação em Computação. Sociedade Brasileira de Computação, Belém. p.176-187.
Barbosa C. R. S. C., Faria, C. R. e Campano Junior, M. M. (2021). Análise de Ferramentas de Compiladores em Ambientes Virtualizados. In Revista Brasileira de Informática na Educação, v.29. p.1262-1290. RBIE.
Brito Junior, O. e Aguiar, Y. P. C. A. (2018). Taxonomia de critérios para avaliação de software educativo – TaCASE. Anais do XXIX Simpósio Brasileiro de Informática na Educação. Sociedade Brasileira de Computação, Fortaleza. p.298-307.
Burch, C. (2006). “Autosim”, http://www.cburch.com/proj/autosim/, Outubro de 2022.
Campano Junior, M. M., Barbosa, C. R. S. C. Faria, C. R. e Felinto A. S. (2019). Um merge entre Máquina de Turing e Operações Matemáticas em Binário no Ensino de Linguagens Formais e Autômatos. Vol. 15. Anais do XXIV Congresso Internacional de Informática Educativa. J. Sanchéz (Ed.), Santiago do Chile. p.78-83.
Dickerson, K. (2021). “Automaton Simulator”, https://automatonsimulator.com/, Outubro de 2022.
Doty, D. (2020). “Automaton Simulator”, [link], Outubro de 2022.
Hopcroft J. E., Motwani R. and Ullman, J. D. (2001). Introduction to automata theory, languages, and computation. Addison Wesley, 2rd edition, [link], Outubro de 2022.
Jargas, A. M. (2012). Expressões Regulares: uma abordagem divertida. São Paulo: Novatec.
JFLAP. (2018). “JFLAP 7.0 Tutorial. https://www.jflap.org/tutorial/, Outubro de 2022.
Menezes, P. B. (1998). Linguagens Formais e Autômatos. Porto Alegre: Instituto de Informática da UFRGS e Editora Sagra Luzatto, 2ª edição.
Paul, J. (2015). Using JFLAP to engage students and improve learning of compute r science theory: tutorial presentation. In Journal of Computing Sciences in Colleges, v.26, pages 145-148.
Pereira, C. H and Terra R. (2018). A mobile app for teaching formal languages and automata. In Computer Applications in Engineering Education, v.26, n.5, pages 1742 –1752.
Ramos, M. V. (2009). Ensino de linguagens formais e autômatos em cursos superiores de computação. In Revista de Computação e Tecnologia da PUC-SP. v.1, n.1, pages 22-34.
Rodger, S. H, Bilska, A. O., Leider, K. H., Procopiuc, M., Procopiu c, O., Salemme, J. R. and Edwin, T. (1997). A collection of tools for making automata theory and formal languages come alive. In Association for Computing Machinery. v.29, n.1, pages 15-19.
Rodger, S. H., Lim, J. and Reading, S. (2007). Increasing interaction and support in the formal languages and automata theory course. In ACM SIGCSE Bulletin, v.39, n.3, pages 58-62.
Rosa, J. L. G. (2010). Linguagens Formais e Autômatos. Rio de Janeiro: LTC. Wallace, E. (2010). “Finite State Machine Designer”, [link], Outubro de 2022.
White, T. (2006). “JFAST – a Java Automata Simulator”, [link], Outubro de 2022.
Zuzak, I. (2017). “FSM Simulator”, [link], Outubro de 2022.
Barbosa C. R. S. C. Bonidia R. P. e Coelho Neto, J. (2019). Flex, JFlex e GALS: Ferramentas de Apoio ao Ensino de Compiladores. Anais do XXVII Workshop sobre Educação em Computação. Sociedade Brasileira de Computação, Belém. p.176-187.
Barbosa C. R. S. C., Faria, C. R. e Campano Junior, M. M. (2021). Análise de Ferramentas de Compiladores em Ambientes Virtualizados. In Revista Brasileira de Informática na Educação, v.29. p.1262-1290. RBIE.
Brito Junior, O. e Aguiar, Y. P. C. A. (2018). Taxonomia de critérios para avaliação de software educativo – TaCASE. Anais do XXIX Simpósio Brasileiro de Informática na Educação. Sociedade Brasileira de Computação, Fortaleza. p.298-307.
Burch, C. (2006). “Autosim”, http://www.cburch.com/proj/autosim/, Outubro de 2022.
Campano Junior, M. M., Barbosa, C. R. S. C. Faria, C. R. e Felinto A. S. (2019). Um merge entre Máquina de Turing e Operações Matemáticas em Binário no Ensino de Linguagens Formais e Autômatos. Vol. 15. Anais do XXIV Congresso Internacional de Informática Educativa. J. Sanchéz (Ed.), Santiago do Chile. p.78-83.
Dickerson, K. (2021). “Automaton Simulator”, https://automatonsimulator.com/, Outubro de 2022.
Doty, D. (2020). “Automaton Simulator”, [link], Outubro de 2022.
Hopcroft J. E., Motwani R. and Ullman, J. D. (2001). Introduction to automata theory, languages, and computation. Addison Wesley, 2rd edition, [link], Outubro de 2022.
Jargas, A. M. (2012). Expressões Regulares: uma abordagem divertida. São Paulo: Novatec.
JFLAP. (2018). “JFLAP 7.0 Tutorial. https://www.jflap.org/tutorial/, Outubro de 2022.
Menezes, P. B. (1998). Linguagens Formais e Autômatos. Porto Alegre: Instituto de Informática da UFRGS e Editora Sagra Luzatto, 2ª edição.
Paul, J. (2015). Using JFLAP to engage students and improve learning of compute r science theory: tutorial presentation. In Journal of Computing Sciences in Colleges, v.26, pages 145-148.
Pereira, C. H and Terra R. (2018). A mobile app for teaching formal languages and automata. In Computer Applications in Engineering Education, v.26, n.5, pages 1742 –1752.
Ramos, M. V. (2009). Ensino de linguagens formais e autômatos em cursos superiores de computação. In Revista de Computação e Tecnologia da PUC-SP. v.1, n.1, pages 22-34.
Rodger, S. H, Bilska, A. O., Leider, K. H., Procopiuc, M., Procopiu c, O., Salemme, J. R. and Edwin, T. (1997). A collection of tools for making automata theory and formal languages come alive. In Association for Computing Machinery. v.29, n.1, pages 15-19.
Rodger, S. H., Lim, J. and Reading, S. (2007). Increasing interaction and support in the formal languages and automata theory course. In ACM SIGCSE Bulletin, v.39, n.3, pages 58-62.
Rosa, J. L. G. (2010). Linguagens Formais e Autômatos. Rio de Janeiro: LTC. Wallace, E. (2010). “Finite State Machine Designer”, [link], Outubro de 2022.
White, T. (2006). “JFAST – a Java Automata Simulator”, [link], Outubro de 2022.
Zuzak, I. (2017). “FSM Simulator”, [link], Outubro de 2022.
Publicado
24/10/2022
Como Citar
MIONI, José Luiz Villela Marcondes; BARBOSA, Cinthyan Renata Sachs C. de.
Ferramentas para o Aprendizado de Linguagens Formais e Autômatos. In: TRILHA DE EDUCAÇÃO – ARTIGOS COMPLETOS - SIMPÓSIO BRASILEIRO DE JOGOS E ENTRETENIMENTO DIGITAL (SBGAMES), 21. , 2022, Natal/RN.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2022
.
p. 969-978.
DOI: https://doi.org/10.5753/sbgames_estendido.2022.226108.
