Actividad Momento 1

Miller Mauricio Rodriguez Cod:

Jairo Andres Correa Cod:

Einer Antonio Guerrero Cod:

Cindy Johana Ortiz Cod: 1091594297

Tutor

Magda Lorena

Universidad Nacional Abierta y a Distancia – UNAD

Autómatas y Lenguajes Formales

Octubre 2016
1). Las expresiones regulares (ER), pueden también escribirse de otras formas o con otra
secuencia de operadores o distribución de símbolos. En general es una forma matemática
que representa el Lenguaje que genera un Autómata. Y esas expresiones regulares siempre
serán válidas siempre y cuando representen exactamente el mismo lenguaje para un
Autómata. Concluyendo, para un Autómata, puede haber más de una ER que representa el
mismo lenguaje ya sea que esa ER sea minimizada, extensa, equivalente o como se prefiera
escribir. Solo que en los diseños óptimos computacionales siempre se buscará la mejor ER
(corta o mínima) para efectos de la mejor simulación o para llevarlas a lenguajes de
programación en la creación de soluciones computacionales (solucionar problemas -
Algoritmos). Dados los siguientes ítems, Autómatas Finitos Deterministas, Autómatas
Finitos no Deterministas, lenguaje expresiones regulares (ER), encuentre según
corresponda:
AFN LENGUAGE ER
((00) *(1+01)1) *(00) *(1+01)0*

(11*10)*11*

(11*(10+00))*11*
𝐿1 = {𝑤 ∈ {1,0}∗ )| =((00)*(1+01)1)*(00)*(1+01)0*}

𝐿1 = {𝑤 ∈ {1,0} ∗ )| = (11 ∗ 10) ∗ 11 ∗}

𝐿1 = {𝑤 ∈ {1,0} ∗ )| = (11 ∗ (10 + 00)) ∗ 11 ∗}

2) PARA LA EXPRESION REGULAR: ca*+bb*ab(a+b+cc*b)*

SIMPLIFIQUE LA EXPRESIÓN REGULAR Y RESUELVA:

Lo primero a realizar es la simplificación de la expresión regular, para poder desarrollar los

demás puntos, ya que lo que se pide como primera medida es la simplificación

Simplificación de la expresión regular:

ca* + bb*ab(a+b+cc*b)*

ca* + (bb*aba + bb*abb + bb*abccb*)*

ca*(abb* + abb* + abcb*c*)*

ca* + (abb* + abb* + λ + bbcb*c*)*

ca* + (abb* + b* + abcb*c*)*

ca* + (abb* + λ + b* + abcb*c*)*

ca* + (b* b* + abcb*c*)*

ca* + (b* b* + b*c*)*

Aplicamos la propiedad No. 12

ca* + (b** × b** × b**c*)

ca + (b* × b* × b*c*)
ca* + (c*)
ca* + c*

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

M = ({K, ∑, δ,} S, F)
 M = ({q0, q1, q2, q3,q4,q5,q6,q7,q8,q9,q10,q11,q12,q13}, {a,c},
={((q0,λ)q2,(q0,λ),q4),(q2,λ).q8),(q4,λ),q6),(q4,λ),q5),(q5,λ),q4),(q5,λ)q1),(q6,c)q7
),(q7,λ)q5),(q8,c)q9),(q9,λ)q10),(q10,λ)q12),(q10,λ)q11),(q11,λ)q10),(q12,a)q13),(q
13,λ)q11),(q11,λ)q3),(q3,λ)q1)}, q0,q1)

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 sino de
justificarlo asociando la respuesta al diseño del autómata)

Este es un autómata AFD, puesto que para sus estados y transiciones no se

evidencian estados vacíos

Tabla de transición de estados

Entrada
Estado
a c

q0 q1
q1 q3
q2 q2
q3 q3

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.

Este es el autómata de la simplificación de la expresión regular, de la cual sacamos las tuplas:

 Tuplas:

