UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

AUTOMATAS Y LENGUAJES FORMALES

ACTIVIDAD EVALUACIN MOMENTO 2

Preparado por
Cesar Andrey Lpez Cajamarca NM: 1073130629
Email: cesarandrey89@gamil.com
Dennix Alberto Barrios Castillo NM: 1073324861
Email: dennixbarrios@hotmail.es
Isabel Cristina Gmez
isabelcristina.gomez@hotmail.com
Johan Gustavo Hernndez Moreno NM: 1032362416
Email: jghernandezmo@unadvirtual.edu.co

Curso 301405_33

Colombia
2015

Desarrollo de actividades

Problemas a desarrollar:

PARTE 1:
Calcular el autmata mnimo correspondiente al siguiente autmata finito.

1. Enuncie el autmata en notacin matemtica

Dado el siguiente autmata M Finito Determinista M=
Donde
F={

= es el estado inicial y

} son los estados finales, donde la funcin de transicin est

Dada por: : {q0, q1, q2, q3, q4, q5} {0, 1, 2} {q0, q1, q2, q3, q4, q5} q0

{q0, q1, q4, q5}

2. Identifique los componentes del autmata (que tipo de tupla es)

Se ha clasificado la tupla y los componentes del autmata de la siguiente manera:

5-tupla
K = Conjunto finito de estados.
= Alfabeto finito.
Estado inicial
= Funcin de transicin.
= Conjunto de estados finales o de aceptacin.
Identificando funcin de los estados

3. Identifique la tabla de transicin correspondiente

4. Identifique el lenguaje que reconoce y enuncie cinco posibles cadenas

vlidas que terminen en un estado halt

Cadenas validas
tem
1
2
3
4
5
6

Cadena
02
022
02111222
0212
11112
12

5. Encuentre la expresin regular vlida.

Con el simulador JFLAP

((0+1+1)1*2+01*2+02(2+11*2))(2+11*2+12(2+11*2))*

6. Encuentre su gramtica que sea vlida para la funcin de transicin

(describa sus componentes y como se escriben matemticamente).
Justifquela si la convierte a la Izquierda o a la derecha (eso significa
que debe hacerla por ambos lados y verificar cual es vlida
sustentando el por qu). Plsmela en el simulador y recrela. (Debe
quedar documentado en el texto el paso a paso que realizan en el
simulador)

Teniendo en cuenta la Definicin 13 del mdulo:

Definimos o caracterizamos una gramtica regular como:

Un cudruplo (V, , R, S) en donde:

V = Es el alfabeto de variables
= Es el alfabeto de constantes

R = Es el conjunto de reglas, es un subconjunto finito de V x (V U )

S= Es el smbolo inicial y es un elemento de V

Estas gramticas regulares son de la forma:

Lineales por la derecha.- Cuando todas las producciones tienen la forma
A aB o bien A a
Lineales por la izquierda.- Cuando todas las producciones tienen la forma
A Ba o bien A a
En donde A y B son las variables que pertenecen a V y a es un carcter terminal o
constante que pertenece a
Aqu se nota la diferencia

PASOS PARA REALIZAR LA CONVERSIN GRAMATICA

La conversin se hace a la izquierda porque es la lineal a la derecha ya que el

mismo lenguaje es generado por la siguiente gramtica lnea por la derecha.
Se desarroll en Convert to Grammar

Lineal por la derecha:

Para nuestro ejercicio tenemos:

V = {S, A, B, C, D, E,}
= {0, 1, 2}
R = { (S,A) (E,1C) (A, ) (D,2E) (D,1B) (E, ) (A,0C) (B, 2E) (B,1B) (E,2E)
(C, 2D) (D, ) (A,1B) (C,B) (S,0B) (S,1B) }

En este caso se convierte a la derecha ya que se est cumpliendo la condicin

A aB que significa que las variables (V = {S, A, B, C, D, E}) estn siendo
precedidas de las constantes ( = {0,1, 2})

LINEAL POR LA IZQUIERDA:

PORQUE NO FUNCIONA LA OTRA CADENA: Como se ve probamos las

cadenas validas que se plasmaron en el punto 4, se ensayaron en la gramtica
lineal por la derecha y funcionaron perfectamente, en la gramtica hacia la
izquierda el simulador las rechaza debido a que la cadena esta hacia la derecha.

7. Realice el rbol de Derivacin de esa gramtica

Derivacin Izquierda

Derivacin Derecha

Derivacin de lnea derecha = Lineales por la derecha = cuando todas las

producciones tienen la forma A aB o A a

Derivacin Lineal Derecha con la cadena valida

Es una gramtica lineal por la derecha

8. Identifique si ese rbol o gramtica es ambigua o no y plasme las

razones de su afirmacin

En este punto se identifica que el rbol o la gramtica NO es ambigua porque es

gramtica univoca = solo hay un rbol de derivacin. Est inscrito en la cadena
del lenguaje.

9. Si el rbol de transicin es demasiado grande, a su criterio seleccione

una regla en la que se detenga por cualquier rama (izquierda o
derecha) y plsmelo hasta ah. (es decir seleccione una cadena vlida
para este tem).

