Академический Документы
Профессиональный Документы
Культура Документы
PROBLEMAS A DESARROLLAR
1.
Enuncie
autmata en notacin matemtica
{q 0 , q 1 , q 2 , q 3, q4 , q 5 } , {0,1,2 } , , q 0 , { q0 , q1 , q4 , q 5 }
M =
K={q0 , q1 , q2 , q3, q 4 , q5 }
={0,1,2}
F={ q 0 , q 1 , q 4 , q5 }
S={q0 }
=funcinde transicin
Donde la funcin :
{ q 0 , q 1 , q 2 , q 3, q4 , q 5 } x { 0,1,2 } q 0 , { q 0 , q 1 , q 2 , q3, q4 , q5 }
Viene dada por:
=( q 0 ,0 )=q 2 =( q0 , 1 )=q2 =( q0 , 2 )= =( q0 , ) =q1
el
=( q 1 , 0 ) =q 3 =( q1 ,1 ) =q 2 =( q1 ,2 ) =
=( q 2 , 0 )= =( q 2 , 1 ) =q2 =( q 2 , 2 ) =q5
=( q 3 ,0 )= =( q 3 ,1 ) = =( q 3 , 2 )= =( q3 , ) =q2
=( q 4 , 0 ) = = ( q 4 ,1 ) =q2 =( q 4 , 2 )=q5
=( q 5 ,0 )= =( q 5 ,1 ) =q3 =( q5 , 0 )=q5
En las transiciones
=( q 0 , )=q 1
=( q 3 , )=q 2
es equivalente escribir la
S Q= Estado inicial
F Q=
{q 0 }
=:Qx Q
{q 0 , q 1 , q 4 , q5 }
{ q 0 , q 1 , q 4 , q5 } .
# q0
q2
q2
q1
# q1
q3
q2
q2
q2
q5
q3
q4
q2
# q4
q2
q5
# q5
q3
q5
(C B)
(B 1 B)
(S A)
(B 2 E )
( A 1 B )
( S OB )
( E 2 E )
(S 1 B )
( D 2 E )
( D 1 B )
(A )
( A 0 C )
(S 1 B )
( C 2 D ) ( D )
Cadena valida usada: 11212
(B 1 B)
(B 2 E )
( E 1 C )
Se
llama
minimizacin a la obtencin de un autmata con el menor nmero posible de
estados. Una de las mejores cualidades de los AFD es que existen mtodos
mecnicos para simplificarlos, hasta poder llegar al AFD ms sencillo posible
para un lenguaje dado.
En el caso de los AFD, vamos a entender por simplificacin la reduccin en el
nmero de estados, pero aceptando el mismo lenguaje que antes de la
simplificacin. (Tomado del Mdulo-Autmatas)
Dos estados son equivalentes, q4 q5 si al intercambiar uno por otro en
cualquier configuracin no altera la aceptacin o rechazo de toda palabra.
Este automta tiene dos estados que no son finales, lo que nos induce que puden
ser analizados. Y efectivamente as es, los estados q2 y q3 son excluyentes, (ya
que ambos cumplen la misma funcin) y al eliminar uno u otro no altera la
aceptacin o no de una cadena. Analizamos los estados:
Del estado q2 sale el smbolo 1 y llega al mismo estado q2
Del estado q3 sale el smbolo 1 y llega al estado q2 (esto lo facilita el estado lambda)
Del estado q2 sale el smbolo 2 y llega al estado q5
Del estado q3 sale el smbolo 2 y llega al estado q4
Se puede decir, que si q2 q3, al cambiar q2 por q3 en la configuracin, la
palabra va a ser aceptada (se acaba en el estado final) si y slo si de todos modos
iba a ser aceptada sin cambiar q2 por q3 (se acaba en el estado final).
Lo mismo se hace con los estados q4 q5, y los estados q0 q1.
Si es eliminado el estado inicial, su equivalente pasar a ser un nuevo estado
inicial.
Los estados que se suprimen son: q3, q1, y q4; dado que tienen sus respectivos
equivalentes (q2, q0 y q5)
En resumen:
Estados distinguibles: q0, q1, q4, q5
Estados no distinguibles: q2, q3
Estados equivalentes: q0 q1, q2 q3, q4 q5
Estados suprimidos: q0, q3, q4
Tabla de estados disntinguibles
q1 (q1,q0)
q2
x
q3
x
q4
x
q5
x
q0
X
X
X
X
q1
(q3,q2)
x
x
q2
x
x
q3
x
(q4,q5)
q4
X
q5
X Estados distinguibles
Tabla 2. Tabla de estados disntinguibles
q
q
( 4 , 2)=q 5
( 4 ,1)=q2 =
=
q
q
( 5 , 2)=q 5
( 5 , 1)=q2 =
=
=( q 1 , 0 ) =q 0 =( q1 , 1 )=q 3
q
q
( 0 , 1)=q3
( 0 , 0)=q 0 =
=
Al suprimir los estados q0, q3, y q4; en el autmata estn presente los estados
q1, q2 y q5 respectivamente.
3. Escribir la funcin de transicin del nuevo autmata.
M =( , K , , q0 , F)
Donde;
={0,1,2}
K={q1 , q2 , q5 }
=funcinde transicin
F={q 1 , q 5 }
S={q1 }
=( q 1 , 0 ) =q 2 =( q1 ,1 ) =q 2 =( q1 ,2 ) =
q
q
( 2 ,1)=q2 =( q2 , 2 )=q5
( 2 , 0 )= =
=
q
q
( 5 , 1)=q2 =( q 5 , 2 ) =q5
( 5 , 0 )= =
=
Notamos que hay dos ciclos, lo que indica que habrn muchos ciclos
representados con (*) estrellas de kleene.
De q1 sale un 1 o un 0 a q2, y se presenta un ciclo con 1
De q1 a q2 se obtendra (1+0)1*
Hacemos esta segunda parte, desde el estado q2
Se inicia un ciclo con 1(una estrella de kleene)
De q2 sale un 2 y llega al estado q5 donde hay un ciclo con 2 (22*)
Luego de q5 pasa a q2 con 1
Pero todo este proceso se repite, se incluye una estrella de kleene mas (*)
Ahora se contina del estado q2 para llegar a q5. (Proceso igual)
1*22*
As, la ER final es: (1+0)1*(1*22*1)*1*22*
5. Compruebe una cadena vlida para esa expresin regular.
Cadena vlida: 01222
Cadena Vlida
(1
0)
0
1*
1
(1*
2*
1*)
1*
2
2
2*
22
OK
L={w { 0,1,2 } El conjunto de las posibles cadenas que puedan empezar por
0 o por 1 y terminen en 2.
Las cadenas que inician en 1 o 0 deben seguir un 1 o 1s, seguidos de un dos, y
terminar en un 2 o 2s.
De este estado final pasa al estado anterior (se regresa) con 1 y hay un ciclo con
1, seguidos de un dos, y terminar en un 2 o 2s.
cinco posibles cadenas vlidas
0122
1222
1112
1212
1122
7. Identificar su gramtica. Demustrela para una cadena vlida del autmata.
(S 1 A )
( A 2 B )
(B 1 A )
( A 2 B )
(B )
Gramtica
despus de
minimizar
# q1
q2
q2
q2
q2
q5
# q5
q2
q5
Tercer paso.
Los estados q0 y q1
tanto podemos eliminar a q0
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 vlidas. {(bcc) (ac) (aabc) (aaaabcc) (aaaccccb) (acb) (aaaaabcc)
(aaabcc)}
1. Describa el autmata en notacin matemtica, y encuentre en primera
instancia una regla que evale estas cadenas y que cumpla las condiciones de
las mismas.
Un autmata con pila (PDA) es esencialmente un autmata nito que posee
control sobre una pila, es decir una lista de la cual solo se puede leer,
poner osacarel primer elemento. Dado el estado actual del autmata y el
primer elemento de la pila, un smbolo de input nos llevar (posiblemente en
forma no determinstica) el estado siguiente y a la modicacin que se debe
hacer en el primer elemento de la pila.
Diremos que una cadena es aceptada por pila vaca por el PDA si cuando la
aplicamos obtenemos una pila vaca. Diremos que una cadena es aceptada
por estado nal por el PDA si lleva el estado inicial a uno nal.
Los lenguajes aceptados por los autmatas con pila, tantos los aceptados por
pila vaca o por estado nal, son los mismos que los aceptados por las
gramticas libres de contexto e incluyen estrictamente a los lenguajes
regulares.
apbrcs
donde p es mayor o igual a 1
r es igual a 1
s es igual o mayor a p
este APD acepta un numero igual de as y de cs o un nmero mayor de cs; y
una sola b. En su orden abc.
El autmata de pila es un sptuplo (K, , , , s, F) en donde:
K es el conjunto de estados (q0, q1, q2, q3)
es el alfabeto de entrada (abc)
es el alfabeto de la pila (AZ)
s K es el estado inicial (q0)
Z0 es el smbolo inicial de la pila (Z) (o tambin se denota como Z
simplemente)
F es el estado final (q3)
(K x * x ) x (K x *) es la relacin (funcin) de transicin.
PASO 1: El estado en que se encuentra el autmata q0, lo que falta por leer de la
palabra de entrada abc, y el contenido de la pila Z.
PASO 2: El estado en que se encuentra el autmata q0, lo que falta por leer de la
palabra de entrada bc, y el contenido de la pila AZ.
PASO 3: El estado en que se encuentra el autmata q1, lo que falta por leer de la
palabra de entrada c, y el contenido de la pila AZ.
PASO 4: El estado en que se encuentra el autmata q2, lo que falta por leer de la
palabra de entrada (nada), y el contenido de la pila Z.
PASO 5: El estado en que se encuentra el autmata q3 (estado final), lo que falta
por leer de la palabra de entrada (nada), y el contenido de la pila vacia.
ESTADO
q0
q0
q1
q2
q3
POR LEER
abc
bc
c
PILA
Z
AZ
AZ
Z
El autmata parte del estado inicial q0, falta por leer aabcc y el contenido de la
pila es Z.
El autmata se mantiene en el mismo estado inicial q0, falta por leer abcc y el
contenido de la pila es AZ.
El autmata se mantiene en el mismo estado inicial q0, falta por leer bcc y el
contenido de la pila es AAZ.
El autmata se desplaza del estado q2 al estado q3, no falta por leer ninguna
letra y el contenido de la pila es vacia.