Proyecto Final de Autómatas

Presentado por:

Jhon Wuilquer Laguna Castellanos

Cod: 1077849519

Tutor

Universidad Abierta y a Distancia UNAD

Cead Pitalito

Ingeniería de Sistemas
Tabla de contenido

Introducción ........................................................................................................................................ 4
Objetivos ............................................................................................................................................. 5
Objetivo General ............................................................................................................................. 5
Objetivos Específicos ...................................................................................................................... 5
Ejercicio 1: ........................................................................................................................................... 6
01. Realizar El Procedimiento Paso A Paso ............................................................................... 6
Conversión................................................................................................................................... 6
Autómata Finito Determinista..................................................................................................... 7
Conversión A Expresión Regular ................................................................................................. 7
02. Realizar El Procedimiento Paso A Paso ............................................................................... 8
Conversión................................................................................................................................... 8
Automata Finito Determinista..................................................................................................... 8
Conversión a Expresión Regular .................................................................................................. 9
03. Realizar El Procedimiento Paso A Paso ............................................................................. 10
Conversión................................................................................................................................. 10
Autómata Finito Determinista................................................................................................... 10
Expression Regular .................................................................................................................... 11
Ejercicio 5: ......................................................................................................................................... 12
Realizar una máquina de Turing de autoría propia y realice ........................................................ 12
A. Recorra la máquina con al menos una cadena válida explicando lo sucedido tanto en la
cinta como en la secuencia de entrada ..................................................................................... 13
B. Identifique una cadena que no sea válida y justifíquela porque ...................................... 18
C. Ejecute el RunTest a una cadena aceptada que tenga la menos cinco símbolos ............. 19
D. Identifique en qué momento la máquina se detiene........................................................ 19
 Introducción

En este trabajo se manejará los temas del funcionamiento de la máquina de Turing y su

principal función en la computación, además temas como la tesis de Church y los problemas
decididles e insolubles para la teoría de lenguajes y funciones recursivas al igual las temáticas
vistas en las Unidades 01, 02 y 03 de este curso
 Objetivos

Objetivo General

 Adquirir conocimientos sobre los problemas decididles e insolubles además sobre la

máquina de Turing

Objetivos Específicos

 Desarrollar los ejercicios planteados sobre la máquina de Turing

 Debatir los ejercicios aportados por los compañeros en la actividad Colaborativa
 Aportar contributivamente y constantemente en la actividad colaborativa para un
óptimo desarrollo de la actividad
Ejercicio 1:

01. Realizar El Procedimiento Paso A Paso

Conversión

El autómata esta Finito No Determinista, debemos pasarlo A Finito Determinista

0 1 2
q0 = A B,C A,D
q1 = B,C 2
q3 = A,D B,C A,D
q2 = C

A = q0 Estado Inicial

B, C = q1

A, D = q3

C = q2 Estado Final
Autómata Finito Determinista

Conversión A Expresión Regular

 02. Realizar El Procedimiento Paso A Paso

Conversión

El autómata esta Finito No Determinista, debemos pasarlo A Finito Determinista

1 2 𝝀
q0 = A C 𝝓
q2 = C B
q1 = B

Automata Finito Determinista

Conversión a Expresión Regular
 03. Realizar El Procedimiento Paso A Paso

Conversión

El autómata esta Finito No Determinista, debemos pasarlo A Finito Determinista

A B
X = q0 q0,q1 q0
Y = q0,q1 q0,q1 q0,q1

Autómata Finito Determinista

Expression Regular
Ejercicio 5:

Realizar una máquina de Turing de autoría propia y realice

M= ({1, *}, {1}, *, {q0, q1, q2, q3, q4, q5, q6}, q0, f, {q6}) f(q0, 1) =(q0,1,R)

f (q0, 0) = (q1,1, R)

f (q1,1) = (q1,1, R)

f (q1, *) = (q2, *, L)

f (q2,1) = (q3, *, L)

f (q3,1) = (q4, *, L)

f (q4,1) = (q4,1, L)

f (q4, *) = (q5, *, L)

f (q5, *) = (q6, *, R)
 A. Recorra la máquina con al menos una cadena válida explicando lo sucedido tanto en la
cinta como en la secuencia de entrada

La cadena ingresada es 01
Recibe como entrada un 0

Llega a q1 cambiando un 0 por 1 y avanza a la derecha

Después reemplaza a 1 por 1 y avanza a la derecha

Luego reemplaza a vacio por vacio y avanza hacia la izquierda llegando al estado q3.
Después reemplaza a 1 por vacío y avanza a la izquierda, llegando al estado q3

Después reemplaza a 1 por vacío y avanza a la izquierda llegando al estado q4.

Después reemplaza a vacio por vacio y avanza a la izquierda llegando a q5

Después reemplaza a vacio por vacio y avanza a la izquierda llegando a q6

 B. Identifique una cadena que no sea válida y justifíquela porque

Cadena no valida 010.

Es invalida por que no tiene ceros para reemplazar durante su recorrido por los estados
 C. Ejecute el RunTest a una cadena aceptada que tenga la menos cinco símbolos

La cadena ingresada es 01111

D. Identifique en qué momento la máquina se detiene

La máquina se detiene cuando encuentra un estado vacío