La siguiente es una regla para detener el rbol de transicin por la derecha:

(S1B)(B2E)(E1C)(C2D)(D )
REGLA
S1B
B2E
E1C
C2D
D

DERIVACION
S
1B
12E
121C
1212D
1212

ARBOL

ACTIVIDADES PARA EL EJERCICIO A MINIMIZAR O YA MINIMIZADO:

1. Explicar el proceso de Minimizacin (que estados se suprimen y

porque). Realice la tabla de estados distinguibles.

Paso 1: Se realiza anlisis a los estados, y este a su vez se crea subconjuntos.

Finales
{q0, q1, q4 y q5}

No Finales
{q2 y q3}

Paso 2: Se emplea a los subconjuntos fundados, las transacciones del AFD en

este proceso afectaremos las transacciones de los subconjuntos. Transaccin
= 2y1
Dos estados son equivalentes,
si al intercambiar uno por otro en
cualquier configuracin no altera la aceptacin o rechazo de toda palabra.

Smbolo

Finales
{q0, q1, q4 y q5}

No Finales
{q2 y q3}
{q4}

Paso 3: Se apartan del subconjunto los estados de un subconjunto que al aplicarle

la transicin se establece igual comportamiento a los dems subconjuntos, se
elimina la transicin (q3, 2) q4, q5 en el subconjunto de finales y para los no
finales se establece de igual forma.

Smbolo

Finales
{q0, q1, q4 y q5}

No Finales
{q2 y q3} {q4}

Repetimos el paso dos:

Paso 2: Se emplea a los subconjuntos fundados, las transacciones del AFD en
este proceso afectaremos las transacciones de los subconjuntos. Transaccin
=
Dos estados son equivalentes,
si al intercambiar uno por otro en
cualquier configuracin no altera la aceptacin o rechazo de toda palabra.

Smbolo

Finales
{q0, q1, q4 y q5} {q5}

No Finales
{q2 y q3}
{q2}

Repetimos el paso tres:

Paso 3: Se apartan del subconjunto los estados de un subconjunto que al aplicarle

la transicin se establece igual comportamiento a los dems subconjuntos, se
elimina la transicin (q3, ) q2en el subconjunto de finales y para los no finales se
establece de igual forma.
Smbolo

Finales
{q0, q1, q4 y q5}

No Finales
{q2 y q3} {q2, q4}

Paso 4: Elaboracin de la tabla de transicin del autmata, en base a los

subconjuntos formados. Para los subconjuntos que sufrieron sus respectivas
transiciones con su representativo estado. Ahora se identifica el reemplazo de las
transiciones que sufrieron efecto.

Autmata /
No Finales

Autmata /
Finales

Eliminacin
de estados /
transiciones

Q0

Q2

(q3, 2) q4

Q1

Q3

(q3, ) q2

Nuevo /
Observacin
Se elimin el estado q3, en
este caso se elimin = 2;
Se elimin el estado q3 en
este caso =

Q4
Q5
NUEVOS

Q0

Q1

Q2

(Q1, 0) q4

Se toma la transicin de entrada

= (Q1,0) Q3, debido que se
elimin = (Q3, 2) q4; y se
reemplaza por = (Q1, 0) Q4
Las flechas que llegan al
estado
eliminado
son
redirigidas hacia su estado
equivalente.

(Q5, 1) q4

Se toma la transicin de
entrada (Q5, 1) Q3, debido
que se elimin = (Q3, )Q2;
se reemplaza por = (Q5,
)
Q4.
Las flechas que llegan al
estado
eliminado
son
redirigidas hacia su estado
equivalente.

Q4
Q5

Paso 5: En este punto se elabora la tabla de transicin y se grafica el nuevo

autmata minimizado. Para realizar la tabla de transicin de nuestro minimizado
se asignaran los nuevos estados de acuerdo al paso 4.

.
2. Que transiciones se reemplazan o resultan equivalentes

Tabla de transicin antes

Transiciones equivalentes = Eliminacin de transiciones

Las flechas que salen del estado eliminado son eliminadas.

Transiciones equivalentes = Redireccin de transiciones del estado eliminado

Las flechas que llegan al estado eliminado son redirigidas hacia su estado equivalente.

Escribir la funcin de transicin del nuevo autmata.

Funcin de transicin est dada por:

: {q0, q1, q2, q4, q5 } {0, 1, 2} { q0, q1, q2, q4, q5 } q0 {q0, q1, q4, q5}
(q0, 2)=q2

(q1, 0)=q4

(q0, 0)=q2

(q2, 2)=q5

(q1,1)=q2

(q4, 2)=q5

(q2, 1)=q2

(q5, 1)=q4

(q4, 1)=q2

(q5, 2)=q5

(q0, )=q1

3. Identificar la expresin regular (explicarla en la lectura matemtica que

se le debe hacer).

La expresin regular para el autmata minimizado

((0+1+1)1*2+0(2+11*2))(2+1(2+11*2))*

4. Compruebe una cadena vlida para esa expresin regular.

