Asignatura Datos del alumno Fecha

Apellidos: Botia Alviz

Informática Teórica
Nombre: Alfonso Rafael

Laboratorio: Máquinas de Turing con JFLAP

Preparación del laboratorio

Para preparar este laboratorio, simplemente descarga JFLAP en tu equipo (PC).

Consulta más información sobre la herramienta en el apartado A fondo del tema.
Además, revisa los temas anteriores para asegurarte de que tienes frescos los
conceptos relacionados con la máquina de Turing.

Descripción

Se te facilitará la descripción de una serie de lenguajes recursivamente

enumerables. Las tareas que se deben realizar con JFLAP serán las siguientes:

1. Diseñar máquinas de Turing que los reconozcan.

2. Hacer una lista de cinco palabras que sean aceptadas y otras cinco que sean
rechazas por la máquina de Turing.

Ejercicios:

1. Diseñar una máquina de Turing que acepta el lenguaje

2. Diseñar una máquina de Turing que calcula el numero consecutivo de un

numero dado en binario

Criterios de evaluación
 Asignatura Datos del alumno Fecha
Apellidos: Botia Alviz
Informática Teórica
Nombre: Alfonso Rafael

La evaluación de esta actividad tendrá en cuenta la elaboración del documento de

especificación de requisitos del proyecto de desarrollo de software elegido.

Se valorará la elaboración de la actividad con correcta ortografía y puntuación.

Además, se valorará la capacidad de análisis y la presentación del documento.

Entrega del laboratorio

Deberás elaborar un breve informe explicando cómo resolviste los problemas que
se plantean y qué resultados se obtuvieron con JFLAP. Aunque este trabajo se hará
en grupos, la entrega se realizará a título individual.

Se valorará la capacidad de tomar decisiones en grupo y comprender la relación

entre autómatas finitos y expresiones regulares.
 Asignatura Datos del alumno Fecha
Apellidos: Botia Alviz
Informática Teórica
Nombre: Alfonso Rafael

Desarrollo:
INTRODUCCION
El trabajo es realizado bajo la explicación por las clases del profesor e
investigaciones realizadas vía internet.

1. Diseñar una máquina de Turing que acepta el lenguaje

Se realizo un ejercicio en JFLAP teniendo en cuenta la formula dada en el punto,

para esto se tuvo en cuenta todas las pautas y validaciones que se toman en cuenta
para realizar el ejercicio

Ilustración 1. Ejercicio finalizado

 Asignatura Datos del alumno Fecha
Apellidos: Botia Alviz
Informática Teórica
Nombre: Alfonso Rafael

Para este caso se tomaron 5 estados (q 0 ,q 1 ,q 2 ,q 3 , q4 ), los cuales tienen una lógica
especifica.
Teniendo en cuenta lo anterior se toma como inicio q 0 y fin q 4 , y se realizara el
cambio de 0 por X y de 1 por Y.
Se deja ejemplo de 5 aceptadas y 5 rechazadas según lo que nos indica la actividad

Ilustración 2. Ejemplos

Tener en cuenta que cuando una palabra es rechazada es por que no cumple con las
condiciones y no llega al final de la lógica.
 Asignatura Datos del alumno Fecha
Apellidos: Botia Alviz
Informática Teórica
Nombre: Alfonso Rafael

2. Diseñar una máquina de Turing que calcula el numero consecutivo de un

numero dado en binario

Para reorganizar el número, primero determinamos si es par o impar:

Si el número es par, su último bit es 0. En este caso, la máquina solo necesita

cambiar este 0 por un 1.
Si el número es impar, su último bit es 1. En este caso, se debe cambiar por 0 todos
los 1 consecutivos, comenzando desde la derecha y avanzando hacia la izquierda,
hasta llegar al primer 0. Luego, ese primer 0 se cambia por un 1. Si no hay ningún 0
en el número, se debe añadir un 1 al principio del número, es decir, escribir un 1 en
la casilla en blanco (B) a la izquierda del número.

Teniendo en cuenta la lógica se procede a construir un ejercicio en JFLAP.

Ilustración 3. Ejercicio 2 Numero binario

Se realiza varios ejemplos para poder validar si el proceso culmina o no

correctamente
 Asignatura Datos del alumno Fecha
Apellidos: Botia Alviz
Informática Teórica
Nombre: Alfonso Rafael

Ilustración 4. Ejemplo 1

Ilustración 5. Ejemplo 2
 Asignatura Datos del alumno Fecha
Apellidos: Botia Alviz
Informática Teórica
Nombre: Alfonso Rafael

Ilustración 6.Ejemplo 3

Conclusión:
Con los ejemplos realizados para cada caso, se puede evidenciar que los ejercicios
son 100% funcionales, la realización no fue compleja, el programa fácil de utilizar,
aunque se tuvieron varios inconvenientes en el momento de implementar la lógica.