Uma Ferramenta para Auxílio Didático no Ensino de Teoria da Computação
Resumo
Este artigo discorre acerca de um ambiente de auxílio didático que permite a criação de modelos formais estudados em teoria da computação. Este ambiente é multiplataforma e permite realizar testes sintáticos sobre cadeias de entrada que são fornecidas pelo usuário. Esta ferramenta oferece a possibilidade de criar tanto modelos úteis para a especificação de linguagens regulares e livres de contexto (importantes, por exemplo, para a especificação de linguagens de programação), quanto a Máquina de Turing (modelo útil para estudos de computabilidade). Desta forma, a ferramenta pode apoiar o ensino de modelos relacionados a todas as classes da Hierarquia de Chomsky.Referências
Bovet, J. (2008) “VAS – Visual Automata Simulator”, [link], Acessado em Fevereiro de 2008.
Chomsky, Noam (1956) “Three Models for the Description of Language”, em: IRE Transaction on Information Theory.
Divério, T. A. e Menezes, P. B. (2000) “Teoria da Computação – Máquinas Universais e Computabilidade”, Sagra Luzzatto, 2ª. Edição.
Hopcroft, J. E., Motwani, R. e Ullman, J. D. (2001) “Introduction to Automata Theory Languages, and Computation”, Addison Wesley, 2a. Edição.
Jukemura, A. S., Nascimento, H. A. D. do e Uchôa, J. Q. (2005) “GAM – Um Simulador para Auxiliar o Ensino de Linguagens Formais e de Autômatos”, em: XIII Workshop sobre Educação em Computação – XXV Congresso da Sociedade Brasileira de Computação.
McGettrick, A., Boyle, R., Ibbett R., Lloyd, J., Lovegrove, G. e Mander, K. (2004) “Grand Chalenges in Computing – Education”. The British Computer Society.
Menezes, P. B. (1998) “Linguagens Formais e Autômatos”, Sagra Luzzatto, 2a. Edição.
Rodger, S. H., Lim J. e Reading, S. (2007) “Increasing Interaction and Support in the Formal Language and Automata Theory Course”, em: The 12th Annual Conference on Inovation and Thecnology in Computer Science Education (ITiCSE 2007).
Sipser, M. (2007) “Introduction to the Theory of Computation”, Course Technology, 2a. Edição.
Vieira, L. F. M., Vieira, M. A. M. e Vieira, N. J. (2003) “Language Emulator, uma ferramenta de auxílio no ensino de Teoria da Computação”, em: XIII Workshop sobre Educação em Computação – XXV Congresso da Sociedade Brasileira de Computação.
Vieira, N. J. (2006) “Introdução aos Fundamentos da Computação – Linguagens e Máquinas”, Thomson Learning Edições, 1a. Edição.
Chomsky, Noam (1956) “Three Models for the Description of Language”, em: IRE Transaction on Information Theory.
Divério, T. A. e Menezes, P. B. (2000) “Teoria da Computação – Máquinas Universais e Computabilidade”, Sagra Luzzatto, 2ª. Edição.
Hopcroft, J. E., Motwani, R. e Ullman, J. D. (2001) “Introduction to Automata Theory Languages, and Computation”, Addison Wesley, 2a. Edição.
Jukemura, A. S., Nascimento, H. A. D. do e Uchôa, J. Q. (2005) “GAM – Um Simulador para Auxiliar o Ensino de Linguagens Formais e de Autômatos”, em: XIII Workshop sobre Educação em Computação – XXV Congresso da Sociedade Brasileira de Computação.
McGettrick, A., Boyle, R., Ibbett R., Lloyd, J., Lovegrove, G. e Mander, K. (2004) “Grand Chalenges in Computing – Education”. The British Computer Society.
Menezes, P. B. (1998) “Linguagens Formais e Autômatos”, Sagra Luzzatto, 2a. Edição.
Rodger, S. H., Lim J. e Reading, S. (2007) “Increasing Interaction and Support in the Formal Language and Automata Theory Course”, em: The 12th Annual Conference on Inovation and Thecnology in Computer Science Education (ITiCSE 2007).
Sipser, M. (2007) “Introduction to the Theory of Computation”, Course Technology, 2a. Edição.
Vieira, L. F. M., Vieira, M. A. M. e Vieira, N. J. (2003) “Language Emulator, uma ferramenta de auxílio no ensino de Teoria da Computação”, em: XIII Workshop sobre Educação em Computação – XXV Congresso da Sociedade Brasileira de Computação.
Vieira, N. J. (2006) “Introdução aos Fundamentos da Computação – Linguagens e Máquinas”, Thomson Learning Edições, 1a. Edição.
Publicado
12/07/2008
Como Citar
COSTA, Yandre M. e G. da; MENESES, Rafael C. de; UBER, Flavio R..
Uma Ferramenta para Auxílio Didático no Ensino de Teoria da Computação. In: WORKSHOP SOBRE EDUCAÇÃO EM COMPUTAÇÃO (WEI), 16. , 2008, Belém/PA.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2008
.
p. 208-217.
ISSN 2595-6175.
