Simuladorparamáquinasdeturing

SIMULADOR PARA MÁQUINAS DE TURING
Moisés Alaín Mayet Solano1*, Esther Cristina Ramírez Gutiérrez1, Susana Fadragas Rodríguez1, Yaniet Piñeiro Pérez1, Yelena Hernández Estrada1, Yusel Sablón Fernández1. 1 Universidad de las Ciencias Informáticas, Carretera a San Antonio de los Baños, km 2½, Boyeros, La Habana, Cuba *Autor para la correspondencia: mmayets@uci.cu

Resumen
El trabajo que sepresenta es una interfaz de desarrollo para programar Máquinas de Turing. Virtual MTuring utiliza funciones de transición para la representación de las máquinas. También cuenta con un depurador y un notificador de errores sintácticos ayudando así a la labor del programador. El IDE propuesto acerca más a estos artefactos

compuestos de cinta y cabezal a quienes se inician en este tipo de programación,dejando a un lado en gran medida su original nivel de abstracción. Palabras claves: compilador, ide, máquina de turing, modelo de turing, simulador.

Turing Machine Simulator
Abstract
The work presented is a development interface for programming Turing Machines. Virtual MTuring uses transition functions for the representation of machines. It also has a debugger and syntax errors notifier,thus helping the programmer to work. The proposed IDE makes closer these artifacts made of tape and head to those starting out in this type of programming, setting aside much of its original level of abstraction. Keywords: compiler, ide, turing machine, turing model, simulator.

Introducción
La Teoría de la Computabilidad, tiene una enorme importancia dentro del campo de la Ciencia de laComputación, pues una de sus aristas principales está basada en la ingeniería para el diseño de algoritmos, no por gusto dentro de las matemáticas, es el tema que más aporta al razonamiento y capacidad de abstracción para la solución de problemas computacionalmente. Las Máquinas de Turing son un modelo de la teoría computacional que pueden transformarse a cualquier otro sistema informático, debido a estomuchos estudiosos de las ciencias computacionales les dan mucha importancia a estos modelos. Teniendo en cuenta la Tesis de Church-Turing, si una Máquina de Turing no puede resolver un problema, ninguna otra computadora podrá hacerlo. El eminente científico inglés y considerado el padre de la computación, Alan Turing (1912-1954), ideó en 1936, un dispositivo imaginario el cual en su honor ha sidonombrado Máquina de Turing . Siendo este el primer modelo teórico de lo que en la actualidad llamamos un computador digital. La máquina de Turing, con más de 70 años de su surgimiento, sigue siendo imprescindible dentro de la computación teórica. Dado que las Máquinas de Turing son un modelo abstracto con este trabajo se propone una aplicación que permita hacer más real lo imaginario y permitir unmayor acercamiento del programador a la máquina. Al hablar de programadores se está haciendo referencia a estudiantes de carreras informáticas a quienes está orientado este trabajo, pues por su inexperiencia en el trabajo con estos modelos, son ellos los más necesitados de interfaces de desarrollo que les ayude a su entendimiento.

Justificación:
El estudio de las Máquinas de Turing es un temaobligatorio dentro de la Matemática Discreta debido a sus aportes al pensamiento algorítmico de los estudiantes. El modelo de Turing es un instrumento abstracto, por lo que sería muy ventajoso tener un software que permita salir un poco del nivel de abstracción y visualizar el trabajo de las máquinas como soluciones a distintos problemas. Este trabajo no es pionero en el tema pues hay muchos quelo han tratado. Ejemplo de estos tenemos las aplicaciones desktop, Visual Turing Machine, Tuatara Turing Machine Simulator, Turing Machine, xTuringMachine Lab y JKTuring, además de aplicaciones Web como, http://www.turing.org.uk/turing/scrapbook/tmjava.html y

1

http://web.bvu.edu/faculty/schweller/Turing/Turing.html. En el caso de las aplicaciones que trabajan mediante las páginas web son...