01 AP

AUTOMATAS 02 AP por Vaciado

03 AP Por estados finales

Propiedades
03 Gramtica
4

05 Ejemplo AP
Ejemplos
 01
AP
Son una extensin de los AFD a los que se les
aade una memoria (pila)

En la pila se almacenan smbolos de la cadena de entrada y

de la gramtica, as como caracteres especiales (#) para
indicar el estado de pila vaca.

Un Autmata a Pila se define como la sptupla:(, P, Q, A0, q0,

f, F)donde:

: alfabeto de entrada.
P: alfabeto de la pila.
Q: conjunto de estados.
A0: smbolo inicial de la pila (#).
q0: smbolo inicial del conjunto de estados.
f: funcin de transicin. Es una aplicacin de
Q x {} x P en el conjunto de partes de P(QxP)*.
F: conjunto de estados finales o de aceptacin.
 CARACTERSTICAS
01
Los autmatas de pila pueden aceptar lenguajes que
no pueden aceptar los autmatas finitos.

Un autmata de pila cuenta con una cinta de entrada y un

mecanismo de control que puede encontrarse en uno de
entre un nmero finito de estados.

A diferencia de los autmatas finitos, los autmatas de

pila cuentan con una memoria auxiliar llamada pila.

Los smbolos (llamados smbolos de pila) pueden ser

insertados o extrados de la pila, de acuerdo con el
manejo last-in-first-out (LIFO).

Las transiciones entre los estados que ejecutan los autmatas

de pila dependen de los smbolos de entrada y de los
smbolos de la pila.

El autmata acepta una cadena x si la secuencia de transiciones,

comenzando en estado inicial y con pila vaca

Los autmatas de pila pueden aceptar lenguajes que

no pueden aceptar los autmatas finitos.
 01
APLICACIONES
Se pueden utilizar para analizar cadenas.

Se puede construir analizadores LR para reconocer

prcticamente todos los lenguajes de programacin para los
que se pueden construir GIC.

Es el mtodo de anlisis por desplazamiento y reduccin sin

retroceso ms general.

Las clases de gramticas que pueden analizarse es un

supraconjunto de la clase de gramticas que se pueden analizar
con analizadores sintcticos predictivos.

Puede detectar un error sintctico tan pronto como sea posible

hacerlo en un examen de izquierda a derecha de la entrada.
 LENGUAJES ACEPTADOS
Dos tipos de aceptacin

Por estado final

02

Por vaciado de pila

03

Son Equivalentes
03 Una gramtica describe la estructura de las frases y de las
4 palabras de un lenguaje y se aplica por igual a:
Las lenguas naturales humanas
Lenguajes de programacin.

En funcin de la forma de sus producciones, se puede

GRAMATICA caracterizar qu tan compleja es una gramtica formal.
Noam Chomsky mostr que esta caracterizacin clasifica
jerrquicamente a las gramticas formales.

Gramticas en un nivel estn incluidas en los siguientes

niveles y la inclusin entre niveles es propia.
03 USOS DE LA GRAMATICA
4

Una gramtica define la estructura de las frases y de

las palabras de un lenguaje.

Las gramticas son un mtodo para la generacin de

palabras de un lenguaje a partir de un alfabeto.

Para generar estas palabras se utilizan las erivaciones.

Se denominan formales porque se centran en los

estudios de los lenguajes formales que son aquellos
que estn definidos a partir de reglas preestablecidas.

Para los lenguajes naturales existen otro tipo de

gramticas.
03 CLASIFICACION DE LA GRAMATICA
4
Tipo 1: Una gramtica es tipo 1 monotnica si no contiene
reglas donde el lado izquierdo consista en ms smbolos
que el lado derecho

Tipo 2: Son gramticas libres de contexto cuando en su

lado izquierdo siempre aparece un nico no-terminal

Tipo 3: Son gramticas regulares o de estados finitos

cuando en su lado derecho slo se contiene un no-
terminal y adems se encuentra al final de la produccin.

Tipo 4: Gramticas de eleccin finita (FC), no se permite

ningn no-terminal a la derecha y el smbolo inicial de la
gramtica tiene una lista finita de alternativas.
 LUIS ADOLFO GANTIVA
RINCON
80.253.287

AUTOMATAS Y LENGUAJES FORMALES

CESAR JIMENEZ
UNAD