A Web Tool for Creating and Simulating Turing Machines

Abstract


Turing Machines are abstract computational devices used in the study of Computer Science Theory. Tools like JFLAP, FLApp, and the Teocomp library assist in teaching this concept but suffer from limitations such as outdated interfaces or requirement for programming familiarity. This paper proposes a web-based tool developed with P5.js for creating and simulating Turing Machines, featuring an intuitive and cross-device interface. The tool includes a visual editor for creating machines and a simulator for step-by-step execution, enhancing practical comprehension of the concept.
Keywords: Theory of Computation, Turing Machines, Digital Technologies in Education

References

da Silva, L. G., de Abreu Dias, B., Finger, A. F., and Silva, W. (2023). Avaliação da experiência de uso do jflap como recurso pedagógico no ensino de linguagens formais. In Anais do XXXIV Simpósio Brasileiro de Informática na Educação, pages 995–1006. SBC.

Haleem, A., Javaid, M., Qadri, M. A., and Suman, R. (2022). Understanding the role of digital technologies in education: A review. Sustainable Operations and Computers, 3:275–285.

McCarthy, L., Reas, C., and Fry, B. (2015). Getting started with P5.js: Making interactive graphics in JavaScript and processing. Maker Media, Inc.

Pereira, C. H. and Terra, R. (2018). A mobile app for teaching formal languages and automata. Computer Applications in Engineering Education, 26(5):1742–1752.

Procopiuc, M., Procopiuc, O., and Rodger, S. H. (1996). Visualization and interaction in the computer science formal languages course with jflap. In Technology-Based Re-Engineering Engineering Education Proceedings of Frontiers in Education FIE’96 26th Annual Conference, volume 1, pages 121–125. IEEE.

Rodger, S. H. and Finley, T. W. (2006). JFLAP: an interactive formal languages and automata package. Jones & Bartlett Learning.

Vasconcelos, D. R. and Guerra, P. T. (2023). Ensinando teoria da computação com jupyter notebook. In Anais do XXXI Workshop sobre Educação em Computação, pages 9–19. SBC.
Published
2024-11-04
ALVES, David; GUERRA, Paulo T.. A Web Tool for Creating and Simulating Turing Machines. In: BRAZILIAN SYMPOSIUM ON COMPUTERS IN EDUCATION (SBIE), 35. , 2024, Rio de Janeiro/RJ. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2024 . p. 2301-2312. DOI: https://doi.org/10.5753/sbie.2024.242375.