q0 λ q2
q0 λ q4
q2 λ q8
q4 λ q6
q4 λ q5
q5 λ q4
q5 λ q1
q6 c q7
q7 λ q5
q8 c q9
q9 λ q10
q10 λ q12
q10 λ q11
q11 λ q10
q12 a q13
q13 λ q11
q11 λ q3
q3 λ q1

K = {q0, q1, q2, q3,q4,q5,q6,q7,q8,q9,q10,q11,q12,q13}

∑ = {a,c}

δ={((q0,λ)q2,(q0,λ),q4),(q2,λ).q8),(q4,λ),q6),(q4,λ),q5),(q5,λ),q4),(q5,λ)q1),(q6,c)q
7),(q7,λ)q5),(q8,c)q9),(q9,λ)q10),(q10,λ)q12),(q10,λ)q11),(q11,λ)q10),(q12,a)q13),(
q13,λ)q11),(q11,λ)q3),(q3,λ)q1)}

S = q0

F= q1

4. Identifique el lenguaje que genera

 𝐿 = {𝑐𝑎∗ + 𝑏 ∗ ( 𝑎 + 𝑏𝑐 ∗ )∗ 𝑎 }

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)
La cadena seleccionada es: ccc

ccc

ccc

Ccc
 Cadena valida

Se ingresa la cadena valida ccc

La c es la cadena para una de las secuencias

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).
JFLAP
Posee la opción de convertir de AF a expresión
regular
Crea estados uno tras de otro previamente
dando clic en el icono con forma de circulo
VAS
No posee esta opción
Crea estados en dando clic izquierdo en la
opción State que es un icono en forma de circulo
y se encuentra en la parte superior izquierda,
que genera una ventana para ingresar el nombre
al estado.
 Tiene 11 opciones para escoger la que se Tiene 2 opciones para empezar a trabajar.
requiere para empezar a trabajar. Permite visualizar la tabla de transiciones.
No permite mostrar tabla de transiciones.
Permite establecer si una cadena es aceptada o
rechazada por el autómata

7. Genera tres cadenas válidas y dos no validas

3). Teniendo en cuenta el siguiente autómata identifique si es AFD o AFND, Si 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

Este es un autómata AFND puesto que para sus estados y transiciones hay varios estados
vacíos

De Autómata AFND a AFD

 Describa la forma matemática del autómata

M = ({q0, q1, q2, q3,}, {0,1},

{((q0,1)q0,(q0,1)q1),((q2,0)q0),((q1λ),q3),((q1,1)q2,((q2,λ)q1),((q3,0),q2)}, q0, q1)

 Identifique los elementos (tupla que es) (asociados con los elementos del autómata
del ejercicio propuesto)

Tuplas

Q0 1 q0
Q0 1 q1
Q2 0 q0
Q1 λ q3
Q1 1 q2
Q2 λ q1
Q3 0 q2

K = {q0, q1, q2, q3,}

∑ = {0,1}

δ={((q0,1)q0,(q0,1)q1),((q2,0)q0),((q1λ),q3),((q1,1)q2,((q2,λ)q1),((q3,0),q2)}

S = q0

F= q1
  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)

Demostrar la cadena valida

Las cadenas son válidas ya que no, nos arroja un error y esto es porque hay un estado de
aceptación.

Cadena valida
 Ingresamos la cadena valida 110101

Con 1 se queda en q1

Con 0 se va a q2

Con 1 se queda en q0

Con 0 se va a q3

Con 1 se queda en q1

Con λ se va a q1

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

ER autómata finito no determinista= (1*1(1+0)*(10+00))*1*1(1+0)*

ER autómata finito determinista= 1+11(1+0)*+101*(λ+0(1+0)*)

Cadena que recibe: 1101

(1*1 (1 + 0)* (10 + 00))*(10 + 00))*1*1(1 + 0)*

11 01