UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

AUTOMATAS Y LENGUAJES FORMALES

PRESENTADO POR:
MAURICIO CHAVES RODRIGUEZ-1093762972

PROFESOR:
JAIME JOSE VALDE

TRABAJO COLABORATIVO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

CALCULO DIFERENCIAL
GRUPO 301405_9
COLOMBIA
2015

Problemas a desarrollar:
1. Dada las siguientes expresiones regulares (ER), encuentre la expresin mnima
simplificada correspondiente.
ER1

(0(1)*) + 1

ER2

+1+(+ 1)(+ 1)*(+ 1)

ER3

0 + (+ 1)( + 1)*0

(0(1)*) + 1 =
(01*) + 1 =
01* + 1
+1+ (+ 1)(+ 1)*(+1)
1++ (1+) (1+ )*(1+)
+=+
1 + 1 1* 1
+=
1 1* 1
1 1 1*

1 +11*
+=
11*
*
+11*
+=
1*
*
0+(+ 1)( + 1)*0
0+ (1+) (1+)*0
0+(1)(1)*0
+=
0+1+ 1*0
entonces +=
0+ +11*0
0+1*0
*
01*0

Por 2:
Si L(), entonces
Por 4: + =
Por 11: *= *
Si L(), entonces
Por 13: * = +
Si L(), entonces
Por 13: * = +

Por 2: +=+
Si L(), entonces
Si L(),
Por 2: +=+
Por 13: * = +

ER4

ER5

1*0 + 1*0( +0+1)*( +0+1)

((0+1)1)

1*0+1*0(+0+1)*(+0+1)
1*0 + 1*0( +0+1) ( +0+1) *
*
1*0 + 1*0(0 + +1) (0 + +1) *
1*0 + 1*0(0+1) (0+1) *
entonces +=
1*0 + 1*0(0+1)+ (0+1) *
+=
1*0 + 1*0 + (0+1) (0+1) *
+=+
1*0 + 1*0 + (0+1) (0+1) *
*
1*0 + 1*0 (0+1) *

1*0(0+1)*
*
(((0+1)1)
(0+1)1
011

Por 11: *=
Por 2: +=+
Si L(),
Si L(), entonces
Por 2:
Por 13: * = +
Por 4: + =
Por 11: *=

2. PARA LA EXPRESION REGULAR 4: 1*0 + 1*0( +0+1)*( +0+1)

RESUELVA:

1. Describa la forma matemtica del autmata

La forma matemtica del autmata es:

L= {1n0, 1m0, (,0,1) (,0,1)} n, m, 0}

2. Plasme la tabla de transicin. Identifique que tipo de autmata es (AFD o

AFND) y justifique su respuesta. (No se trata de dar el concepto de
determinismo)
1*0 + 1*0( +0+1)*( +0+1)

q0

+ q1

q2

q3

f
q0
q1
#q2
q3

0
q1

q2

1
q0
q1

q2

q2

q2

q3

q3

q3

q0 = 1q0 + 0q1
q1 = 1q1 + 0q2
q2 = q2 +0q2 + 1q2 +

q2 = (+0+1) q2 + =
q2 = (+0+1)* =
q2 = (+0+1)*

q1 = 1q1 + 0q2 =
q1 = 1* (0q2) =
q1 = 1*(0(+0+1)*)

q0 = 1q0 + 0q1 =
q0 = 1*(0q1) =
q0 = 1*(0(1*(0(+0+1)*)))

1*(0(1*(0(+0+1)*))) = 1*01*0(+0+1)* = 1*0+1*0( +0+1)*( +0+1) =

1*01*0( +0+1)*( +0+1)

1*01*0(0+1)*

1*0 (01)*

Con base en la informacin obtenida en la tabla de transicin, se puede afirmar que se

trata de un autmata tipo AFD (autmata finito determinstico), ya que el q0 pasa a q1
por una sola transicin la cual es 0 y q1 pasa q2 tambin con una sola transicin que
es 0 y como q3 es una transicin inaccesible ya que ningn estado puede llegar a ella,
se elimina segn las regla de minimizacin.

3. Identifique los elementos (tupla que es) (Asociadas con los elementos del
autmata del ejercicio propuesto). Debe explicar y describir cada elemento y la
funcin y significado en el autmata. Conceptos y definiciones adicionales.
M es un quntuplo (K, , , s, F), donde:
K = {q0, q1, q2, q3}, identifica el conjunto de estados del autmata
= {1, 0, }, es el alfabeto de entrada
s es el estado inicial, en nuestro caso {q0}
F es un conjunto de estados finales, en nuestro caso {q2}
: K x K es la funcin de transicin, que a partir de un estado y un smbolo del
alfabeto obtiene un nuevo estado.
4. Identifique el lenguaje que genera.

