AUTMATAS Y LENGUAJES

FORMALES
Unidad 2: Fase 2: Debatir y desarrollar los ejercicios planteados sobre
autmatas con pila y gramticas
Tutor: Cesar Jimnez
Grupo 301405_63
Yuli Paola Rodrguez Jimnez
Cod.1018442521
 AUTMATA A PILA
LOS AUTMATAS CON PILA 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.
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).
 AUTMATA A PILA POR
VACIADO
EL CONJUNTO DE LENGUAJES ACEPTADOS POR
ESTADO FINAL POR LOS AUTMATAS A PILA LAPF
ES IGUAL QUE EL CONJUNTO DE LENGUAJES
ACEPTADOS POR VACIADO POR PILA DE LOS
AUTMATAS A PILA LAPV
 LV(AP) = { X | (Q0, X, A0) * (P, , ) CON PQ}
LF(AP) Y LV(AP) REPRESENTAN A LOS LENGUAJES
RECONOCIDOS POR EL AUTMATA AP POR ESTADO
FINAL Y POR VACIADO DE PILA RESPECTIVAMENTE.
CUANDO LA ACEPTACIN SE REALIZA POR VACIADO DE
PILA, EL CONJUNTO DE ESTADOS FINALES F ES
IRRELEVANTE.
 GRAMATICA
UNAGRAMTICA("G") DESDE EL PUNTO DE VISTA DE LATEORA DE AUTMATAS ES UN CONJUNTO FINITO
DE REGLAS QUE DESCRIBEN TODA LA SECUENCIA DE SMBOLOS PERTENECIENTES A UNLENGUAJE
ESPECFICOL. DOS GRAMTICAS QUE DESCRIBAN EL MISMO LENGUAJE SE LLAMAN GRAMTICAS
EQUIVALENTES.
UNA GRAMTICA ES UNAESTRUCTURA ALGEBRAICAFORMADA POR CUATRO ELEMENTOS FUNDAMENTALES:
G= {NT,T,S,P}
DONDE
NTES EL CONJUNTO DE ELEMENTOSNO TERMINALES
TES EL CONJUNTO DE ELEMENTOSTERMINALES
SES ELSMBOLO INICIALDE LA GRAMTICA
PES EL CONJUNTO DEREGLAS DE PRODUCCIN
 TIPOS DE GRAMATICAS
Sensible al Contexto:
puede ser reemplazado por si la longitud
de es menor o igual a la longitud de , siendo
un smboloTerminalo una cadena vacaz1,
seguido de un smboloNo TerminalX, seguido
de otro smboloTerminalo una cadena
vacaz2. En el caso de ,z1debe ser el mismo
smboloz1de seguido de un smboloNo
Terminal o Terminalsin ser la cadena vaca,
seguido del smboloz2.
LIIBRE DE CONTEXTO:

XPUEDE SER REEMPLAZADO PORYSIXPERTENECE A LOS SMBOLOSNO TERMINALESEYES UNTERMINALONO

TERMINAL, INCLUYENDO LA CADENA VACA.
MQUINAS QUE LOS PUEDEN LEER:
DE CONTEXTO REGULAR:
PUEDE SER REEMPLAZADO POR SI PERTENECE A LOS SMBOLOSNO
TERMINALESY ES UNO DE ESTOS 3:
UN SMBOLOTERMINALNO NULO SEGUIDO DE UNNO TERMINAL.
UN SMBOLONO TERMINALSEGUIDO DE UN SMBOLOTERMINALNO NULO.
UN SMBOLOTERMINALPUDIENDO SER LA CADENA VACA.
 CONCLUSION
SE AQUIRIERON ALGUNOS LOS CONCEPTOS
REFERENTES A LOS AUTOMATAS DE PILA SUS CLASES A
SU VEZ EL TERMINO GRAMATICA SUS CARACTERISTICAS
Y LOS TIPOS DE GRAMATICAS EXISTENTES.