Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

19

Descargar como docx, pdf o txt
Descargar como docx, pdf o txt
Está en la página 1de 35

Tarea 3 Construcción de Autómatas de Pila

Presentado por:

Jhon Anderson Munoz Montes

Andres Mauricio Ceferino

Jhoan Sebastian Padilla Ortiz

Jose Daniel Novoa

Ruben Alonso Rios

Tutor:

Javier Antonio Ballesteros

Universidad nacional abierta y a distancia

Facultad de Ciencias y Tecnologías

Colombia

2021
Ejercicios 1: Autómata de pila

EJERCICIO A
TRABAJAR

Caracterización Quintupla automata: Alfabeto


del autómata a finito de entrada ∑.
pila ∑=(a,b);

Alfabeto de la pila

S= (𝜆, a);

Estado inicial de la pila Z


∈ S = Z;

Conjunto finito de estados Q.


Q=(q0,q1);

Estado inicial q1 ∈ Q;
q1 ∈ Q = q0;

Subconjunto de estados de aceptación F ⊂ Q. F ⊂


Q= (q1);

Función de transición 𝛿= Q x ∑ x S → Q x S
𝛿= q0 x a x 𝜆 = q0 x a;
𝛿= q0 x b x a = q1 x 𝜆;
𝛿= q1 x b x a = q1 x 𝜆;

Tabla de transición

a b
q0, 𝜆 q0,a -
q0,a - q1, 𝜆
q1,a - q1, 𝜆
Cuadro comparativo

AP VACIADO DE AP ESTADO FINAL


PILA
El autómata transita a otro estado con una
entrada del alfabeto de la pila o una transición
vacía, eliminando e introduciendo datos en la pila.

El autómata rechaza automáticamente la cadena


si al realizar una transición y eliminar un dato de
la pila, este dato no se encuentra en la cima.

La aceptación de la La aceptación de la
cadena no depende pila no depende de la
del estado de información que
aceptación sino de la contenga la pila sino
información que tiene del estado que finalice
la pila. al terminar con la
lectura de la cadena.

Procedimiento - Paso 1: cuando el autómata se encuentra en el estado inicial q0,


paso a paso de lee el símbolo de entrada a y tiene el símbolo Z en la cima de la pila.
una cadena
- Paso 2: El autómata transita en bucle a q0, introduce en ella el
simbolo a, quedando la cabeza de Za en la cima de la pila.

- Paso 3: cuando el autómata se encuentra en el estado inicial q0,


lee el símbolo de entrada a y tiene el símbolo Za en la cima de la
pila.

- Paso 4: El autómata transita en bucle a q0, introduce en ella el


simbolo a, quedando la cabeza de Zaa en la cima de la pila.
- Paso 5: cuando el autómata se encuentra en el estado inicial q0,
lee el símbolo de entrada a y tiene el símbolo Zaa en la cima de la
pila.

- Paso 6: El autómata transita en bucle a q0, introduce en ella el


simbolo a, quedando la cabeza de Zaaa en la cima de la pila.

- Paso 7: cuando el autómata se encuentra en el estado inicial q0,


lee el símbolo de entrada a y tiene el símbolo Zaaa en la cima de la
pila.
- Paso 8: El autómata transita en bucle a q0, introduce en ella el
simbolo a, quedando la cabeza de Zaaaa en la cima de la pila.

- Paso 9: cuando el autómata se encuentra en el estado inicial q0,


lee el símbolo de entrada b y tiene el símbolo Zaaaa en la cima de la
pila.

- Paso 10: El autómata transita a q1, elimina en ella el simbolo a,


quedando la cabeza de Zaaa en la cima de la pila.
Practicar y
verificar lo
aprendido

Lenguaje regular LR= {𝑎𝑛𝑏𝑚 𝐷𝑂𝑁𝐷𝐸 𝑁 ≥ 𝑀 ≥ 1}


Ejercicios 2: Gramática del automata

1. S = aSb

2. S= aS

3. S= 𝜆

Cadena: aaabb
Del ejercicio A es
ACEPTADAercicio
a trabajar

Caracterización Un autómata finito determinista (abreviado AFD) es un autómata finito


del autómata que además es un sistema determinista; es decir, para cada estado en que
se encuentre el autómata, y con cualquier símbolo del alfabeto leído,
existe siempre no más de una transición posible desde ese estado y con
ese símbolo.

