UNIDAD 1: FASE 1

DEBATIR Y DESARROLLAR LOS EJERCICIOS PLANTEADOS SOBRE

LENGUAJES Y EXPRESIONES REGULARES.

INTEGRANTES:

WILDER ALEJANDRO FLOREZ GONZALEZ 1.113.647.557

JHON ARLEX OCAMPO
OSCAR MARINO CASTRO 1.113.664.818

GRUPO 301405_35

TUTOR
HELENA CLARA ISABEL ALEMAN

UNIVERSIDAD NACIONAL ABIERTA A DISTANCIA

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
PALMIRA VALLE
2017
 DESARROLLO DE LA ACTIVIDAD

Ejercicio 1:

Teniendo en cuenta el autmata realizar la expresin regular, el lenguaje regular y mencionar el tipo de autmata (Autmata finito
determinista y autmata finito no determinista)

AUTO
MATA

Expresi 01+11 00*1+1(1+10*1) ((1+00*1)

n (10*1)*0)*(1+00*1)(10*1)*
regular
Lenguaj L={0,1} L={0,1} L={0,1}
e
regular
Tipo de AFD AFND AFD
autmat
a (AFD
o
AFND)
Ejercicio 2:

Realizar la conversin del siguiente autmata, si el autmata es AFD convertirlo a AFND y

si es AFND convertirlo a AFD, Se debe mostrar el procedimiento paso a paso.

Empezando por el estado de inicio (q0), revisamos cuales transiciones vacas o psilon lo
afectan, en este caso ninguno. As que unimos el nmero del estado (0), con las transiciones
vacas (queda vaco), a esta unin la nombramos A. Luego evaluamos este conjunto A, con
el alfabeto entrante (0 y 1) y verificamos los estados que puede alcanzar. Se genera
nuevamente una unin, entre el estado alcanzado por el elemento del alfabeto (1 en este
caso), esta unin es diferente al conjunto A, por lo cual genera un nuevo conjunto llamado
B. Se repite el paso anterior con el alfabeto, (0 en este caso), generando un nuevo conjunto
C. Este proceso se repite hasta que no se generen ms conjuntos.

1 0
A={0}U{} B={2}U{1} C={1}U{}
B={2}U{1} D = { 2, 3 } U { 1 } E = { 1, 4 } U { 3 }
C={1}U{} B={2}U{1} C={1}U{}
D = { 2, 3 } U { 1 } D = { 2, 3 } U { 1 } F = { 0, 4 } U { 3 }
E = { 1, 4 } U { 3 } B={2}U{1} G = { 0, 1 } U { }
F = { 0, 4 } U { 3 } B={2}U{1} G = { 0, 1 } U { }
G = { 0, 1 } U { } B={2}U{1} C={1}U{}
Todos los conjuntos ya han sido operados. En el autmata anterior, el estado final era q4.
En la nueva tabla, todos los conjuntos que contengan a 4 sern estados finales.
Simplificando la tabla quedara as:

1 0
->A B C
B D E
C B C
D D F
#E B G
#F B G
G B C

Y ubicando estos nuevos estados y transiciones en un nuevo autmata, quedara as:

Ejercicio 3:

Teniendo en cuenta el ejercicio anterior, seleccionar el autmata finito determinista (AFD).

Con base en ese autmata desarrolle:

1. Describa la forma matemtica del autmata.

A a E = 10(10(010(000*10)*)*)*
A a E (por C) = 00*10(10(010(000*10)*)*)*
A a F = 111*0(111*0(0111*0(000*111*0)*)*)*
A a F (por C) = 00*111*0(111*0(0111*0(000*111*0)*)*)*

ER = 10(10(010(000*10)*)*)* + 00*10(10(010(000*10)*)*)* +
111*0(111*0(0111*0(000*111*0)*)*)* +
00*111*0(111*0(0111*0(000*111*0)*)*)*

ER = (10(010(000*10)*)*)*(10+ 111*0) + (111*0(0111*0(000*111*0)*)*)*( 111*0

+ 00*111*0)

2. Plasme la tabla de transicin.

3. Identifique los elementos (tupla, estado final, inicial, alfabeto, etc.). Debe explicar y
describir cada elemento y la funcin y significado en el autmata. Conceptos y
definiciones adicionales.
Definicin de un autmata finito
A= { Q , , , q0 , F }

