AUTOMATAS Y LENGUJES FORMALES

ACTIVIDAD INDIVIDUAL FASE 3

ESTUDIANTE:

VICTOR HUGO SANCHEZ

GRUPO: 6

TUTOR:
JHEIMER JULIAN SEPULVEDA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

AUTÓMATAS Y LENGUAJES FORMALES
2 ABRIL DEL 2019
 EJERCICIOS DE LA FASE 3
ACTIVIDAD INDIVIDUAL

EJERCICIO A Ejercicio 5:
TRABAJAR

Caracterizac En este espacio se realiza:

ión del - Mediante la definición formal explicar las
autómata a características del autómata.
pila
Un autómata a pila es una séptupla:

( )

Dónde:

{ } Conjunto finito no vacío de estados

{ } Alfabeto de entrada

Alfabeto de pila

δ = Función de transición que especifica a qué estado pasa el autómata

desde otro estado cualquiera y qué sucesión de símbolos sustituye el
situado en el extremo de la pila bajo distintas condiciones.

Estado inicial del autómata

Símbolo inicial de la pila

 Conjunto de estados finales del autómata

- Realizar un cuadro comparativo de la Equivalencia

entre AP por vaciado de pila y AP por estado final

El conjunto de lenguajes aceptados por estado final por los

autómatas a pila es igual que el conjunto de lenguajes
aceptados por vaciado por pila de los autómatas a pila .

Método de demostración:

1. ⊆

Sea AP= (Σ, Γ, Q, , , f, F) un autómata a pila y

(AP) el lenguaje aceptado (por estado final) de este
autómata.

Construimos AP’= (Σ, Γ∪{B}, Q∪{s,r}, B, s, f’, ∅), con

B∉Γ y s,r∉Q, donde f’ está definido por:

f’(s,λ,B)={( , B)}
f’(q,a,A)=f(q,a,A) para todo q∈Q, q∉F, a∈Σ∪{λ} y A∈Γ
f’(q,a,A)=f(q,a,A) para todo q∈F, a∈Σ y A∈Γ
f’(q,λ,A)=f(q,λ,A) ∪{(r, λ)} para todo q∈F y A∈Γ
f’(q,λ,B)= {(r, λ)} para todo q∈F
f’(r,λ,A)= {(r, λ)} para todo A∈Γ∪{B}

Se puede mostrar que (AP)= (AP’). Por tanto se

verifica que ⊆

2. ⊆

Sea AP= (Σ, Γ, Q, , , f, F) un autómata a pila y (AP) el

lenguaje aceptado (por vaciado de pila) de este autómata.

Construimos AP’= (Σ, Γ∪{B}, Q∪{s,r}, B, s, f’, {r}), con B∉Γ

y s,r∉Q, donde f’ está definido por:

f’(s,λ,B)={(q0,A0B)}
f’(q,a,A)=f(q,a,A) para todo q∈Q, a∈Σ∪{λ} y A∈Γ f’(q,λ,B)=
{(r, λ)} para todo q∈Q
 Se puede mostrar que (AP)= (AP’). Por tanto se
verifica que ⊆ .

De ⊆ y ⊆ se sigue que = , lo que

demuestra el teorema.

Procedimient Realice de manera detallada y grafica el procedimiento paso

o de paso a a paso del recorrido de una cadena (La cadena la selecciona
paso del el estudiante, debe contener como mínimo 8 caracteres) en
recorrido de el autómata a pila. Describir cómo funciona el
una cadena almacenamiento en la pila, como funciona LIFO, etc.

Cadena válida: abbabbabb

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

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

- Paso 2: El autómata sigue en el estado , elimina el

símbolo Z de la pila e ingresa ba en la cima de la pila.
- Paso 3:
El autómata pasa al estado , elimina ba de la pila e
ingresa abb en la cima de la pila.

- Paso 4:
El autómata llega al estado , aceptando la cadena abb y
retorna a con abb en la cima de la pila.
- Paso 5:
El autómata vuelve a comenzar en el estado , colocando a
en la cadena abb quedando abba en la cabeza de la pila.

- Paso 6:
El autómata llega al estado , agregando b a la cadena
quedando abbab en la cabeza de la pila.
- Paso 7:
El autómata llega al estado e ingresa b a la cadena
quedando abbabb en la cabeza de la pila.

- Paso 8:
El autómata regresa al estado con la cadena abbabb en
la cabeza de la pila.
- Paso 8:
El autómata pasa al estado agregando a en la cadena
quedando abbabba en la cabeza de la pila.

- Paso 9:
El autómata pasa al estado leyendo la cadena quedando
abbabba en la cabeza de la pila.
- Paso 10:
El autómata pasa al estado agregando b en la cadena
quedando abbabbab en la cabeza de la pila.

- Paso 11:
El autómata pasa al estado y sigue con b en la cadena
quedando abbabbabb en la cabeza de la pila.
 - Paso 11:
Finalmente el autómata pasa al estado y la cadena
abbabbabb es aceptada.

Practicar y Apoyándose en el simulador JFlap o VAS ejecutar y validar

verificar lo por lo menos cinco cadenas válidas y 5 cadenas rechadas
aprendido por el autómata. En este espacio adjunta la imagen.
 Referencias Bibliográficas

Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De Lenguajes, Gramáticas Y

Autómatas Para Informáticos. (pp. 119 - 127). Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2051/login.aspx?direct=true&db=nlebk&A
N=318032&lang=es&site=edslive&ebv=EB&ppid=pp_Cover
Hernández, R. (2010). Practique la teoría de autómatas y lenguajes formales. (pp.
1 - 124). Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10
566114&ppg=10
Alfonseca C, E., Alfonseca M, M., Mariyón S, R. (2009). (pp. 249 - 276). Teoría de
autómatas y lenguajes formales. Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=104
98456&ppg=6
Millán, J., Antonio J. (2009). Compiladores y procesadores de lenguajes. (pp. 73 -
126). Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/detail.action?docID=108
44351