Q={q 0 , q 1 , q 2 }
∑ ¿{0 , 1, a , Z , λ }
q 0∈ Q={q 0 }
F ⊆ Q={ q 2 }
⌈={ λ , a , 0 , 1}
A0 ∈ ⌈ = { λ } Información inicial de la pila
.
δ ( q 0 , 0 , λ ) ,(q 0 ,a)
δ ( q 0 , 1, a ) , (q 1 , λ)
δ ( q 1 ,1 , a ) ,(q 1, λ)
δ ( q 1 , λ , Z ) ,(q 2 , X )

Tabla de transición:

Input Símbolo Salida


q0 a q0
q0 λ q1
q1 λ q1
q1 X q2
AP por estado Final AP por vaciado de Pila
No prevé la definición de estados Exige, para aceptar una palabra,
finales y acepta las palabras, que el autómata llegue a un estado
simplemente, cuando tras llegar al final, tras avanzar hasta el final de
final de la cadena de entrada la la palabra, con la condición
pila ha quedado vacía. De nuevo adicional de que la pila haya
es fácil ver que cualquier quedado vacía. Es fácil ver que
autómata del tipo nuevo anterior cualquier autómata de los
se puede convertir en uno de este considerados hasta ahora puede
tipo que reconoce el mismo convertirse en uno de este tipo sin
lenguaje. Basta para ello con más que añadirle una transición
introducir un nuevo símbolo de con λ desde cada estado final a un
comienzo de pila, 𝛾00 , un nuevo nuevo estado final, así como las
estado inicial 𝑞00 y otro estado transiciones con λ necesarias para,
adicional, 𝑞𝑓;. Además, se añade sin salir de este estado, vaciar la
una transición desde 𝑞00 a 𝑞0 con pila
etiqueta 𝜆𝛾0 y una transición
desde cada antiguo estado final
hasta el estado 𝑞𝑓 con etiqueta
𝜆𝜆 . Este mismo autómata acepta
𝛾00
el mismo lenguaje, si se hace que
𝑞𝑓, sea el único estado final.

El lenguaje aceptado se define El lenguaje aceptado se define


como: como:

𝐿(𝑀) = {𝑤 ∈ ∑∗: (𝑞1, 𝑤, 𝑍1) 𝑁(𝑀) = {𝑤 ∈ ∑∗: (𝑞1, 𝑤, 𝑍1)


→ (𝑝, 𝜀, 𝜆), 𝑝 → (𝑝, 𝜀, 𝜀), 𝑝 ∈ 𝑄}
∈ 𝐹, 𝜆 ∈ Г}
Aquí una palabra 𝑤 es aceptada
es decir, al conjunto de aquellas cuando la Pila queda vacía en
cadenas que llevan al autómata cualquier estado del autómata y la
desde el estado inicial a un estado palabra ha sido leída
final del sub conjunto 𝐹. completamente (no es necesario,
por tanto, distinguir estados
finales).
Procedimiento de Paso 1
paso a paso del
recorrido de una  La pila está vacía
cadena  La cadena a trabajar es “000111”

Paso 2
 El estado q0 se lee con un 0
 No se desapila nada
 Luego de que se apila una (a) en q0, queda una (a) en el nivel
superior de la pila

Paso 3

 En q0 se lee un (0)
 Indica no desapilar nada
 Despues de apilar una (a) en q0, queda una (a) en el nivel superior
de la pila
Paso 4
 En el estado q0 se lee un 0
 Indica que no se desapile nada
 Despues de que se apile una (a) en q0, queda una (a) en el nivel
superior de la pila

Paso 5
 Transición entre q0 y q1 se lee con un (1)
 Indica que se desapile una (a)
 Depsues que no se apile nada en q1, queda una (a) en el nivel
superior de la pila
Paso 6
 En el estado q1 se lee un (1)
 Indica que se desapile una (a)
 Despues que no se apile nada en q1, queda una (a) en el nivel
superior de la pila

Paso 7

 En el estado q1 se lee un (1)


 Indica que se desapila una (a)
 Despues que no se apile nada en q1, la pila queda vacia
Paso 8
 Transición entre q1 y q1
 En automata desapila la Z y coloca una X
 El proceos llega al final y queda aceptada

Practicar y
verificar lo Se realiza proceso en simulador:
aprendido
Lenguaje regular Agregar el lenguaje regular del autómata.

R/ 0*11*

𝐿 = {0𝑚. 1. 1𝑚 / 𝑚 > 0}

