TAREA 2 DISEÑO DE AUTÓMATAS

AUTÓMATAS Y LENGUAJES FORMALES

GRUPO
301405_34

ESTUDIANTE:

WIRIS RAFAEL CONTRERAS

WILSON JAVIER GARCIA

Tutor:
VERMEN RAINER AYALA

Universidad Nacional Abierta y a Distancia

Escuela de Ciencias Básicas, Tecnología e Ingeniería octubre
de 2020
Bogotá D.C

Ejercicios 1: Autómata a Expresión regular

Con el ejercicio seleccionado debe diligenciar la siguiente tabla:
EJERCICIO A
TRABAJAR

Caracterización del ➢ Identificación de la quíntupla del autómata

autómata Se identifica la quíntupla del autómata (K, Σ, δ, s, F)
M = (q0,q1,q2) (a,b,c) 𝛿,q0,(q2)
K = {q0,q1,q2}
Σ = {a,b}
S = q0
F = q2
La función 𝛿 : {q0,q1,q2} * {b,c,a} ---> {q0,q1,q2}
𝛿(q0, b) = q2
𝛿(q0, a) = q1
𝛿(q1, b) = q1
𝛿(q1, c) = q2 𝛿(q2,
a) = q0

Se realiza la tabla de transiciones donde se apreciar las

transiciones para cada estado

El autómata con el que estamos trabajando es un autómata finito

no determinista ya que podemos ir desde q0 con transición a, a q1
y con transición b a q2 y con el estado q1 con transición b, a q1 y
con transición c, a q2

Procedimiento de
conversión de
Autómata Finito a
Expresión Regular
paso a paso
 Se elimina q1

nos damos cuenta que no tenemos retorno a q2 para hacer

verdadera la trancicion

agregamos una finalización a q0 y con esto hacemos que se

cumplan todos los estados de nuestra tabla

Autómata Final
convertido

Lenguaje regular (b*b+acb*a)*b*b+acb*

 Ejercicios 2: Conversión de Autómatas Finitos Deterministas a Autómatas Finitos No
deterministas (AFD a AFND) y viceversa
EJERCICIO A
TRABAJAR

Caracterización del ➢ Identificación de la quíntupla del autómata

autómata Se identifica la quíntupla del autómata
Σ = (q0,q1,q2) (a,b,c) ,q0,(q1)
Q = {q0,q1,q2}
S = q0
F = q1
La función : {q0,q1,q2} * {b,c,a} ---> {q0,q1,q2}
(q0, b) = q0
(q0, a) = q1
(q0, b) = q2
(q1, b) = q0
(q1, c) = q2
(q2, b) = q1

Se realiza la tabla de transiciones donde se apreciar las transiciones

para cada estado

El autómata con el que estamos trabajando es un autómata finito no

determinista ya que podemos ir desde q0 con transición a, a q1 y con
transición b a q2 y con el estado q1 con transición b, a q0 y con
transición c, a q2
Procedimiento de Tabla de transición
conversión de
Autómata Finito a
Expresión Regular
paso a paso
 Se realiza la nueva grafica según la tabla de transición que se obtuvo

Autómata Final
convertido

Practicar y
verificar lo
aprendido
Aporte individual de

WILSON JAVIER GARCIA

Ejercicio e
Caracterización Se identifica la 5-tupla (K, Σ, δ, s, F)
M = ({q0, q1, q2}, {a, b, c}, δ, q0, {q1})
K = {q0, q1,
q2} Σ = {a, b, c)
s = q0 F = q1
Donde la función δ: {q0, q1, q2} × {a, b, c} →
{q0, q1, q2} viene dada por: δ (q0, a) = q1 δ (q0, b) = q2
δ (q1, b) = q0 δ (q1, c) = q2 δ (q2, b) = q1 creación de la
tabla de transiciones donde se puede apreciar las
transiciones realizadas par llegar a cada estado
A B C
Q0 q1 q2
Q1 q0 q2
Q2 q1

Se puede apreciar que el autómata solo llega a un estado por

medio de una letra del lenguaje lo cual lo convierte en un
autómata finito determinista.

Procedimiento Se elimina los estados intermedios entre el inicial y el final de

la siguiente manera
Primero se elimina q2
Lo cual nos genera una transición de estado de la siguiente manera
(a+bb)
Se agrega la transición a+bb ya que son los pasos que realiza q0 para
llegar a q1 pasando por q2 que lo eliminamos

A q1 se agrega la transición cb ya que es la transición que hacia para ir

y venir de q2
Como paso siguiente se elimina q0 de la siguiente forma

Y como resultado nos queda la transición (a+bb(cb)*b) * (a+bb)

(cb)*
Lo cual nos lleva a una expresión regular del autómata
ER=(a+bb(cb)*b)* (a+bb)(cb)*
 Automata final

Lenguaje regular (({a}+{bb}). ({cb}*. {b}) *) *. (({a}+{bb}). {cb}*)

Desarrollo de e segunda parte