La cadena vlida para este punto es 1122, como venamos trabajando en los
puntos anteriores.

5. Identificar el lenguaje que reconoce y cinco posibles cadenas vlidas

El nuevo autmata reconoce el mismo lenguaje que el inicial y reconoce las
mismas cadenas que el inicial.

l
12
02
111222

Accept
Accept
Accept

011222
012
0111222
0212
02111222
022
1212

Accept
Accept
Accept
Accept
Accept
Accept
Accept

6. Identificar su gramtica. Demustrela para una cadena vlida del

autmata.

Gramtica

Gramtica con cadena valida

7. Compare la gramtica con el autmata antes de minimizar (ya sea por

la izquierda o derecha).

Derivacin izquierda

Derivacin Derecha

De
rivacin de lnea derecha = Lineales por la derecha = cuando todas las
producciones tienen la forma A aB o A a

8. El autmatas nuevo expresarlo o graficarlo con su respectivo

diagrama de Moore.

9. Identificar sus tablas de Transicin (plasmarlas)

10. Plasmar los pasos de minimizacin en el simulador (comprelos con

el proceso manual que est explicando) y capturar los procesos en
imgenes para ser documentadas en el texto.

Se convirti a DFA el autmata inicial y liego se realiz la conversin de

minimizacin con el programa de simulacin JFLAP.
Se realiz la comprobacin con las mismas cadenas que se prob el autmata
inicial resultando aceptadas.

Resultante:

Se realizan las pruebas con las cadenas que se prob el autmata inicial y son
aceptadas.

PARTE 2:
Disee un APD que acepte cadenas de este tipo (con pila vaca): {(abc) (aabcc)
(aaabccc) (aaaabcccc) (aabccccc) (abccccc) (aabcccc) (aaaaaabcccccccccc)
(aaabccccc) (aaabccccccccccc)}
Cadenas no Validas. {(bcc) (ac) (aabc) (aaaabcc) (aaaccccb) (acb) (aaaaabcc)
(aaabcc)}

AUTOMATAS DE PILA:
Transiciones de un autmata de Pila
Leer un smbolo de entrada.
Extraer un smbolo de la pila.
Insertar un smbolo en la pila
Pasar a un nuevo estado.
La formalizacin de un autmata de pila es un sptuplo (K, ,G,D s, F) en
donde:

K es el conjunto de estados
es el alfabeto de entrada
G es el alfabeto de la pila
S K es el estado inicial
Z0 G es el smbolo inicial de la pila (o tambin se denota como Z
simplemente)
F K es un conjunto de estados finales.
( K x * x G *) x ( K x G *)es la relacin (funcin) de transicin.

1. Describa el autmata en notacin matemtica, y encuentre en primera

instancia una regla que evalu estas cadenas y que cumpla las
condiciones de las mismas.
L = {ai b ck | i,k 1 y i k}
L = {ai b ck } donde i,k 1 y i k
L = {a1 b c1}
AP = (Q, V, , d, q0, Z0, F)
Q = {q0, q1, q2}
V = {a, b, c}
= { Z0, l, 1}

d (q0, a, Z0) = {(q0, 1, Z0)}

d (q0, b, Z0) = {(q1, l)}
d (q1, c, Z0) = {(q2, l)}
d (q2, c, Z0) = {(q2, l)}

2. Grafquelo en JFLAP y realice el Traceback para las transiciones.

(Las columnas para un AP son: El estado en que se encuentra el
autmata, lo que falta por leer de la palabra de entrada, y el contenido
de la pila).

3. Plasme las imgenes y capturas en el documento. (Documente el

proceso).

4. Muestre el diagrama correspondiente de estados.

Cadena valida abc

Estado
q0
q0
q1
q2

Por Leer
.abc
.bc
.c
l

Pila
l
1
1
l

Por Leer
.aabcc
.abcc
.bcc
.cc
.c
l

Pila
l
1
11
11
1
l

Cadena valida aabcc

Estado
q0
q0
q0
q1
q2
q2

Cadena valida aaabccc

Estado
q0
q0
q0
q0
q1
q2
q2
q2

Por Leer
.aaabccc
.aabccc
.abccc
.bccc
.ccc
.cc
.c
l

Pila
l
1
11
111
111
11
1
l

5. Identifique los contenidos (el recorrido para cada interaccin) de la

pila y el estado de parada. Realcelo con una cadena valida.
Para este punto se tom la cadena valida aaabccc

Ilustracin. Cadena Valida aaabccc

Ilustracin. En el estado q0 lee a y agrega 1 a la pila.

Ilustracin. Vuelve al estado q0 lee nuevamente a y agrega otro 1 a la

pila.

Ilustracin. Vuelve al estado q0 lee nuevamente a y agrega otro 1 a la

pila.

Ilustracin. Pasa al estado q1, lee b y no agrega ni quita nada de la

pila.

Ilustracin. Pasa al estado q2, lee c y quita 1 de la pila.

Ilustracin. De nuevo en el estado q2 lee c y quita otro 1 de la pila.

Ilustracin. De nuevo en el estado q2, lee c y quita otro 1 de la pila quedando

esta vaca.