Unidad 1: Fase 2 –

Conocer formalismos usados para definir lenguajes formales

AUTOMATAS Y LENGUAJES FORMALES

GRUPO: 301405_38

TUTOR:
JHEIMER JULIAN SEPULVEDA

PRESENTADO POR:
KEIDER FABIAN LOPEZ CARRANZA
CC: 1065639743

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)

VALLEDUPAR - CESAR
FEBRERO 2019
ACTIVIDAD 1: Conversión de un Autómata Finito a Expresión Regular
El diseño solicitado corresponde al diligenciamiento de la siguiente tabla:

EJERCICIO A Ejercicio 3
TRABAJAR

Caracterización - Autómata Finito Determinista.

del autómata -
Este es un autómata determinista porque su estado q0 sale un
“a” para tener estado final q2 y “a” para el estado q1.

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

K= conjunto finito de todos los estados

∑= alfabeto finito de símbolos de entrada
S= el estado inicial de K
F= conjunto de estados finales
δ= relación de transiciones que a partir de un estado o un
símbolo del alfabeto obtiene un nuevo estado

Donde:

K={q0,q1,q2}
∑= {a, b}
S= {q0}
F= {q2}
Donde la función δ= {q0, q1, q2}. {a, b} ―> {q0, q1, q2}
viene dada por: δ{q0.a} =q1
δ{q0.a}=q2
δ{q1.b}=q2
δ {q1. b} =q0}
 Tabla de transiciones

a b
q0 q1,q2 ø
q1 ø q0,q2
#q2 ø ø

Procedimiento Realice de manera detallada el procedimiento paso a paso de

de conversión la conversión del autómata a expresión regular y según
de Autómata ejemplo revisado.
Finito a
Expresión - Paso 1: Abrimos el autómata para quitar el ciclo de q0 y q1
Regular paso a y así proceder a la eliminación de estado q1.
paso

- Paso 2: Eliminación de q1
El estado q0 toma a para llegar al estado final q2

- Paso 3: q1 toma a para llegar a q1 del cual q1 tomaría b

para llegar a q2 como también tomaría el camino a para llegar
a q1 y b para regresar al estado q0 y tomar a para llegar a q2.
Nos quedaría así: ab

Autómata Final (ab)*(a+ab)

convertido
 Lenguaje Se describe el ejercicio como una cadena que comienza en (ab)*
regular pasando por (a+ab) más la unión de ab para llegar al estado
final q2.

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

Finitos No deterministas (AFD a AFND) y viceversa
El diseño solicitado corresponde al diligenciamiento de la siguiente tabla:

EJERCICIO A
TRABAJAR

Caracterización - Autómata Finito No Determinista

del autómata
Este es un autómata no determinista ya que uno de sus
estados tiene una transición vacía y por cada uno de sus
símbolos se llega al estado destino q2.
- Explicar las características del tipo de autómata

K= conjunto finito de todos los estados

∑= alfabeto finito de símbolos de entrada
S= el estado inicial de K
F= conjunto de estados finales
δ= relación de transiciones que a partir de un estado o
un símbolo del alfabeto obtiene un nuevo estado

Donde:

K= {q0, q1, q2, q3}

∑= {a, b, λ}
S= {q0}
F= {q2}

Donde la función δ= {q0, q1, q2}. {a, b, λ} ―> {q0, q1,

q2, q3}

viene dada por:

δ {q0. a} =q1
δ {q0. a} =q3
δ {q0. b} =q2
δ {q0. λ} =q2
δ {q1. b} =q2
δ {q3. b} =q2

Tabla de Transición

a b λ
q0 q1,q3 q2 q2
q1 ø q2 ø
#q2 ø ø ø
q3 ø q2 ø
Procedimiento Realice de manera detallada el procedimiento paso a paso
de conversión de la conversión del autómata según corresponda y según
paso a paso ejemplo revisado.
Paso 1:

a b
A= {0} U {2} B= {1,3} U {-} C= {-} U {-}

- Paso 2:
a b
B= {1,3} U {-} C= {-} U {-} D= {2} U {-}

- Paso 3…
a b
C= {-} U {-} C = {-} U {-} C ={-} U {-}

- Paso 4:
a b
D= {2} U {-} C = {-} U {-} C ={-} U {-}

- Tabla de Transiciones
a b
A= {0} U {2} B= {1,3} U {-} C= {-} U {-}
B= {1,3} U {-} C= {-} U {-} D= {2} U {-}
C= {-} U {-} C = {-} U {-} C ={-} U {-}
D= {2} U {-} C = {-} U {-} C ={-} U {-}

a b
#A B C
B C D
C C C
#D C C

Autómata Final
convertido
Practicar y
verificar lo
aprendido