Autómata a pila.

Los autómatas de pila, en forma similar a como se usan los autómatas finitos,
también se puede utilizar para aceptar cadenas de un lenguaje definido sobre
un alfabeto A. estos pueden aceptar lenguaje que no pueden aceptar los
autómatas finitos.
Cuenta con una cinta de entrada y un mecanismo de control que puede
encontrarse en uno de entre un numero finito de estados.
Cuentan con una memoria auxiliar llamada pila.
Las transiciones que ejecutan entre estados dependen de los símbolos de
entrada y de los símbolos de la pila.
El autómata acepta una cadena X si la secuencia de transiciones, comenzando
en estado inicial y con pila vacía, conduce a un estado final después de leer
toda la cadena X
 Autómata a pila por vaciado.

• Cada uno de los componentes del lenguaje en la entrada del

autómata causa que este al final del proceso, quede con la pila vacía,
mientras que cualquier termino que no pertenezca al lenguaje, lleva
al final a un estado en el que la pila no esta vacía.
Automata a pila por estados finales.
 Que es una gramática
• Una gramática (“G”)desde el punto de vista de la teoría de autómatas
es un conjunto finito de reglas que describen toda la secuencia de
símbolos pertenecientes a un lenguaje especifico L.
• Dos gramáticas que describan el mismo lenguaje se llaman
gramáticas equivalentes.
 Caracteristicas
• Las gramáticas han sido clasificadas de acuerdo a particularidades y
restricciones propias de acuerdo a cuatro tipos:
• Una gramática es una cuádrupla G= (VT, VN, S, P), donde
• - VT es el conjunto finito de símbolos terminales
• - VN es el conjunto de elementos no terminales
• - S es el símbolo inicial de la gramática y pertenece a VN
• - P es el conjunto de producciones o de reglas de derivación.
 Tipos de gramáticas
• Gramáticas no restringidas con estructura de frase (tipo 0)
• - En la parte izquierda tiene que haber al menos un símbolo no
terminal-
• - respecto a sus partes derechas de producciones no hay ningún tipo
de restricción.
• - Las reglas de derivación son de la forma: 𝑏 𝑅 𝑎
• - Siendo a ÃŽ(VN È VT)+ y ÃŽb (VN È VT), es decir la única
restricción es que no puede haber reglas de la forma 𝑙 𝑅 b
 Tipos de gramáticas
• Sensibles al contexto (tipo 1)
• - es importante tomar en cuenta la ubicación de los símbolos de
derivación.
• - Son de la forma 𝑎𝐴𝑏 𝑅 𝑏𝑔𝑎
• - Siendo A ÃŽ VN a, b ÃŽ (VN È VT) * y gÃŽ (VN È VT)*
• - se puede reemplazar a por g siempre que estén en el contexto a…b.
• Propiedades:
• - de no decrecimiento.
• - de sensibilidad al contexto.
 Tipos de gramáticas
• libres de contexto (tipo 2)
• Sus reglas de producción tan solo admiten tener un símbolo no terminal en
su parte izquierda, es decir en forma: 𝐴𝑅 𝑎
• - siendo A ÃŽ VN y ÃŽa (VN È VT) +
la denominación de contexto libre se debe a que se puede cambiar A por a,
independiente del contexto en que aparezca.

• Gramáticas regulares a la derecha.

• Comienzan sus reglas de producción por un símbolo terminal que puede
ser seguido o no por un símbolo no terminal, es decir son de la forma:
• 𝐴𝑅 𝑎𝐵 𝐴𝑅 𝑎 , donde A, B ÃŽ VN y aÃŽ VT.
Ejemplo de pila.
• https://es.wikipedia.org/wiki/Gram%C3%A1tica_(aut%C3%B3mata)