L= { {1, 0, } | 1*0 (0+1)* }

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)

1*0 + 1*0( +0+1)*( +0+1)

Diagrama de
Moore en JFLAP

Ingresamos la cadena vlida 1010001

Con 1 se queda en q0
Con 0 se va a q1
Con 1 se queda en q1
Con 0 se va a q2
Con 0 se queda en q2
Con 0 se queda en q2
Con 1 se queda en q2
Con se va a q3

Diagrama de
Moore en VAS

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. (herramientas que ofrezca uno u otro).

a. diagrama de Moore generado en JFLAP

b. diagrama de Moore generado en VAS

DIFERENCIAS
JFLAP
JFLAP no permite la

observacin de los
caminos que toma
cada smbolo en una
transicin pero
genera una tabla en
la que se evidencia el
total de las
transiciones.
JFLAP permite la

insercin de varias
cadenas para su

posterior anlisis.
JFLAP permite la
conversin de AF a
ER y viceversa.
.

VAS
En los diagramas
de Moore en VAS
permite la
observacin de los
caminos que toma
cada smbolo en
una transicin
marcndola de
color rojo.
VAS permite la
visualizacin de la
tabla de transicin.
Para VAS podemos
ingresar todas las
transiciones a la
vez cuando est
bajo una estrella de
kleene.

7. Genere tres cadenas vlidas y dos no vlidas.

SIMILITUDES
Ambos simuladores
permiten el anlisis de
cadenas aceptando o
rechazando.
Ambos simuladores
permiten crear AFD y
AFND.

TABLA DE CADENAS VLIDAS Y NO VLIDAS

CADENAS VALIDA

CADENAS NO VALIDAS

1010

11101111+101100

1110+011

10
01111111

00

3. Si el autmata inicial (el de la ER4) es un AFD, genere un AFND que reconozca el

mismo lenguaje; o por lo contrario si el autmata inicial es un AFND, genere un AFD
que reconozca el mismo lenguaje
AUTMATA FINITO NO DETERMINISTA EQUIVALENTE
Expresin Regular Autmata Finito No Determinstico:

Expresin Regular Autmata Finito Determinstico:: 1*0 + 1*0( +0+1)*( +0+1)

1. Describa la forma matemtica del autmata.

L= {1n0, 1m0, (,0,1) (,0,1)} n, m, 0}

2. Identifique los elementos (tupla que es) (Asociadas con los elementos del
autmata del ejercicio propuesto).
M es un quntuplo (K, , , s, F), donde:
K = {q0, q1, q2, q3, q4, q5, q6, q7, q8, q9, q10, q11, q12, q13, q14, q15, q16, q17,
q18, q19, q20, q21, q22, q23, q24, q25, q26, q27, q28, q29}, identifica el conjunto de
estados del autmata.
= {1, 0, }, es el alfabeto de entrada
s es el estado inicial, en nuestro caso {q0}
F es un conjunto de estados finales, en nuestro caso {q1}
: K x K es la funcin de transicin, que a partir de un estado y un smbolo del
alfabeto obtiene un nuevo estado.

3. 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)

Ver A

Ver B
Ver C
Ver D
Ver E
Ver F
Ver G
Ver H

A. Inicia desde q22 debido a que de q0 a q22 hay trassiciones vacias (q0,q2)
B. Con 1 se va en q4 debido a que de q22 a q4 hay trassiciones vacias (q23, q3)
C. Con 0 se va en q20 debido a que de q4 a q20 hay trassiciones vacias (q5, q6,q7)
D. Con 1 se va en q8 debido a que de q20 a q8 hay trassiciones vacias (q21,q7)
E. Con 0 se va en q18 debido a que de q8 a q18 hay trassiciones vacias (q9, q10,
q11, q14)
F. Con 0 se va en q28 debido a que de q18 a q28 hay trassiciones vacias (q19,
q15, q11, q12, q13, q24)
G. Con 0 se va en q26 debido a que de q28 a q26 hay trassiciones vacias (q29,
q25, q13, q12, q24)
H. Con 1 se va en q1 debido a que de q26 a q1 hay trassiciones vacias (q27, q25,
q13) siendo q1 el estado aceptador.

4. Muestre el diagrama de Moore generado en JFLAP y en VAS

a. diagrama de Moore generado en JFLAP

a. diagrama de Moore generado en VAS

5. Identifique la ER asociada al nuevo diseo y comprela con la expresin

regular simplificada (es decir analcelas con dos cadenas vlidas y con dos no
vlidas). Para ello debe identificar en una tabla la jerarqua de operadores
regulares, identificando con colores las sentencias matemticas.

1*0 + 1*0( +0+1)*( +0+1) = 1*0 (0+1)*