eduph / modeloscomputacionales

Implementación de modelos computacionales en Haskell.

ModelosComputacionales

Implementación de modelos computacionales en Haskell.

Objetivo

Este proyecto pretende implementar distintos modelos computacionales en el lenguaje de programación Haskell.

Estado del proyecto

Se ha implementado el lenguaje GOTO, así como las macros y su expansión. Adems de la ejecución de programas.

Motivación

Como alumno de la asignatura de Ciencias de la computación impartida en la facultad de matemáticas pretendo tanto mi aprendizaje, como aportar código libre en este aspecto.

Lenguaje GOTO

El lenguaje GOTO es un modelo secuencial, determinista con conjunto de datos en los naturales. Está compuesto por:

1. Variables de tipo natural (de entrada, salida y trabajo)
2. Etiquetas
3. Instrucciones

Se denota un programa como un conjunto de instrucciones.

1. Implementación lenguaje GOTO
2. Implementación de macros en GOTO
3. Ejemplos de programas GOTO

Simulador de máquinas de Turing (Pendiente)