CONSTRUCCION MOMENTO UNO

Trabajo presentado por:

RICARDO ALFREDO QUINTERO PINTO – 74370818
YUDY NATALI VIVAS BENÍTEZ – 10726403740129
SANDRA PATRICIA RIOS RIVERA - 1055273047

Trabajo presentado al Tutor:

NELSON MIGUEL SANDOVAL

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

INGENIERIA DE SISTEMAS
AUTOMATAS Y LENGUAJES FORMALES
2015
 PROBLEMAS A DESARROLLAR

1. Dada las siguientes expresiones regulares (ER), encuentre la expresión

mínima simplificada correspondiente y una posible expresión equivalente
escrita de otra forma. (para ello, siempre tenga en cuenta la jerarquía de
caracteres y el tema de ER descrito en el módulo).

ER ER Simplificada ER ALTERNA O
EQUIVALENTE
ER1 (0(1)∗ ) + 1 (0(1)∗ ) + 1 =
(01∗ ) + 1 = (01∗ ) ∪ 1
01∗

ER2 𝜆 + 1 + (𝜆 + 1)(𝜆 + 1)∗ (𝜆 + 1) 𝜆 + 1 + (𝜆 + 1)(𝜆 + 1)∗ (𝜆 + 1) =

1 + 𝜆 + (1 + 𝜆)(1 + 𝜆)∗ (1 + 𝜆) = ∅∗ ∪ 1 ∪ (∅∗ ∪ 1)(∅∗ ∪ 1)∗ (∅∗ ∪ 1)
1 + 11∗ 1
11∗ 1
111∗
1𝜆 + 11∗
11∗
𝜆 + 11∗
1∗

ER3 0 + (𝜆 + 1)(𝜆 + 1)∗ 0 0 + (𝜆 + 1)(𝜆 + 1)∗ 0

0 + (1 + 𝜆)(1 + 𝜆)∗ 0
0 + (1)(1)∗ 0 0 ∪ (∅∗ ∪ 1)(∅∗ ∪ 1)∗ 0
0 + 1 + 𝜆1∗ 0
0 + 𝜆 + 11∗ 0
0 + 1∗ 0
1∗ 0

ER4 1∗ 0 + 1∗ 0(𝜆 + 0 + 1)∗ (𝜆 + 0 1∗ 0 + 1∗ 0(𝜆 + 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)∗
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)∗

ER5 ((0 + 1)1) ((0 + 1)1)

(0 + 1)1) (10 ∪ 11)
011
 2. Para la Expresión Regular 4 (ER4):

1∗ 0 + 1∗ 0(𝜆 + 0 + 1)∗ (𝜆 + 0 + 1) Resuelva:

1) Describa la forma matemática del autómata.

La descripción de la forma matemática del autómata es:

𝐿 = {1𝑛 0, 1𝑚 0, (𝜆, 0,1)ñ (𝜆, 0,1)} ∖ {𝑛, 𝑚, ñ ≥ 0}

2) Plasme la tabla de transición. Identifique que tipo de autómata 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)
𝑞𝑜 + 𝑞1 ∘ 𝑞2 ∘ 𝑞3
f 0 1 λ
→q0 q1 q0 Eliminamos q3 ya que no se puede
q1 q2 q1 acceder a él desde ningún otro
estado, según la regla de
#q2 q2 q2 q2 minimización de autómatas lo
q3 q3 q3 q3 podemos hacer.

𝑞0 = 1𝑞1 + 0𝑞1

𝑞1 = 1𝑞1 + 0𝑞2

𝑞2 = 𝜆𝑞2 + 0𝑞2 + 1𝑞2 + 𝜆

𝑞2 = (𝜆 + 0 + 1)𝑞2 + 𝜆

𝑞2 = (𝜆 + 0 + 1)∗ 𝜆

𝑞2 = (𝜆 + 0 + 1)∗

𝑞1 = 1𝑞1 + 0𝑞2

𝑞1 = 1∗ (0𝑞2)

𝑞1 = 1∗ (0(𝜆 + 0 + 1)∗ )

𝑞0 = 1𝑞0 + 0𝑞1

𝑞0 = 1∗ (0𝑞1)

𝑞0 = 1∗ (0(1∗ (0(𝜆 + 0 + 1)∗ )))

1∗ (0 (1∗ (0(𝜆 + 0 + 1)∗ ))) = 1∗ 01∗ 0(λ + 0 + 1)∗ = 1∗ 01∗ 0(λ + 0 +

1)∗ (𝜆 + 0 + 1) = 1∗ 01∗ 0(λ + 0 + 1)∗ (𝜆 + 0 + 1)1∗ 01∗ 0(0 + 1)∗