Ejercicios 2: Gramática del autómata

El estudiante realiza paso a paso la gramática del autómata que seleccionó.

Identifique su gramática (de forma manual) por la derecha o izquierda y la caracteriza. Debe incluir
el diagrama de estados con los componentes de la gramática asociados a las variables y a las
constantes.

m m
G → x . y . z donde , x =0 , y=1 , z =1
G →0 x∨1 y
Z→1z
𝑞0 → 0𝑞0|1𝑞1

𝑞1 → 1𝑞1
Transición de estados
0 1
→ # q0 q0 q1
q1 λ q1
# q2 λ λ

Salida
0 1
→ # q0 a λ
q1 λ λ
# q2 λ λ

Ejercicio individual: ejercicios c.

EJERCICIO A
TRABAJAR

Caracterización del Características del autómata y Séptupla.


autómata de pila

AP= (Σ, Γ, Q, A0, q0, f, F) donde:

1. Σ:es el alfabeto de entrada


2. Γ: es el alfabeto de la pila
3. Q: es un conjunto finito de estados
4. A0 ∈ Γ: es un símbolo inicial de la pila
5. q0 ∈ Q: el estado inicial del autómata
6. F ⊆ Q: es el conjunto de estados finales.
7. f: es una aplicación denominada función de
transición de ternas (estado, símbolo de entrada o
λ, símbolo de pila) en el conjunto de las partes Q ×
Γ*

AP= (Σ, Γ, Q, A0, q0, f, F) donde:

1. Σ= {0, 1}
2. Γ = {Z, A}
3. Q = {q0, q1}
4. A0 = ʎ
5. q0 ∈ Q = q0
6. F ⊆ Q = {q0, q1}
7. f = función de transición

ơ = (qo, 0, Z), (q0, A)

ơ = (qo, 0, A), (qo, AA)

ơ = (qo,1, A), (q1, ʎ)

ơ = (q1, 0, A), (q1, B)

ơ = (q1, 1, A), (q1, ʎ)

TABLA DE TRANSICIONES

0Z 0A 1A
ESTADOS
q0 q 0, A q 0, AA q 1, ʎ
q1 q 1, B q 1, ʎ
Procedimiento de CADENA 000111
paso a paso del
recorrido de una
cadena
Recorrido cadena

Lectura de la cinta

Paso 1, en la primera función de la transición de lectura


de 0, esta en q 0 se dirige a q 0 se apila con una A.

0 0 0 1 1 1

A
z0

PASO 2;la siguiente transición de lectura de 0, apilamos


con otra A.

0 0 0 1 1 1
A
A
z0

PASO 3; la siguiente transición de lectura de 0, apilamos


con otra A.

0 0 0 1 1 1

A
A
A
z0

PASO 4; la siguiente transición de lectura de 0,


desapilamos con una A.

0 0 0 1 1 1

A
A
z0

PASO 5; haciendo otro recorrido transición de lectura de


1, desapilamos con otra A.

0 0 0 1 1 1
A
z0

PASO 6; haciendo otro recorrido transición de lectura de


1, desapilamos con otra A. Finalizando con una cadena de
aceptación del autómata de pila.

0 0 0 1 1 1

z0

Practicar y verificar
lo aprendido

Lenguaje Regular Cadena 000111


Resultado: A
Ejercicio 1: Autómata de Pila

EJERCICIO A TRABAJAR

Caracterización del Alfabeto de entrada


autómata a pila ∑={0 , 1 }

Alfabeto de pila
r ={λ , A , Z }

Conjunto finito de estados


Q={q 0 , q 1 }

Símbolo inicial de pila


A 0 ∈r = A 0=λ

Estado inicial del autómata


q 0∈ Q=q 0

Conjunto de estado final


F ⊂ Q={q 1 }

Función de transición
δ=( q 0 ,0 , Z ) , (q 0 , A )
δ=( q 0 ,0 , A ) ,(q 0 , AA)
δ=( q 0 ,1 , A ) ,(q 1 , λ)
δ=( q 1 , 1 , A ) ,(q 1 , λ)

AP por vaciado de pila AP por estado final


Se caracteriza principalmente Se caracteriza principalmente
por que el autómata aceptará por que el autómata aceptará
cadenas que hagan vaciar su cadenas si termina en estado
pila. de aceptación.

Procedimiento de paso a Paso 1: El autómata se encuentra en el estado q0, teniendo Z en la


