You are on page 1of 13

Autómatas y Lenguajes

Formales
Presentado por: Sthevan Kamilo Naranjo López
Cead: Pasto
Programa: Ingeniería de Sistemas
Definición Autómata a Pila

 Para los autómatas a pila se puede referenciar dos definiciones, las cuales
están atadas al tiempo de creación.

 La definición histórica en donde se concibe al autómata a pila como una


maquina abstracta que consta de tres componentes, una cadena de
entrada, un control finito y una pila
 La definición moderna consiste en el enfoque de la pila como tal y la
eliminación del control finito, para la visión de la maquina.
Definición Formal Autómata a Pila
Un autómata a pila es una séptupla: 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 el símbolo inicial de la pila
 5. q0 ∈ Q el estado inicial del autómata
 6. F ⊆ Q es el subconjunto 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×Γ*

Un AP comienza su funcionamiento en la configuración inicial:


 en el estado inicial (q0)
 con sólo un símbolo en la pila (A0)
 con la cabeza lectora en el primer símbolo de la entrada
 A partir de esta configuración realiza transiciones según la definición de la función f
Características Autómata a Pila

Un autómata a pila es un dispositivo que tiene acceso a:


 Una secuencia de símbolos de entrada, que en general se representa por
una cinta que se desplaza frente a un mecanismo de captación de dichos
símbolos.
 El símbolo superior de una memoria en pila (LIFO)
 Únicamente se encuentra en un estado determinado para cada
momento
 El siguiente estado depende de los tres elementos (estado actual, símbolo
de entrada, símbolo superior de la pila)
Propiedades de autómata a pila

Un Autómata a pila puede realizar dos tipos de operaciones.


 Dependientes de la entrada: se lee la cinta y se avanza la cabeza lectora,
en función del estado actual (qi), símbolo leído en la cinta (a), símbolo en
la cima de la pila(Z), pasando a un nuevo estado, elimina el elemento Z de
la cima de la pila y se introduce en su lugar una cadena de símbolos.
 Independiente de la entrada: realiza las mismas operaciones que en el
caso anterior, solo que no se lee la cinta, ni se avanza la cabeza lectora.
Se maneja la pila sin la información de entrada.
Autómata a pila por vaciado
 Para la aceptación por pila vacía siendo:
𝑃 = 𝑄, Σ, 𝜏, 𝛿, 𝑞0, 𝑧0
El lenguaje aceptado por P por pila vacía es:
 Donde al reconoce por pila vacía, la pila queda vacia del todo ,
sin z0

Ejemplo: 𝑃𝐴𝐿𝑝𝑎𝑟 , con AP por pila vacía


Autómata a pila por estados finales

Si existe un AP P que reconoce un lenguaje por estado final, entonces existe


otro AP P’ que reconoce el mismo lenguaje por pila vacía.
Si existe un AP P que reconoce un lenguaje por pila vacía, entones existe otro
AP P’ que reconoce el mismo lenguaje por estado final.
Entonces:

que acepta por estado final las mismas


cadenas que PV por pila vacia.
Que es Gramática

Una gramática (“G”) en la teoría de autómatas es un conjunto finito de reglas


que describen toda la secuencia de símbolos pertenecientes al lenguaje
escrito.
Una gramática es una estructura algebraica formada por cuatro elementos
fundamentales
G = {NT,T,S,P}
Donde
 NT es el conjunto de elementos No Terminales
 T es el conjunto de elementos Terminales
 S es el Símbolo Inicial de la gramática
 P es el conjunto de Reglas de Producción
Clasificación de las Gramáticas

 Tipo 0 ó “No restringida o recursivamente e numerables”: x puede


ser sustituido por y si x está, ya sea, en los símbolos No Terminales
o los símbolos Terminales, sin incluir la cadena vacía e y está en
los símbolos No Terminales o Terminales, incluyendo la cadena
vacía.
 Tipo 1 o “Sensible al contexto”: α puede ser reemplazado por β si
la longitud de α es menor o igual a la longitud de β, siendo α un
símbolo Terminal o una cadena vacía z1, seguido de un símbolo
No Terminal X, seguido de otro símbolo Terminal o una cadena
vacía z2. En el caso de β, z1 debe ser el mismo símbolo z1 de α
seguido de un símbolo No Terminal o Terminal sin ser la cadena
vacía, seguido del símbolo z2.
Clasificación de las Gramáticas

 Tipo 2 o “libre de contexto”: x puede ser reemplazado por y si


x pertenece a los símbolos No Terminales e y es un Terminal o
No Terminal, incluyendo la cadena vacía
 Tipo 3 o “Regular”: α puede ser reemplazado por β si α
pertenece a los símbolos No Terminales y β es uno de estos 3:
 Un símbolo Terminal no nulo seguido de un No Terminal.
 Un símbolo No Terminal seguido de un símbolo Terminal no nulo.
 Un símbolo Terminal pudiendo ser la cadena vacía
Ejemplo

 Para el ejercicio se ha definido un autómata con las siguientes características:


 𝐴𝑃 = 𝑄, 𝑉, Σ, 𝛿, 𝑞0 , 𝑍0 , 𝐹
 Donde:
 𝑄 = 𝑞0 , 𝑞1 , 𝑞2 ; 𝑉 = 𝑎, 𝑏 ; Σ = 𝑍0 , λ, 1

Para lo cual defino las reglas de transición.


1. 𝑞0 , 𝑎 , 𝑍0 = 𝑞1 , 1𝑍0
2. 𝑞1 , 𝑎 , 𝑍0 = 𝑞1 , 1𝑍0
3. 𝑞1 , 𝑏 , 1𝑍0 = 𝑞2 , 𝑍0
4. 𝑞2 , 𝑏 , 1𝑍0 = 𝑞2 , 𝑍0
Ejemplo
 Teniendo las características, se simula en JFLAP y se muestra el nivel de
aceptación para las cadenas de entrada.
 1. a,a,b,b

 2. a,b,b

 3. a,b

 4. a,a,a,b,b

Donde se puede
observar que
acorde a las
transiciones la
cadenas se aceptan
o se rechazan
Referencias bibliográficas

 http://www.ia.urjc.es/grupo/docencia/automatas_itis/apuntes/capitulo11.
pdf
 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
=10566114&ppg=10

You might also like