A Tool to Support the Teaching of Theory of Computation

• Yandre M. e G. da Costa UEM
• Rafael C. de Meneses UEM
• Flavio R. Uber UEM / FAFIMAN

Abstract

This paper describes a software environment for helping students and teachers on the creation of formal models studied on the theory of computation. It’s a multiplatform environment that allows the user to perform syntactic tests with entry strings. This software tool offers the possibility of creating models useful for both regular language and context free language specification (important, for instance, for programming languages specification) and the Turing Machine model (useful for studies about computability). Thus, this software tool can support the learning of all language classes of the Chomsky Hierarchy.

References

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.