1∗ 0(01)∗

Según la información obtenida en la tabla de transición podemos afirmar que se

trata de un autómata tipo AFD (AUTÓMATA FINITO DETERMINÍSTICO), ya que
q0 pasa a q1 por una sola transición la cual es 0 y q1; q2 también pasa con una
sola transición que es 0 y como q3 es una transición inaccesible por lo que ningún
estado puede llegar a ella, se elimina según las regla de minimización.

3) Identifique los elementos (tupla que es) (Asociadas con los elementos
del autómata del ejercicio propuesto). Debe explicar y describir cada
 elemento y la función y significado en el autómata. Conceptos y
definiciones adicionales.

M es un quíntuplo (K, Σ, δ, s, F), donde:

K = {q0, q1, q2, q3}, identifica el conjunto de estados del autómata

Σ = {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 función de transición, que a partir de un estado y un

símbolo del alfabeto obtiene un estado nuevo.

4) Identifique el lenguaje que genera.

𝐿 = {𝜔 ∈ {1, 0, 𝜆} ∖ 1∗ 0(0 + 1)∗ }

5) Muestre en el simulador (gráficamente) como recorre una cadena válida.

Explique cada secuencia. (No se trata solo de captura las imágenes,
estas deben ser explicadas en pié de página o de lo contrario no tienen
validez).

1∗ 0 + 1∗ 0(λ + 0 + 1)∗ (λ + 0 + 1)
 Diagrama de
Moore en JFLAP

Ingresamos la cadena válida 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 observación de los
caminos que toma cada símbolo en una
transición pero genera una tabla en la que se
evidencia el total de las transiciones.
 JFLAP permite la inserción de varias cadenas
para su posterior análisis.
 JFLAP permite la conversión de AF a ER y
viceversa.
 Para JFLAP debemos ingresar una por una cada
transición cuando está bajo una estrella de
kleene.
VAS
 En los diagramas de Moore en VAS
permite la observación de los caminos
que toma cada símbolo en una transición
marcándola de color rojo.
 VAS permite la visualización de la tabla
de transición.
 Para VAS podemos ingresar todas las
transiciones a la vez cuando está bajo
una estrella de kleene.

SIMILITUDES
 Ambos simuladores permiten el análisis de cadenas aceptando o rechazando.
 Ambos simuladores permiten crear AFD y AFND.
 Ambos simuladores permiten la conversión de AFND a AFD.
 Ambos simuladores permiten observar el recorrido paso a paso de un autómata.
 Ambos simuladores permiten la conversión a formato de imagen.
7) Genere tres cadenas válidas y dos no válidas.

CADENAS VÁLIDAS Y NO VÁLIDAS

CADENAS VALIDAS CADENAS NO VALIDAS

1010 1111
101010 10
00 01111111
100 1011111
10010101010 101

COMPROBACIÓN DE LAS CADENAS EN EL SIMULADOR JFLAP

 3. Si el autómata inicial (el de la ER4) es un AFD, genere un AFND que
reconozca el mismo lenguaje; o por lo contrario si el autómata inicial es
un AFND, genere un AFD que reconozca el mismo lenguaje.

AUTÓMATA FINITO NO DETERMINISTA EQUIVALENTE

ER Autómata Finito No Determinístico:

ER Autómata Finito Determinístico: 1∗ 0 + 1∗ 0(λ + 0 + 1)∗ (λ + 0 + 1)

1. Describa la forma matemática del autómata.

𝐿 = {1𝑛 0, 1𝑚 0, (λ, 0,1)ñ (λ, 0,1)} │ n, m, ñ ≥ 0}

 2. Identifique los elementos (tupla que es) (Asociadas con los elementos
del autómata del ejercicio propuesto). M es un quíntuplo (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 autómata.

Σ = {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 función de transición, que a partir de un estado y un

símbolo del alfabeto obtiene un nuevo estado.

3. Muestre en el simulador (gráficamente) como recorre una cadena válida.

Explique cada secuencia. (No se trata solo de captura las imágenes,
estas deben ser explicadas en pié de página o de lo contrario no tienen
validez)

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

b. diagrama de Moore generado en VAS

5. Identifique la ER asociada al nuevo diseño y compárela con la expresión
regular simplificada (es decir analícelas con dos cadenas válidas y con
dos no válidas). Para ello debe identificar en una tabla la jerarquía de
operadores regulares, identificando con colores las sentencias
matemáticas.

1∗ 0 + 1∗ 0(λ + 0 + 1)∗ (λ + 0 + 1) = 1∗ 0(0 + 1)∗