Beruflich Dokumente
Kultur Dokumente
●
MT permiten describir mediante operaciones sencillas
todas las operaciones computables.
●
En teoría las MT tienen cinta infinita, ordenadores
actuales memoria finita: MT más potentes que los
ordenadores actuales computacionalmente.
●
Importancia de las Máquinas de Turing en la
formación de cualquier estudiante de computación.
Propósito
●
Muchos proyectos que simulan MT de una sola cinta.
●
Menos proyectos que simulan MT de varias cintas o
varias pistas.
●
Pocos proyectos que compilan MT creando código
ejecutable.
●
Ningún proyecto que convierte código de alto nivel en
código de Máquina de Turing.
Investigaciones o trabajos
parecidos
●
http://www.igs.net/~tril/tm/: este proyecto simula MT de una sola cinta.
●
http://www.cheransoft.com/vturing/: entorno de desarrollo que permite
la simulación y depuración de MT de una sola cinta.
●
http://www.nmt.edu/~prcm/turing/: en este link hay dos versiones de
simuladores de Máquinas de Turing: una versión para UNIX
(descargable) y una aplicación web.
●
http://www.ncc.up.pt/fado/node2.html: una versión para línea de
comandos y otra visual de un simulador de MT para una sola cinta de
entrada.
●
http://www.cs.binghamton.edu/~lander/tm_source/tmdoc.html:
simulador que permite varias cintas de entrada.
Tipo de proyecto
●
¿Sobre qué sistema operativo funcionará el proyecto?
●
¿Existirá una versión de software libre del sistema?
●
¿Cuáles serán los requisitos software del sistema?
●
¿Qué tipos de Máquinas de Turing será capaz de
compilar / simular?
Métodos
●
Búsqueda bibliográfica.
●
Para el desarrollo se seguirá un subconjunto de las
tareas de Métrica versión 3.
●
Análisis y diseño orientado a objetos (usando
diagramas UML).
●
Programación orientada a objetos.
Recursos requeridos (HW y SW)
Hardware:
No se requiere nada especial, un simple PC basta.
Software:
●
Java Development Kit (JDK).
●
Entorno de desarrollo para Java (NetBeans)
●
Herramientas Flex y Bison.
●
Compilador de C/C++ (Lcc)
Recursos requeridos
(Bibliografía)
Sobre Máquinas de Turing:
●
Introduction to Automata Theory, Languages, and Computation.
John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman.
●
The Universal Turing Machine: A Half-Century Survey
(Computerkultur, Bd 2). Rolf Herken.
●
Introduction to the Theory of Computation. Michael Sipser.
Sobre compiladores:
●
Compiladores: principios, técnicas y herramientas. Aho, Sethi y
Ullman.
●
Writing Compilers and Interpreters. Ronald Mak.