paso del recorrido de cima de la pila.
una cadena
0 0 1 1

Paso 2: El autómata se encuentra en el estado q0, realiza la lectura


del símbolo 0 teniendo Z en la cima de la pila, en donde desapila Z y
apila A y ahora tiene A en la cima de la pila.

0 0 1 1

δ=( q 0 ,0 , Z ) , (q 0 , A )
δ=( q 0 ,0 , A ) ,(q 0 , AA)
TRANSICIONES
δ=( q 0 ,1 , A ) ,(q 1 , λ)
δ=( q 1 , 1 , A ) ,(q 1 , λ)

Paso 3: El autómata transita en bucle al estado q0, realiza la lectura


del símbolo 0 teniendo A en la cima de la pila, y en donde desapila A
y apila AA.

0 0 1 1

A A
δ=( q 0 ,0 , Z ) , (q 0 , A )
δ=( q 0 ,0 , A ) ,(q 0 , AA)
TRANSICIONES
δ=( q 0 ,1 , A ) ,(q 1 , λ)
δ=( q 1 , 1 , A ) ,(q 1 , λ)

Paso 4: El autómata se en encuentra en el estado q0 transitando a


q1, realiza la lectura del símbolo 1, teniendo entonces AA en la pila
y desapila A y no apila nada y queda en la pila una A.

0 0 1 1

δ=( q 0 ,0 , Z ) , (q 0 , A )
δ=( q 0 ,0 , A ) ,(q 0 , AA)
TRANSICIONES
δ=( q 0 ,1 , A ) ,(q 1 , λ)
δ=( q 1 , 1 , A ) ,(q 1 , λ)

Paso 5: El autómata se en encuentra en el estado q1, realiza la


lectura del símbolo 1, teniendo en la pila una A. Y ahora desapila la
A y no apila nada y se vacía la pila.

0 0 1 1

δ=( q 0 ,0 , Z ) , (q 0 , A )
δ=( q 0 ,0 , A ) ,(q 0 , AA)
TRANSICIONES
δ=( q 0 ,1 , A ) ,(q 1 , λ)
δ=( q 1 , 1 , A ) ,(q 1 , λ)
Practicar y verificar lo
aprendido

Lenguaje regular n n
L={0 ∗1 , donde n≥ 0 }

Ejercicios 2: Gramática del autómata

G = ({S}, {0, 1}, P, S)

P = {S → λ , S → 0S1 } ó { S → λ | 0S1 }

1
0

0 1

λ
Ejercicio E
Tarea 3 Construcción de Autómatas de Pila

Ejercicio Grupal: Minimización de autómatas

EJERCICIO A TRABAJAR

Procedimiento de Minimización de autómatas por el método de eliminación de


minimización conjuntos

1. Tabla de transiciones del autómata

Estado 0 1
q0 q2 q3
q1 q3 q2
q2 q0 q4
q3 q1 q5
q4 q6 q5
q5 q2 q3
q6 q4 q0

2. Agrupar los estados de aceptación y los que no lo son en


diferentes conjuntos.

x={q5 }
y={q 0 , q 1 , q 2 , q 3 ,q 4 , q6 }

3. Elaborar tabla de transición para el conjunto x


Estado 0 1
q5 y y

4. Elaborar tabla de transición para el conjunto y

Estado 0 1
q0 y y
q1 y y
q2 y y
q3 y x
q4 y x
q6 y y

5. Identificar cuáles son los estados que son equivalentes en las


transiciones para cada uno de los estados del conjunto y

y , y } q 0 ,q 1 ,q 2 ,q 6
y , x } q3 , q 4

6. Con la anterior información se procede a elaborar nuevos


conjuntos con los estados equivalentes

x={q5 }
Q={q 0 , q 1 , q 2 , q 6 }
Z={q 3 , q4 }

7. Elaboración de la tabla de transiciones de los nuevos


conjuntos para validar su equivalencia

x 0 1
q5 Q Z

Q 0 1
q0 Q Z
q1 Z Q
q2 Q Z
q6 Z Q

Z 0 1
q3 Q x
q4 Q x

8. Del anterior análisis se puede encontrar que en el conjunto Q


no todos los estados son equivalentes, por tal motivo se
deben de separar en estados independientes.

x={q5 }
N={q 0 , q 2 }
P={q 1 , q 6 }
Z={q 3 , q4 }

9. Debido a que se generaron nuevos estados, se debe de


