Desarrollo de una aplicación para simulación de máquinas de Turing

Abstract

RESUMEN: Las máquinas de Turing son un tema central en la mención de Computación del grado en Ingeniería Informática, estudiándose a fondo en la asignatura: Modelos de Cálculo. Se trata de un concepto abstracto, que en general resulta difícil de entender, lo que motiva la elaboración de una herramienta docente que ayude a los alumnos en el aprendizaje de las máquinas de Turing. En este trabajo fin de grado se ha desarrollado una herramienta docente que permite a los alumnos visualizar y manipular máquinas de Turing de manera gráfica, mejorando la interfaz y aumentando las funcionalidades del script actualmente en uso en la asignatura, que sólo permite visualizar el resultado final de una máquina de Turing a través de una terminal. La herramienta se ha desarrollado en Python, haciendo uso de la librería gráfica Kivy, y permite guardar o cargar ejemplos en formato XML siendo compatible con la herramienta JFLAP.

ABSTRACT: Turing machines are a main topic in the Computing track of the Computer Science degree and they are studied in depth in the course: Modelos de Cálculo. They are an abstract concept, difficult to understand, which motivates the design and implementation of a teaching tool with the purpose of helping the students in the task of learning Turing machines. In this final degree project we have developed a teaching tool that allows students visualizing and handling Turing machines in a graphic way, improving the interface and increasing the features of the current script in use in the course, that only allows visualizing Turing machine’s final result on a terminal. The tool has been developed in Python using the graphics library Kivy, and allows saving or loading examples in XML format being compatible with the tool JFLAP.