Ejercicio e
Caracterizac Se identifica la 5-tupla (K, Σ, δ, s, F)
ión donde:

M = ({q0, q1, q2}, {a, b, c}, δ, q0, {q2})

K = {q0,
q1,q2} Σ ={a,
b, c) s = q0 F
= q1
Donde la función δ: {q0, q1, q2} × {a, b, c} →
{q0, q1, q2}
viene dada
por: δ (q0, a)
= q1 δ (q0, a)
= q0 δ (q0,) =
q2 δ (q1, b) =
q1 δ (q1, c) =
q2 δ (q1,) =
q0 δ (q2, a) =
q2
δ (q2, b) = q0

se puede apreciar que el autómata llega a más de un estado haciendo uso del
mismo símbolo del alfabeto lo cual indica que es un autómata finito no
determinista.
Procedimie Definido el tipo de autómata la característica de sus transiciones se procede
nto a elaborar la tabla de transiciones evaluando sus transiciones pasándolo de
autómata finito no determinista a un autómata finito determinista La tabla
de transición se vería de la siguiente manera:
a b c
-#A= {0}U{0,2} B= {012} U {0,2} A= {0}U{0,2}
#B= {012} U {0,2} B= {012} U {0,2} B= {012} U {0,2} C={2}
#C= {2}u{02} C= {2} A= {0}U{0,2}
Autómata
final
convertido

Verificación Automata incial en proceso de verificación

Autómata convertido en proceso de comprobación

Desarrollo del trabajo grupal
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 Registre aquí el Autómata realizado. Por favor agregue la imagen.

TRABAJAR
ER = {(a)*+cd(ab)*b}

r=r1+r2 donde r1 = (a) * y r2 = cd (ab)*b

Obtención de 𝑟1=(𝑎)∗

𝑟2 se puede expresar como 𝑟3 , 𝑟4 . 𝑟5 donde 𝑟3 = 𝑐𝑑, 𝑟4 = (𝑎𝑏) ∗ 𝑦 𝑟5 = 𝑏

El autómata para 𝑟3 es:

El autómata para 𝑟4 es:

El autómata para 𝑟5 es:

Con lo anterior 𝑟2 queda de la siguiente:

El autómata final 𝑟 = 𝑟1 + 𝑟2 queda de la siguiente forma:

Notación En este espacio agrega la notación formal del autómata. Identifique la quíntupla
formal del del autómata creado.
autómata
minimizado AFD1 = (Σ, Q, qi, F, f), donde: Σ={𝑎,𝑏.𝑐}(Conjunto de símbolos de entrada del
AFD)

𝑄= {𝑞0, 𝑞1,𝑞2,𝑞3,𝑞4,𝑞5,𝑞6,𝑞7,𝑞8,𝑞9,𝑞10,𝑞11,𝑞12,𝑞13,𝑞14,𝑞15,𝑞16}(Conjunto
de estados del AFD)

qi = q0 (estado inicial del AFD (q0Є Q))

F= {q16}

f: función de transición de estados del AFD

Caracterización AFD1 = ( Σ, Q, qi, F, f ), donde: Σ={𝑎,𝑏.𝑐}(Conjunto de símbolos de entrada del

del autómata AFD)
parte teórica
𝑄={𝑞0,𝑞1,𝑞2,𝑞3,𝑞4,𝑞5,𝑞6,𝑞7,𝑞8,𝑞9,𝑞10,𝑞11,𝑞12,𝑞13,𝑞14,𝑞15,𝑞16}(Conjunto de
estados del AFD)

qi = 𝑞0(estado inicial del AFD (𝑞0 Є Q))

F= {𝑞16}

f: función de transición de estados del AFD

AFND-λ =<{𝑞0,𝑞1,𝑞2,𝑞3,𝑞4,𝑞5,𝑞6,𝑞7,𝑞8,𝑞9,𝑞10,𝑞11,𝑞12,𝑞13,𝑞14,𝑞15,𝑞16},
{a,b,c}, δ, 𝑞0 ,{ 𝑞16 }>, con δ definida por el siguiente diagrama de transición de
estados

Lenguaje En este espacio agrega el lenguaje regular del autómata.

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

Practicar y
verificar lo
aprendido
 Bibliografía

Jurado Málaga, E. (2008). Teorìa de Autómatas y Lenguajes Formales.(U.

D. EXTREMADURA, Ed.) Obtenido de Biblioteca Virtual:
https://bibliotecavirtual.unad.edu.co/login?url=http://search.ebscohost.c
om/login.aspx?direct=true&db=edsbas&AN=edsbas.62161440&lang=es&
site=eds-live&scope=site

Gonzalez Amarillo, A. M. (31 de Mayo de 2016). Conversion de AFN a AFD

con transiciones vacias. Obtenido de YouTube:
https://www.youtube.com/watch?v=NF47BSorRfUUNAD.

(s.f.). OVA -Objeto Virtual de Aprendizaje. Obtenido de

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