Unidad 2

Trabajo Individual

LIBARDO ZUIGA MENDOZA

Grupo:
301405_36

Tutora:
HELENA CLARA ISABEL ALEMAN
 Autmata a Pila
Definicin
Es un modelo matemtico el cual se encarga de recibir una cadena
constituida por smbolos de un alfabeto, y determinar si esa cadena
pertenece al lenguaje que el autmata reconoce.

Caractersticas
Dentro de sus principales caractersticas se encuentra
_ el autmata a pila puede 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.
 AUTMATA A PILA POR ESTADOS FINALES
Definicin
La finalidad de algunos modelos de estados y eventos es el de observar
secuencias de eventos buenas, de manera que se les pueda diferencias de las
secuencias malas. Los estados finales indican que cuando se llega a ellos, la
secuencia de eventos que llevo hasta ah puede considerarse como aceptable

Caractersticas
realizacmputosenformaautomticasobreunaentradaparaproducir
unasalida.
reconocerlenguajesregulares,quecorrespondenaloslenguajesformales
mssimplessegnlaJerarquadeChomsky.xx
Estemodeloestconformadoporunalfabeto,unconjuntodeestados
finito,unafuncindetransicin,unestadoinicialyunconjuntode
estadosfinales.
 PROPIEDADES
Su funcionamiento se basa en una funcin de transicin, que recibe a
partir de un estado inicial una cadena de caracteres pertenecientes al
alfabeto
Los autmatas finitos se pueden representar mediante grafos
particulares, tambin llamados diagramas de estados finito
Una automata finito es una quintupla M=(,Q,,q0,F) donde:
esunalfabeto(sabemos/)
Qesunconjuntofinitonovacodeestados,esdecir,0<|Q|<.
esunafuncindetransicin:
 GRAMATICAS
Una gramatica es un conjunto de reglas para formar correctamente las
frases de un lenguaje. La formalizacion que presentaremos de la nocion
de gramatica es debida a N. Chomsky , y esta basada en las llamadas
reglas gramaticales. Las gramticas sirven para generar palabras. Una
gramatica regular es un cuadruplo (V, , R, S) en donde:
V es un alfabeto de variables,
es un alfabeto de constantes,
R, el conjunto de reglas, es un subconjunto finito de V (V ).
S, el smbolo inicial, es un elemento de V .
Gramaticas regulares
Nosotrosnosvamosainteresarporelmomento
enlasgramaticascuyasreglassondelaformaA
aBobienAa,dondeAyBsonvariables,ya
esuncaracterterminal.Aestasgramaticasseles
llamaregulares.
 TIPOS DE GRAMATICAS
Avram Noam Chomsky, quien clasific las gramticas de acuerdo a cuatro
tipos
Las gramticas no restringidas Tipo 0
Sensibles al contexto Tipo 1
Independientes del contexto Tipo 2
Gramticas regulares Tipo 3

GRAMTICAS TIPO 0
Tambinllamadasgramticas no restringidas con estructura de frase.Se
caracterizanporqueenlaparteizquierdatienequehaberalmenosun
smbolonoterminal.Respectoasuspartesderechasdeproduccionesno
hayningntipoderestriccin
 GRAMTICAS TIPO 1
Tambinllamadasgramticas sensibles al
contexto.
Esdecirqueesimportantetomarencuentala
ubicacindelossmbolosnoterminalesenla
regladederivacin(queprecedenysucedena
cadasmboloTerminal,debenmantenersu
ubicacinenelladoderechodelareglade
produccintalcomoapareceenlaparteizquierda
delaregladeproduccin).
 GRAMTICAS TIPO 2
Tambinsedenominangramticas de contexto libre o
libres de contexto.
Susreglasdeproduccintansloadmitentenerun
smbolonoterminalensuparteizquierda

GRAMTICAS TIPO 3
Tambindenominadasregulares o gramticas
regulares a la derechacomienzansusreglasde
produccinporunsmboloterminalquepuedeser
seguidoonoporunsmbolonoterminal