FASE 2 CONOCER FORMALISMOS USADOS PARA DEFINIR LENGUAJES FORMALES.

APORTE INDIVIDUAL

MILTON ARCENIO COGOLLO LIZARAZO

CODIGO 4104176
Grupo: 301405_29

ROLANDO FABIAN JUNCO

TUTOR

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA TECNOLOGÍA DE CIENCIAS BÁSICAS E INGENIERÍA
AUTOMATAS Y LENGUAJES FORMALES
Septiembre 23 de 2019
 EJERCICIOS DE LA FASE 1
ACTIVIDAD INDIVIDUAL

De acuerdo al último dígito de su cédula o tarjeta de identidad, identifique el ejercicio

asignado en la siguiente tabla:

Último dígito Ejercicio

de la Cédula o
TI
1y9 Ejercicio 1
2y8 Ejercicio 2
3y7 Ejercicio 3
4y6 Ejercicio 4
5y0 Ejercicio 5

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

1. Ejercicio 1 2. Ejercicio 2

3. Ejercicio 3 4. Ejercicio 4
 5. Ejercicio 5

El diseño solicitado corresponde al diligenciamiento de la siguiente tabla:

EJERCICIO A
TRABAJAR

Caracterización En este espacio se realiza:

del autómata - Este es un autómata finito no determinista.
(AFND)

- Tiene un estado inicial y un estado final.

- Cada iteración tiene como mínimo dos destinos:

Si parte el autómata der q0, puede legar al
mismo tiempo, mediante la a, hasta q1 y q2

Procedimiento Hallamos la ER por el método de eliminación

de conversión Este autómata en su iteración o transición de q0
de Autómata hasta q2, puede tener dos valores a ingresar a y b.
Finito a
Expresión Lo hacemos tomando la transición b para ir de qo
Regular paso a a q2:
paso
Analizamos las transiciones y podemos eliminar q1
y nos queda:

ab+b*b

Podemos eliminar q0:

Lo hacemos tomando la transición a para ir de qo

a q2:
 Eliminamos q1:

ab+a*b
Ahora eliminamos q0

ab+a*b

Autómata Final ER=(ab+b)*b (para el caso 1)

convertido ER=(ab+a)*b (Para el caso 2)

Lenguaje En este espacio agrega el lenguaje regular

regular correspondiente a la expresión regular.
ACTIVIDAD 2: Conversión de Autómatas Finitos Deterministas a Autómatas
Finitos No deterministas (AFD a AFND) y viceversa

1. Ejercicio 1 2. Ejercicio 2

3. Ejercicio 3 4. Ejercicio 4

5. Ejercicio 5
El diseño solicitado corresponde al diligenciamiento de la siguiente tabla:

EJERCICIO A
TRABAJAR

Caracterización - Este es un autómata finito no determinista.

del autómata (AFND)

- Tiene un estado inicial y un estado final.

- Cada iteración tiene como mínimo dos destinos

Procedimiento Conversión de AFND a AFD
de conversión Paso 1:
paso a paso 0 1
.q0 .q0, q3 .q1
.q1 - .q2
.q2 - -
.q3 - .q1,q2

Paso 2

0 1
.q0 .q0, q3 .q1
.qo,q3 qo,q3 .q1,q2
q1,q2 q2 -
q2 - -

Paso 3

A partir de la tabla anterior, graficamos el nuevo

autómata:

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

convertido

Apoyándose en el simulador JFlap o VAS ejecutar los

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

En este autómata finito

determinista, voy a probar dos cadenas:
----- 0011
RECHAZADA:

-----01
ACEPTADA.

-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.

Para el autómata original

CADENA 1100
RECHAZADA:
CADENA 011
ACEPTADA
 REFERENCIAS BIBLIOGRÁFICAS

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=3180
32&lang=es&site=edslive&ebv=EB&ppid=pp_Cover

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

https://www.youtube.com/watch?v=65B5QUNHfaM

https://www.youtube.com/watch?v=29Qp_AWXFt4