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
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 transición
a b
q0 q1,q2 ø
q1 ø q0,q2
#q2 ø ø
 - Explicar las características del tipo de 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.

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 y
Regular paso a 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
Entonces al eliminar q0 nos quedaría el estado q2 así: a+ab.

Autómata Final a+ab

convertido
 Lenguaje Se describe el ejercicio como una cadena que comienza en más
regular 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 Registre aquí el Ejercicio a trabajar. Por favor

TRABAJAR agregue la imagen

Caracterización En este espacio se realiza:

del autómata - Identificación del Autómata Finito Determinista
o Autómata Finito No Determinista
- Explicar las características del tipo de autómata

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.

- Paso 1:
- Paso 2…
- Paso 3…
Autómata Final En este espacio se presenta el autómata final
convertido

Practicar y
verificar lo
aprendido En este espacio agregar las imágenes tomadas del
simulador utilizado.