Este es el proyecto final que presenté para el curso de Teoría Matemática de la Computación.
> import Text.ParserCombinators.Parsec
> import System.Environment
Máquina de Turing
——————————
Compilar con ‘-package parsec’
El ejecutable recibe como primer argumento la descripción de una máquina de Turing, y como segundo argumento una cadena inicial para la cinta.
Si la máquina finaliza escribe True si se alcanzó [...]