UNIDAD 1- FASE 2 - CONOCER FORMALISMOS USADOS PARA DEFINIR

LENGUAJES FORMALES

PRESENTADO POR:
KEVIN ROGER CHILITO
CODIGO:
1.061.764.619

TUTOR:
ROLANDO FABIAN JUNCO

GRUPO:
301405_37

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA
ECBTI
PROGRAMA DE INGENIERIA DE SISTEMAS
AUTOMATAS Y LENGUAJES FORMALESPOPAYÁN CAUCA
MARZO 2020
 DESARROLLO DE LA ACTIVIDAD

ACTIVIDAD 1: Conversión de un Autómata Finito a Expresión Regular

EJERCICIO A Registre aquí el Ejercicio a trabajar.

TRABAJAR
Ejercicio 1

Ilustración 1 Ejercicio Numero 1 según número final de la cedula

Caracterización del En este espacio se realiza:
autómata - Autómata Finito No Determinista
- Explicar las características del tipo de autómata
- Autómata Finito No Determinista se caracteriza por tener una sola entrada
y muchas salidas es un sistema SIMO lo cual permite ir a varios estados
Un autómata finito no determinista (AFND) es un modelo matemático
definido por la quíntupla M=(Q, ∑,f, q0, F) en el que:
 Q es un conjunto finito llamado conjunto de estados.
 ∑ es un conjunto finito de símbolos, llamado alfabeto de
entrada.
 f es una aplicación llamada función de transición definida como:
f: Q x (∑ U { λ}) → P(Q) donde P(Q) es el conjunto de las
partes de Q, es decir, conjunto de todos los subconjuntos que se
pueden formar con elementos de Q q0 es un elemento o estado
de Q, llamado estado inicial. F es un subconjunto de Q, llamado
conjunto de estados finales.
Procedimiento de Realice de manera detallada el procedimiento paso a paso de la conversión
conversión de del autómata a expresión regular y según ejemplo revisado.
Autómata Finito a
Expresión Regular Paso 1
paso a paso Se elimina el estado q0
 Ilustración 2 Eliminación del estado 0
Paso 2 Se elimina el estado q2

Ilustración 3 Eliminación del estado 2

Paso 3 Se elimina el estado q1

Ilustración 4 Eliminación del estado 1

Autómata Final En este espacio se presenta la expresión correspondiente al
convertido autómata trabajado.
c¿ ¿

Lenguaje En este espacio agrega el lenguaje regular

regular correspondiente a la expresión regular.

ER=a c ¿ ¿
Tabla 1 Ejercicio Numero 1.1

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

deterministas (AFD a AFND) y viceversa
 Ilustración 5 Conversión de Autómatas Finitos Deterministas a Autómatas Finitos No
deterministas (AFD a AFND) ejercicio 2

EJERCICIO A Registre aquí el Ejercicio a trabajar. Por favor agregue la imagen

TRABAJAR

Caracterización del En este espacio se realiza:

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

Autómata Finito No Determinista se caracteriza por tener una sola

entrada y muchas salidas es un sistema SIMO lo cual permite ir a varios
estados Un autómata finito no determinista (AFND) es un modelo
matemático definido por la quíntupla M=(Q, Σ,f, q0, F) en el que:  Q
es un conjunto finito llamado conjunto de estados.  Σ es un conjunto
finito de símbolos, llamado alfabeto de entrada. f es una aplicación
llamada función de transición definida como: f: Q x (Σ U { λ}) → P(Q)
donde P(Q) es el conjunto de las partes de Q, es decir, conjunto de todos
los subconjuntos que se pueden formar con elementos de Q q0 es un
elemento o estado de Q, llamado estado inicial. F es un subconjunto de
Q, llamado conjunto de estados finales
Procedimiento de Realice de manera detallada el procedimiento paso a paso de la conversión
conversión paso a paso del autómata según corresponda y según ejemplo revisado.
Para comenzar con el análisis del ejercicio que es un procedimiento con
transiciones vacías con 4 estados
- Paso 1 Encontramos las transiciones vacías que para este caso son landa y
exilon, para el alfabeto tenemos a,b,c
- Paso 2 Realizamos los procedimientos con transiciones vacías
Cerradura ε ( 0 ) → A
Mover ( A , a ) ={1 }→ B
Mover ( A , b ) ={2 }→C
Mover ( A , c )={0 }→ A
Cerradura ε ( 1 )={3 }→ B
Mover ( B , a )={−−}
Mover ( B , b )={−−−}
Mover ( B , c ) ={0 }→ A
Cerradura ε ( 2 ) →C
Mover ( C , a )={3 }→ D
Mover ( C , b )={−−−}
Mover ( C , c )={0 }→ A
Cerradura ε ( 3 ) ={1 }→ D
Mover ( D , a )={−−}
Mover ( D , b )={0 }→ A
Mover ( D , c )={−−}
∑ ¿ ( A , B ,C , D )
−I = { A }
−F={ B , D }
- Paso 3 Construcción de la tabla de transiciones

a b c
→A B C A
#B B
C D
#D A

Paso 4 Se construyen las transiciones del nuevo Autómata

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

Practicar y Apoyándose en el simulador JFlap o VAS ejecutar los dos autómatas, el

verificar lo original y el autómata resultado final de la conversión y validar por lo
aprendido menos tres cadenas válidas y tres cadenas rechazadas.

En este espacio agregar las imágenes tomadas del simulador utilizado.

BIBLIOGRAFIA
Alfonseca, C., Alfonseca, M., Mariyón, S. (2009). Teoría de autómatas y lenguajes
formales. (pp. 71 - 115). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
docID=10498456&ppg=6

Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De Lenguajes, Gramáticas Y

Autómatas Para Informáticos. (pp. 127 - 142). Recuperado de
http://bibliotecavirtual.unad.edu.co:2051/login.aspx?
direct=true&db=nlebk&AN=318032&lang=es&site=edslive&ebv=EB&ppid=pp_Cover

Ferrando, J.C., and Gregori, V. (2012). Matemática discreta (2a. ed.). (pp. 207-232).
Recuperado de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
ppg=260&docID=10751543&tm=1481476339478

González, A. [Ángela]. (2018, junio 1). Lenguajes Regulares. [Archivo web]. Recuperado
de http://hdl.handle.net/10596/18315

Hernández, R. (2010). Practique la teoría de autómatas y lenguajes formales. (pp. 1 -124).

Recuperado de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
docID=10566114&ppg=10

Millán, J., Antonio J. (2009). Compiladores y procesadores de lenguajes. (pp. 28-62).

Recuperado de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/detail.action?
docID=10844351