elaborar la tabla de transiciones de los nuevos conjuntos para
validar su equivalencia

x 0 1
q5 N Z

N 0 1
q0 N Z
q2 N Z

P 0 1
q1 Z N
q6 Z N

Z 0 1
q3 P X
q4 P X

10. Del anterior análisis se puede concluir que todos los


conjuntos generados son equivalentes, ahora se procede a
elaborar la tabla de transiciones de los nuevos conjuntos.

0 1
X N Z
N N Z
P Z N
Z P X

11. Finalmente se procede a realizar la representación gráfica del


autómata.
Resultado del
Autómata minimizado
Notación formal del Quíntupla del autómata
autómata minimizado A=(Q , Σ , N , δ , F)
Q={N , P , Z , X }
Σ={0 ,1 }
F={ X }

δ ( N , 0 )={ N }
δ ( N , 1 )= { Z }

δ ( P , 0 ) ={ Z }
δ ( P , 1 )= { N }

δ ( Z , 0 )= { P }
δ ( Z ,1 ) ={ X }

δ ( X ,0 )={ N }
δ ( X ,1 ) ={ Z }

Tabla de transiciones
Estado 0 1
N N Z
P Z N
Z P X
X N Z
Caracterización del 5−tupla{ K ,∑ ,б , s , X }
autómata parte teórica
 Conjunto de estados
N={qo , q 1 , q 2 , q 3 , q 4 , q 5 , q 6 }, q 0{q 5 }
 Alfabeto
ε =(0 ,1)
 Estado inicial
S=q 0
 Estado final
F=(q 5)
 Estados finales
X =(q 5)
 Los estados no aceptadores son:
Y = ( q 0 , q 1 , q 2 , q 3 , ,q 4 , q 6 )

Tabla de transiciones
0 1
→q0 q2 q3
q1 q3 q2
q3 q1 q5
q5 q2 q3
q2 q0 q4
q4 q6 q5
#q6 q4 q0

Autómata Finito Determinista es un autómata finito que


además es un sistema determinista; es decir, para cada estado
en que se encuentre el autómata, y con cualquier símbolo del
alfabeto leído, existe siempre no más de una transición posible
desde ese estado y con ese símbolo.

Lenguaje Regular LR= (0*101)* U (0*11)

Gramática del G= {(N, P, X, Z), (0,1), N, Z,P,X}


autómata
X → 0 N ∨1 Z

Validación de cadenas
Practicar y verificar lo
aprendido El autómata Se inicia en el estado “N” en donde lee el primer digito
que es 0 y este permanece en N

Se ingresa otro 0 el cual sigue en el mismo estado N


Luego ingresamos un 1 sigue en N

Se ingresa 1 con lo cual pasa a Z


Y el 1 como es un carácter valido pasa a X y finaliza
Bibliografía

 García, P., Pérez, T., Ruiz, J., Segarra, E., Sempere, J. M., & de Parga, M. V.
(2001). Teoría de autómatas y lenguajes formales (pp. 32-44).
Alfaomega.

 Jurado Málaga, E. (2008). Teoría de autómatas y lenguajes formales.


Universidad de Extremadura. Servicio de Publicaciones.

 Kelley, D., & Platas, M. L. D. (1995). Teoría de autómatas y lenguajes


formales (Vol.22). Prentice Hall.

 González, A. (Productor). (mayo 2017). Minimización de autómata. De


https://youtu.be/eOynYG8Ibk0

Facultad de Ciencias de la Computación. (2021). Unidad 4 Autómatas de pila.


Recuperado de: https://www.cs.buap.mx/~mtovar/doc/LFAA/Unidad4AP.pdf

 Gonzalez Amarillo, A (2017, 16 mayo). Minimizacion de automata. Recuperado de


https://www.youtube.com/watch?v=eOynYG8Ibk0&t=1s

 Gonzalez Amarillo,A. (2020, 9 mayo). Autómatas de pila. Recuperado de


https://www.youtube.com/watch?v=o9eUECLgQno&t=3s

 Luque, F. (2020, 23 marzo). Gramaticas Regulares. Recuperado de


https://www.youtube.com/watch?v=BcAZI87KF98&t=2s

 Molinero, J. (2019, 2 abril). Expresiones regulares y autómatas finitos: problema de


etiquetas. Recuperado de https://www.youtube.com/watch?
v=VamCxfEO3Ak&t=5s

También podría gustarte