Tarea 5 - Consolidación Del Aprendizaje

Tarea 5 - Consolidación del aprendizaje
Presentado por:
Jorge Eduardo García
Jhon Fredy Duque Romero
Tutor:
Javier Antonio Ballesteros
Universidad nacional abierta y a distancia - UNAD

Facultad de Ciencias y Tecnologías
Colombia
2021
EJERCICIOS PARA DESARROLLAR
A partir del siguiente ejercicio desarrollar los ejercicios propuestos:
Ejercicio 1: Realizar la conversión de AFD a AFND o de AFND a AFD según

corresponda
• Caracterización del autómata original
• Procedimiento de conversión de Autómata de AFD a AFND o de AFND a
AFD según corresponda con procedimiento paso a paso
• Gráfica del Autómata final convertido
- Identificación de la quíntupla del autómata
M =( { q 0 , q 1 , q 2 , q 3 , q 4 , q 5 } , { a , b }∧q0 , { q1 , q 4 , q5 } )
K= { q 0 , q 1 , q 2 }
∑={a,b,λ}
S= q 0
F=q 1 , q 4 , q5
&= Relación de transiciones.
- Plasme la tabla de transición
a b λ
q0 q1 q2 ---
q1 --- q2 q1
q2 q3 q4
q3 --- --- q1
q4 q2, q5 --- ---
q5 q3 q1 ---
Ejercicio 2: Realice la minimización paso a paso del autómata finito
determinista
• Con el resultado del autómata del ejercicio 1, realice el proceso paso a
paso de la minimización del autómata
• Gráfica del autómata final minimizado
• Realice la caracterización de ese autómata
Ejercicio 3: Realizar el autómata a Pila que lea la expresión regular
(ab+c)*.
• Teniendo en cuenta la expresión regular (ab+c)*, realice el autómata de
pila que lea las mismas cadenas
• Caracterización del autómata de pila
• Ejecute el Run Test a una cadena aceptada que tenga al menos cinco
símbolos.
• Recorra la máquina con al menos una cadena válida explicando lo
sucedido tanto en la cinta como en la secuencia de entrada.
Ejercicio 4: Realizar una máquina de Turing que lea la expresión regular
(ab+c) *.
• Teniendo en cuenta la expresión regular (ab+c) *, realice la máquina de
Turing que lea las mismas cadenas
• Caracterización de la máquina de Turing
• Ejecute el Run Test a una cadena aceptada que tenga al menos cinco
símbolos.
• Recorra la máquina con al menos una cadena válida explicando lo
1.Caracterización de la Maquina de Turing.
¿
Séptupla:
MT ={ K , ∑ ,r , S , b , F , δ }:
Donde:
K={q 0 , q1 , q2 }
Σ= {b ,C } , es el alfabeto de entrada , dondeL ∉ Σ
r ={ a } , es elalfabeto de la cinta , dondeL∈ r y Σ ⊆r

s=q0 ∈ k Es elestado inicial
b ∈ r=es el simbolo blanco
F=q 2 ⊆ k Es el conjunto de estados finales
d :Q∗r → Q∗r∗{ L , R } Es una funcion parcial que se llama

funcion de transicion .
Realizar la tabla de transición
δ(qo , a ¿=(qo , a , R)
δ(qo , b ¿=(q 1 , a , R)
δ(q 1 , b ¿=(q 1 , b , R)
δ(q 1 , c ¿=(q 2 , a , R)
δ(q 1 , a ¿=(q 0 , b , L)
δ(q 2 , c ¿=(q 2 , c , L)
2.Ejecute el Run Test a una cadena aceptada que tenga al menos cinco
símbolos.
Cadena: ababc
3. Recorra la máquina con al menos una cadena válida explicando lo
1. Empezamos en el estado q0 vamos a leer una a y la cinta nos escribe a y se desplaza a la
derecha.
2. En el mismo estado q0 encontramos una estrella de Kleeneen encuentra otra escribe una a, y se
desplaza a la derecha.
3. Estando q0 me encuentro con una b y la cinta me escribe una b y se desplaza a la derecha hacia
q1.
4. Estando en q1 me encuentro con una estrella de Kleeneen lee una b y escribe una b y se
desplaza hacia la derecha a la transición c.
5. En el Estando q1 se lee una c, y la cinta escribe una a y se desplaza hacia la derecha llegando a
q2. Estado final cadena aceptada.
REFERENCIAS BIBLIOGRAFICAS
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. 127 - 142). 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
Jurado Málaga, E. (2008). Teoría de autómatas y lenguajes formales.

Universidad de Extremadura. Servicio de Publicaciones. (pp. 39 - 70).
Recuperado
de https://bibliotecavirtual.unad.edu.co/login?url=http://search.ebscoho
st.com/login.aspx?
direct=true&db=edsbas&AN=edsbas.62161440&lang=es&site=eds-
live&scope=site

García Fernández, Luis Amable, and María Gloria Martínez Vidal. (2009).
Apuntes de Teoría de Autómatas y Lenguajes Formales. (pp. 59 – 83).
Recuperado
de: http://search.ebscohost.com.bibliotecavirtual.unad.edu.co/login.asp
x?direct=true&db=edsbas&AN=edsbas.FEF5F46&lang=es&site=eds-
live&scope=site.

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

Tarea 5 - Consolidación Del Aprendizaje

Cargado por

Copyright:

Formatos disponibles

Tarea 5 - Consolidación Del Aprendizaje

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Tarea 5 - Consolidación Del Aprendizaje

Cargado por

Copyright:

Formatos disponibles

Tarea 5 - Consolidación del aprendizaje

Universidad nacional abierta y a distancia - UNAD

A partir del siguiente ejercicio desarrollar los ejercicios propuestos:

Ejercicio 1: Realizar la conversión de AFD a AFND o de AFND a AFD según

- Identificación de la quíntupla del autómata

1.Caracterización de la Maquina de Turing.

Σ= {b ,C } , es el alfabeto de entrada , dondeL ∉ Σ

r ={ a } , es elalfabeto de la cinta , dondeL∈ r y Σ ⊆r

d :Q∗r → Q∗r∗{ L , R } Es una funcion parcial que se llama

Jurado Málaga, E. (2008). Teoría de autómatas y lenguajes formales.

Carrasco, R. C., Calera Rubio, J., & Forcada Zubizarreta, M. L. (2000).

Carrasco, R. C., Calera Rubio, J., & Forcada Zubizarreta, M. L. (2000).

Rosenfeld, D. R. y Irazábal, J. (2013). Computabilidad, complejidad

También podría gustarte