AUTOMATAS Y LENGUAJES FORMALES

UNIDAD 1 - TAREA 2 - DISEÑO DE AUTÓMATAS

ROBERTO JOSE SERRANO PEREZ- CÓDIGO: 1114451738

ANDERSON BARÓN DIAZ – CÓDIGO: 1113669262

GRUPO: 301405_53
TUTOR: FERNANDO ROJAS

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

CEAD PALMIRA, VALLE DEL CAUCA
OCTUBRE 05 DE 2020
 CONTENIDO

1. INTRODUCCIÓN.......................................................................3
2. DESARROLLO DE LOS EJERCICIOS.............................................4
3. CONCLUSIÓN..........................................................................7
4. REFERENCIAS..........................................................................8
 1. DESARROLLO DE LOS EJERCICIOS
Nombre del
Aportes
estudiante
Propuesta
de

transformación, expresión regular a diagrama de

autómata finito no determinista.

Notación normal del autómata.

Una máquina de estados finitos como el que tenemos se define
por su 5-tupla (k, Σ, δ, s, F)

k es el conjunto finito de estados

{q0,q1,q2,q3}
1
Σ es el alfabeto de símbolo de entrada
{a,b,c,d}

s es el estado inicial de k
Carlos Andrés {q0}
castillo moran
F es el conjunto de estados finales de K
{q3}

δ es la relación de transiciones que a partir de un estado y un

símbolo obtiene un nuevo estado.

δ(q0,a )= q0 δ(q2,b)= q3
δ(q0, λ )= q2 δ(q2,ab)= q2
δ(q0,c)= q1
δ(q1,d)= q2

validación de las cadenas

 Propuesta de cambio de expresion regular a diagrama de
automata.

Notacion normal del automata

Una máquina de estados finitos como el que tenemos se define
por su 5-tupla (k, Σ, δ, s, F)

1 k es el conjunto finito de estados

{q0,q1,q2,q3,q4}

Σ es el alfabeto de símbolo de entrada

{a,b,c,d}

Anderson Barón s es el estado inicial de k

{q0}

F es el conjunto de estados finales de K

{q2}

δ es la relación de transiciones que a partir de un estado y un

símbolo obtiene un nuevo estado.

δ(q0, λ )= q1 δ(q3,d)= q4
δ(q0,c)= q3 δ(q4,ab)= q4
δ(q1,a)= q1 δ(q4,b)= q2
δ(q1, λ )= q2
Validacion de las cadenas

2
 Conversion de expresion regular a diagrama de automata.

Notacion formal del automata

Una máquina de estados finitos como el que tenemos se define
por su 5-tupla (k, Σ, δ, s, F)

k es el conjunto finito de estados

{q0,q1,q2,q3,q4,q5}
1
Σ es el alfabeto de símbolo de entrada
{a,b,c,d}

s es el estado inicial de k
Johan Sebastián Diaz {q0}

F es el conjunto de estados finales de K

{q2}

δ es la relación de transiciones que a partir de un estado y un

símbolo obtiene un nuevo estado.

δ(q0, λ )= q1 δ(q3,d)= q4
δ(q0,c)= q3 δ(q4,a)= q5
δ(q1,a)= q1 δ(q5,b)= q4
δ(q1, λ )= q2 δ(q5,b)= q2
Validacion de las cadenas

Harold Gonzalez 1 Propuesta de conversion de expresion regular a diagrama de

automata.
Holguin

2 Notacion formal del automata.

Una máquina de estados finitos como el que tenemos se define
por su 5-tupla (k, Σ, δ, s, F)

k es el conjunto finito de estados

{q0,q1,q2,q3,q4,q5}

Σ es el alfabeto de símbolo de entrada

{a,b,c,d}

s es el estado inicial de k

{q0}

F es el conjunto de estados finales de K

{q2}

δ es la relación de transiciones que a partir de un estado y un

símbolo obtiene un nuevo estado.

δ(q0, λ )= q1

δ(q0,c)= q3

δ(q1,a)= q1

δ(q1, λ )= q2

δ(q3,d)= q4
 δ(q4,a)= q5

δ(q4,b)= q2

δ(q5,b)= q4

δ(q5,b)= q2

Roberto José Propuesta de conversion de expresion regular a diagrama de

serrano Pérez automata.

Ejercicio Grupal: Construir autómata

Construir un autómata que realice lo siguiente:

ER = {(a)*+cd(ab)*b}
Deben diligenciar la siguiente información:

EJERCICIO
A
TRABAJAR
Notación Una máquina de estados finitos como el que tenemos se
formal del define por su 5-tupla (k, Σ, δ, s, F)
autómata
minimizado k es el conjunto finito de estados
{q0,q1,q2,q3}

Σ es el alfabeto de símbolo de entrada

{a,b,c,d}

s es el estado inicial de k
{q0}

F es el conjunto de estados finales de K

{q3}

δ es la relación de transiciones que a partir de un estado y

un símbolo obtiene un nuevo estado.

δ(q0,a )= q0 δ(q2,b)= q3
δ(q0, λ )= q2 δ(q2,ab)= q2
δ(q0,c)= q1
δ(q1,d)= q2

Lenguaje ER = {(a)*+cd(ab)*b}
Regular
Validación
de cadenas

Practicar y Primera cadena valida

verificar lo
aprendido

Es una de las cadenas propuestas por el compañero, es

esta ocasión viaja por el estado q4, q3 para llegar al
estado final q2. De esta manera aplicando una eliminación
podríamos obtener una manera óptima de la cadena.

Segunda cadena Valida.

Aunque en esta cadena el recorrido es más rápido ya que
pasa por la estrella de kleene, puede resultar un proceso
por el cual la maquina o la cadena de estados en este caso
necesita para continuar con el paso por los estados, así
que también se considera una cadena valida.

Tercera Cadena Valida:

En esta cadena se evidencia una secuencia de repetición
en el esta q1, donde se repite 6 veces el recorrido por la
estrella de kleene y finalmente llega el esta q2 estado final
para terminar con la secuencia.

Cuarta Cadena Valida:

En esta cadena el recorrido de la secuencia ingresa por el

estado q0 estado inicial, se dirige a el estado q3 y q4,
donde el recorrido es mas rápido y se repite una sola ves
la secuencia en el estado q4 ya que pasa por la estrella de
kleene, para finalmente arribar a el estado q2 y terminar
la se cuando de forma valida.

Quinta Cadena Valida:

Nos encontramos con una secuencia corta y muy rápida,
es una secuencia, que se repite en dos veces en el estado
q1 ya que realiza el proceso por la estrella de kleene para
finalmente arribar a el estado q2, dando fin a la secuencia
de forma valida.
 3. CONCLUSIÓN

Por medio del presente documento se representa tanto de forma grafica

como de forma teórica la construcción y el comportamiento de los diferentes
escenarios de los autómatas, por consiguiente, es necesario comprender
como por medio del simulador podemos mostrar las cadenas positivas o
negativas y como seria ver la manera optima de ajustar por medio de
eliminación de autómatas.
 4. REFERENCIAS

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.ebscohost.com/login.aspx?
direct=true&db=edsbas&AN=edsbas.62161440&lang=es&site=eds-
live&scope=site

González, A. [Ángela]. (2017, noviembre 5). Autómatas Finitos. [Archivo de

video]. Recuperado de http://hdl.handle.net/10596/10470

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

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

González, A. [Ángela]. (2020, julio 14). Lenguajes Regulares. [Archivo

web]. Recuperado de
https://campus113.unad.edu.co/ecbti73/mod/hvp/view.php?
id=1672