Tarea 2 Diseño de Autómatas

Autómatas y lenguajes formales

Ruth Mery Bueno Rodriguez

Código: 36302341

Grupo: 301405_57

Tutor
Javier Antonio Ballesteros Ricaurte

Universidad Nacional Abierta y a Distancia (UNAD)

Escuela de ciencias básicas, tecnológicas e ingeniería
Septiembre 2.023
Ejercicios 1: Autómata a Expresión regular
Con el ejercicio seleccionado debe diligenciar la siguiente tabla:
EJERCICIO A
TRABAJAR Ejercicio a.
a b
->q0 q1 -
q1 - q0,q2
#q2 - q1

Caracterización
del autómata - Identificación de la quíntupla del autómata
Formalmente un AFND será la quíntupla
M =(Q ,∑ , s , F , δ )
Q= { q 0 , q 1 , q 2 }
∑={ a , b }
s= { q 0 , }
F={ q 2 }
δ = { Definida por tabla de transicion }

- Plasme la tabla de transición

δ a b
q0 q1
q1 q0
q1 q2
q2 q1

δ(q0,a)= q1
δ(q1,b)= q0
δ(q1,b)= q2
δ(q2,b)= q1

- Identificación del Autómata Finito Determinista o

Autómata Finito No Determinista

Es un autómata Finito No Determinista puesto

que desde el estado q1 leyendo el alfabeto b, se
dirige tanto al estado q0 como al estado q2. Es
decir que con el mismo alfabeto esta transitando
hacia dos estados diferentes.
 - Explicar las características del tipo de autómata

 El autómata está determinado por 3 estados;

el q0, q1 y q2.
 Por consiguiente tiene un inicio en q0 y un
final en q2.
 Presenta cuatro transiciones.

- Citar dos referencias bibliográficas de material en

ingles que haya consultado
 Sipser Michael. “Introduction to the theory of
Computation”. 2012 (tercera edicion)
Recuperado de:
https://fuuu.be/polytech/INFOF408/Introduction-
To-The-Theory-Of-Computation-Michael-Sipser.pdf

 Hopcroft E. John. “Automata theory, languages,

and Computation”
Recuperado de:
https://e.famnit.upr.si/pluginfile.php/636821/mod
_page/content/8/Automata.pdf
Procedimiento de
Encontraremos una ER que represente el camino de
conversión de q0 a q1
Autómata
Finito a
 Expresión - Paso 1 Eliminación de q1
Regular paso a Para poder eliminar q1 tendremos que recorrer el
paso camino directo de q0 a q1 con “a”, luego el camino
de q0 a q1 pasando por q2 con “b”

La transición δ(q0,a)= q1 se convierte en

q0 a q2.
La transición δ(q1,b)= q0 se convierte en
q2 b q0.

La expresión regular es ab

- Paso 2 encontraremos una expresión regular que

represente el camino de q0 a q1 teniendo en
cuenta que al eliminarlo quedan flechas sueltas.
Por lo tanto la ER para el camino de q0 a q1 es:
bb

- Paso 3
Consideremos que el estado q2 puede alcanzarse
desde q1 con b; pero no se puede llegar a q2
desde ningún otro estado; por lo tanto quedaría la
ER= bb*

- Paso 4
Consideremos que el estado q0 puede alcanzarse
desde q1 con b; pero no se puede llegar a q0
desde ningún otro estado; por lo tanto quedaría la
ER= ab*

Por lo tanto la ER de este autómata es

((ab)*ab(bb)*(bb)*

Expresión La ER de este autómata es

regular ((ab)*ab(bb)*(bb)*

Lenguaje Lenguaje regular: abababbbbbbbbb

regular

Ejercicios 2: Conversión de Autómatas Finitos Deterministas a Autómatas

Finitos No deterministas (AFD a AFND) y viceversa

Con el ejercicio seleccionado debe diligenciar la siguiente tabla:

EJERCICIO A
TRABAJAR

Caracterización En este espacio se realiza:

del autómata Quíntupla
Q= { q 0 , q 1 , q 2, q 3 }
∑={ 0,1 }
s= { q 0 , }
F={ q 2 }

- Plasme la tabla de transición:

Estado 0 1 ε
q0 q1 q2
q1 q2
q2 q3
q3 q2

- Identificación del Autómata Finito Determinista

o Autómata Finito No Determinista.

Este ejercicio corresponde a un AFND

- Explicar las características del tipo de autómata

Es un AFND ya que contiene una transición ε
(cadena vacia) desde el estado q0 al estado q2
 El estado q0 tiene transiciones hacia q1 y q2
para el símbolo “0” lo que significa que q0 puede
estar en múltiples estados de manera
simultánea.

El estado q2 es un estado de aceptación final, es

decir que cualquier camino que conduzca hacia el
estado q2 representa una cadena que es
aceptada.

Procedimiento Realice de manera detallada el procedimiento paso

de conversión a paso de la conversión del autómata según
paso a paso corresponda y según ejemplo revisado.

Estado 0 1
q0 q1,q2
q1 q2
q2 q3
q3 q2
q1,q2 q1,q2 q2
q1,q3 q3 q2
q2,q3 q3
q1,q2,q3 q1,q2,q3 q2

Autómata Final En este espacio se presenta el autómata final

convertido

Practicar y Apoyándose en el simulador JFlap JFLAP (Anexo 1 -

verificar lo JFLAP) o VAS (Anexo 2- VAS) ejecutar los dos
aprendido autómatas, el original y el autómata resultado final
de la conversión y validar por lo menos tres
cadenas válidas y tres cadenas rechazadas.

En este espacio agregar las imágenes tomadas del

simulador utilizado.

Cadenas aceptadas autómata inicial:

01, 0101
Cadenas rechazadas:
0010, 1010, 0011

Cadenas aceptadas- Autómata resultado final:

00010100, 0001, 0101001.

Cadenas rechazadas- autómata final:

110001, 101110, 100110.
 Referencias bibliográficas

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). 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

García Fernández, L. A., Martínez Vidal, M. G. (2009). Apuntes de Teoría

de Autómatas y Lenguajes Formales. (pp. 1 – 37).
https://repositori.uji.es/xmlui/bitstream/handle/10234/5995/parte_1.pd
f?sequence=1&isAllowed=y

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

formales. Universidad de Extremadura. Servicio de Publicaciones. (pp.
39 - 70). https://dehesa.unex.es:8443/bitstream/10662/2367/1/978-
84-691-6345-0.pdf

Sipser Michael. “Introduction to the theory of Computation”. 2012 (tercera

edicion)
Recuperado de: https://fuuu.be/polytech/INFOF408/Introduction-To-The-
Theory-Of-Computation-Michael-Sipser.pdf

Hopcroft E. John. “Automata theory, languages, and Computation”

Recuperado de:
https://e.famnit.upr.si/pluginfile.php/636821/mod_page/content/8/Auto
mata.pdf