Es un modelo matemtico

de un sistema que recibe

una cadena constituida
por smbolos de un
alfabeto y determina si
esa cadena pertenece al
lenguaje que el autmata
reconoce. El lenguaje que
reconoce un autmata con
pila pertenece al grupo de
los lenguajes libres de
contexto en la
clasificacin de la
Jerarqua de Chomsky.
 Siendo

el lenguaje aceptado por P por pila vaca es

Observaciones
Al reconocer por pila vaca, la pila se queda vaca del
todo, sin .

Antes de disear un AP, hay que decir si

queremos que acepte por estado final o por pila vaca,
pues el AP deber ser distinto.
 se puede llegar a travs de P con 0 o ms
pasos.
Siendo

el lenguaje aceptado por P por estado final es

 Desde el punto de vista de la teora de
autmatas es un conjunto finito de reglas que
describen toda la secuencia de smbolos
pertenecientes a un lenguaje especfico L. Dos
gramticas que describan el mismo lenguaje se
llaman gramticas equivalentes.

Una gramtica 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 Smbolo inicial de la gramtica
P es el conjunto de Reglas de Produccin
 Un lenguaje est compuesto por Sintaxis: (gramtica), que
define las secuencias de smbolos que forman cadenas
vlidas de un lenguaje.
Semntica, que es el significado de las cadenas que
componen un lenguaje.

Ejemplo 1:

Sintaxis: A
Semntica: es un nmero natural.
Diferente sintaxis en diferentes lenguajes:
A: natural
A: es un nmero que pertenece al conjunto de |N={1,2,3..N}

 Formalizada de las oraciones de un lenguaje.

Una gramtica genera o describe un lenguaje.
Si se cumple la condicin entonces
se muestra un mensaje que ambos nmeros son
iguales.
Caso contrario, se escribe los nmero son
distintos
 Segn Padilla las gramticas se clasifican de acuerdo a las reglas de
sustitucin y nunca se pasa autmatas 2

x puede ser sustituido por y si x est, ya sea, en los

smbolos No Terminales o los smbolos Terminales, sin
incluir la cadena vaca e y est en los smbolos No
Terminales o Terminales, incluyendo la cadena vaca.
Los lenguajes generados por este tipo de gramticas se
llaman "lenguajes sin restricciones"
Nota: "+" significa "sin incluir la cadena vaca" y "*"
significa "incluyendo la cadena vaca". "/" significa "o"
Estos lenguajes tambin son denominados
"recursivamente enumerables"
 puede ser reemplazado por si la longitud de es menor o
igual a la longitud de , siendo un smbolo Terminal o una
cadena vaca z1, seguido de un smbolo No Terminal X, seguido
de otro smbolo Terminal o una cadena vaca z2. En el caso de
, z1 debe ser el mismo smbolo z1 de seguido de un
smbolo No Terminal o Terminal sin ser la cadena vaca,
seguido del smbolo z2.
 x puede ser reemplazado
por y si x pertenece a los
smbolos No
Terminales e y es
un Terminal o No Terminal,
incluyendo la cadena vaca.
Mquinas que los pueden
leer:
Mquinas que los aceptan:
Autmata a Pila (Pushdown
Automaton)
 Tambin llamada "De contexto
regular"
puede ser reemplazado por si
pertenece a los smbolos No
Terminales y es uno de estos 3:
Un smbolo Terminal no nulo
seguido de un No Terminal.
Un smbolo No Terminal seguido
de un smbolo Terminal no nulo.
Un smbolo Terminal pudiendo
ser la cadena vaca.
 Delgado, J. C.-R. (s.f.). Monografias. Obtenido de
http://www.monografias.com/trabajos62/teoria-gramatica-
lenguaje-automata/teoria-gramatica-lenguaje-automata2.shtml
Madrid, F. d.-U. (29 de 10 de 2017). antares. Obtenido de
http://antares.sip.ucm.es:8180/webtalf/index.jsp?submenu=tem
as/submenuIncontextuales&contenido=temas/ap
Tapia, R. Y.-J. (24 de 12 de 2017). Monografias. Obtenido de
http://www.monografias.com/trabajos62/teoria-gramatica-
lenguaje-automata/teoria-gramatica-lenguaje-automata2.shtml
wikipedia. (24 de 10 de 2017). wikipedia. Obtenido de
https://es.wikipedia.org/wiki/Aut%C3%B3mata_con_pila
wikipedia. (24 de 10 de 2017). wikipedia. Obtenido de wikipedia:
https://es.wikipedia.org/wiki/Gram%C3%A1tica_(aut%C3%B3
mata)
wikipedia. (29 de 10 de 2017). wikipedia. Obtenido de
https://es.wikipedia.org/wiki/Gram%C3%A1tica_(aut%C3%B3
mata)