Autómatas y lenguajes formales

Tarea 4 Construcción de Máquinas de Turing

Presentado al tutor (a):

Rafael Perez Holguin

Entregado por el estudiante:

Ronald Fernando González Martínez

Código: 1024.490.089

Grupo: 301405_18

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA
BOGOTÁ D.C. 2021
 EJERCICIOS A DESARROLLAR

Ejercicios 1: Maquinas de Turing

EJERCICIO A
TRABAJAR

Caracterización Definición formal: (MT) Es un modelo computacional que realiza una

de la máquina lectura/escritura de manera automática sobre una entrada llamada cinta,
de Turing generando una salida en esta misma. Este modelo está conformado por un
alfabeto de entrada y uno de salida, un símbolo especial llamado blanco
(normalmente b, Δ o 0), un conjunto de estados finitos y un conjunto de
transiciones entre dichos estados.
Procedimiento 1. paso (q0,a) = (q0,a,R)
del paso a paso
del recorrido de
una cadena

Se inicia en el estado q0, se lee una a y en la cinta se escribe una a

y se desplaza a la derecha, quedando en el estado q0.

2. paso (q0,a) = (q0,a,R)

Estando en q0 se lee una a y en la cinta se escribe una a y se
desplaza a la derecha, quedando en el estado q0.

3. paso (q0,b) = (q1,a,R)

Ahora en el estado q0 se lee una b, se escribe en la cinta una a y se
desplaza hacia la derecha llegando al estado q1.
 4. paso (q1,b) = (q2,a,R)
Estando en el estado q1 se lee una b, se escribe en la cinta una a y
se desplaza hacia la derecha llegando al estado q2 que es el estado
de aceptación.

Practicar y
verificar lo
aprendido
 REFERENCIA BIBLIOGRAFICA

Carrasco, R. C., Calera Rubio, J., & Forcada Zubizarreta, M. L. (2000). Teoría de lenguajes,

gramáticas y autómatas para informáticos. Digitalia. (pp. 11 - 80). Recuperado de

https://bibliotecavirtual.unad.edu.co/login?url=https://search-ebscohost-

com.bibliotecavirtual.unad.edu.co/login.aspx?direct=true&db=nlebk&AN=318032&lang=es

&site=ehost-live&ebv=EB&ppid=pp_Cover

Rosenfeld, D. R. y Irazábal, J. (2013). Computabilidad, complejidad computacional y verificación

de programas. Argentina: D - Editorial de la Universidad Nacional de La Plata. (pp. 7 - 40).

Recuperado de https://elibro-net.bibliotecavirtual.unad.edu.co/es/lc/unad/titulos/66401

OVA Unidad 3 - Lenguajes Estructurados por Frases

González, A. [Ángela]. (2018, junio 1). Lenguajes Estructurados por Frases. [Archivo web].

Recuperado de http://hdl.handle.net/10596/18316