donde:

Q: Es el conjunto de estados del autmata.

: Es el alfabeto del autmata finito.
: Son las transiciones presentes en el autmata.
q0: Estado inicial.
 F: Conjunto de estados finales.

Q= { A , B ,C , D , E , F , G }
= {0,1 }
q0 = { A }
F= { E , F }

4. Identifique el lenguaje que genera.

L = {Lenguaje que inicia con Cero seguido de n sucesos de 0 y continuo a un uno

y cero para terminar o inicia con 1 con N sucesos de 1 seguido de un nico cero
para terminar}

5. Muestre en el simulador (grficamente) como recorre una cadena vlida. Explique

cada secuencia. (No se trata solo de captura las imgenes, estas deben ser explicadas
en pi de pgina o de lo contrario no tienen validez)
Se procede a trabajar con la cadena 0010
Empezamos en el estado inicial A en el cual ingresaremos el primer valor

Al ingresar el primer valor en este caso Cero, el autmata lo reconoce como un

valor aceptable y procede al estado C , mediante la transicin anterior (0).
Al estar en el estado C el autmata espera a que se ingrese el nuevo valor al leer que
este es cero realiza la iteracin sobre el mismo.

El autmata espera para leer el siguiente valor, al reconocer que este vlido, procede
ir del estado C con transicin 1 al estado B.
Al identificar el 1 como un valor valido para llegar al estado B, en este se cuentan
con dos transiciones es decir si el valor ingresado es 0 el autmata ingresara al
estado E, pero si el valor es el autmata pasara al estado D.
En este caso ingresaremos el valor 0, con el que se realiza la transicin al estado E,
el autmata logra leerlo y lo identifica como un valor vlido, es as como el
autmata llega a su estado final (E), siendo la cadena 0010 aceptada.
6. Muestre el diagrama de Moore generado en JFLAP y en VAS y comente tres
similitudes y tres diferencias que encuentra al realizarlo en los dos simuladores.
(Ventajas que ofrezca uno u otro).

Similitudes:
La forma de disear los diagramas es igual
En ambos es posible realizar conversiones de NFA a DFA
Las dos herramientas permiten realizar la ilustracin o simulacin de las
cadenas ingresadas.

Diferencias
La herramienta VAS permite generar la tabla de transiciones mientras que
JFLAP no lo realiza
JFLAP nos permite obtener la ER mediante el autmata Finito, VAS no
cuenta con esta opcin.
Las diversas opciones que ofrece JFLAP tales como la creacin de mquinas
de Moore, ER, expresiones gramaticales, mquina de Mealy, permite que sea
una herramienta ms completa ,frente a lo que contiene VAS.

7. Genere tres cadenas vlidas y dos no vlidas.

 REFERENCIAS BIBLIOGRFICAS

Carrasco, R., Calera, R., Forcada, M. (2016). Teora De Lenguajes, Gramticas Y

Autmatas Para Informticos. Recuperado
de:http://bibliotecavirtual.unad.edu.co:2048/login?
user=proveedor&pass=danue0a0&url=http://bibliotecavirtual.unad.edu.co:2051/login.aspx?
direct=true&db=nlebk&AN=318032&lang=es&site=eds-live&ebv=EB&ppid=pp_Cover

Alfonseca, C., Alfonseca, M., Mariyn, S. (2009). Teora de autmatas y lenguajes

formales. (pp. 7-797). Recuperado
de:http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
docID=10498456&ppg=6

Gonzlez, A. (2016). Conversin de Autmata Finito No Determinista a Autmata Finito

Determinista. Recuperado de https://youtu.be/29Qp_AWXFt4

Gonzlez, A. (2016). Conversin de Autmata Finito No Determinista a Autmata Finito

Determinista con transiciones vacas Mtodo 1. Recuperado de
https://youtu.be/NF47BSorRfU

Alfonseca, C., Alfonseca, M., Mariyn, S. (2009). Teora de autmatas y lenguajes

formales. (pp. 7-797). Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
docID=10498456&ppg=6

Huallpa, L. (2016). Conversin de AFND-e a AFD. Recuperado de

https://www.youtube.com/watch?v=wacz5J40h9A&t=34s

MonitoresUCaldas. (2016). Expresion Regular de Un Automata. Recuperado de

https://www.youtube.com/watch?v=mCHpn-msFnw