JTV (Java Turing Visual) es una Aplicación JAVA que permite construir y ejecutar Máquinas de Turing, diseñada e implementada por Marco Antonio Mora Godoy durante el Semestre Primavera del Año 2002, como parte de la Memoria para Optar al Título de Ingeniero Civil en Computación, y cuya comisión es integrada por los profesores Dr.Gonzalo Navarro (Profesor Guía), Dr.Ricardo Baeza-Yates (Profesor Co-Guía), y Dr.Claudio Gutiérrez (Profesor Integrante).
El objetivo fundamental de JTV es ser una herramienta de apoyo a las labores docentes del curso CC30B Fundamentos de Ciencia de la Computación, dictado por el DCC, proveyendo al alumno tanto de una interfaz agradable y de fácil uso, así como de funcionalidades y características innovadoras en relación a los simuladores existentes, tales como JFlap y otros.
Entre las características a destacar figuran el uso de la notación presentada en el libro de H. Lewis y C. Papadimitriou [1] "Elements of the Theory of Computation", Prentice-Hall, 1981, y la incorporación del Arbol de Traza de Ejecución (ATE), que corresponde a una estructura arbórea que permite al usuario "explorar" la ejecución de las MTs diseñadas.
|