UNIDAD 2.

LENGUAJES INDEPENDIENTES DEL CONTEXTO

ELABORADO POR: JANITH SULAY JAIMES PABN

CD. 1102359339

PRESENTADO A:
INGENIERA HELENA CLARA ISABEL ALEMAN

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

GRUPO 24
CURSO: AUTMATAS Y LENGUAJES FORMALES
 Autmata a pila
AUTMATA A PILA:
UN AUTMATA DE PILA (AP) PUSHDOWN AUTMATA (PDA) NO ES MS QUE UN AF CON UN PODER
ADICIONAL DE CLCULO (MEMORIA). DADO QUE LOS AF NO SON TAN PODEROSOS PARA CIERTAS
OPERACIONES NI PARA ACEPTAR LOS LLC, LOS AP SI LO SON
SI PARA LAS EXPRESIONES REGULARES SE TENAN CIERTAS MAQUINAS ABSTRACTAS, AUTMATAS FINITOS,
QUE LAS RECONOCAN, PARA LAS CFG (GRAMTICAS FUERA DE CONTEXTO) VAMOS A USAR OTRO TIPO
DE MAQUINA RECONOCEDORA DENOMINADA AUTMATA DE PILA. ESTAS SE DIFERENCIAN DE LOS
AUTMATAS FINITOS EN QUE SE AYUDAN PARA SUS TRANSICIONES DE UNA MEMORIA CON ESTRUCTURA DE
PILA. COMO EN LOS ANTERIORES, LA TRANSICIN ENTRE ESTADOS DEPENDE DEL SMBOLO LEDO Y DEL
ESTADO ACTUAL. CADA TRANSICIN IMPLICA LA MODIFICACIN DE LA PILA.
RESUMEN DE LAS TRANSICIONES DE UN PDA:
LEER UN SMBOLO DE ENTRADA
EXTRAER UN SMBOLO DE LA PILA
INSERTAR UN SMBOLO EN LA PILA
PASAR A UN ESTADO NUEVO
Autmata a pila por
vaciado
Autmata a pila por
estados finales
ACEPTACIN POR ESTADO FINAL SEA P = ( Q, , , , Q 0, Z0, F) UN AP L ( P), EL LENGUAJE
ACEPTADO POR P POR ESTADO FINAL ES { W | ( Q 0, W, Z0) * (Q, , )} PARA ALGN ESTADO
Q DE F Y CUALQUIER CADENA DE PILA
 Qu es una
gramtica
LA GRAMTICA ES UN ENTE FORMAL PARA ESPECIFICAR, DE UNA MANERA FINITA, EL
CONJUNTO DE CADENAS DE SMBOLOS QUE CONSTITUYEN UN LENGUAJE
DEFINICIN FORMAL DE GRAMTICA
UNA GRAMTICA ES UNA CUDRUPLA: G= (VT, VN, S, P)
DONDE:
VT = CONJUNTO FINITO DE SMBOLOS TERMINALES
VN = CONJUNTO FINITO DE SMBOLOS NO TERMINALES
S = ES EL SMBOLO INICIAL Y PERTENECE A VN
P = CONJUNTO DE PRODUCCIONES O DE REGLAS DE DERIVACIN
 Caractersticas
TODAS LAS CADENAS DEL LENGUAJE DEFINIDO POR LA GRAMTICA ESTN
FORMADAS CON SMBOLOS DEL VOCABULARIO TERMINAL VT.
EL VOCABULARIO NO TERMINAL VN ES EL CONJUNTO DE SMBOLOS INTRODUCIDOS
COMO ELEMENTOS AUXILIARES PARA LA DEFINICIN DE LA GRAMTICA.
EL SMBOLO INICIAL S ES UN SMBOLO NO TERMINAL A PARTIR DEL CUAL SE APLICAN
LAS REGLAS DE LA GRAMTICA PARA OBTENER LAS DISTINTAS CADENAS DEL
LENGUAJE.
.
 Tipos de gramticas
GRAMTICA DE TIPO 0:
TAMBIN LLAMADAS GRAMTICA NO RESTRINGIDA CON ESTRUCTURA DE FRASE.
LAS REGLAS DE DERIVACIN SON DE LA FORMA:
EJEMPLO: S 000S111

GRAMTICA DE TIPO 1:
TAMBIN LLAMADAS GRAMTICAS SENSIBLES AL CONTEXTO
LAS REGLAS DE DERIVACIN SON DE LA FORMA:
EJEMPLO:
A

S aS
 Tipos de gramticas
GRAMTICA DE TIPO 2:
TAMBIN LLAMADAS GRAMTICAS DE CONTEXTO LIBRE O LIBRES DE CONTEXTO. SUS
REGLAS DE PRODUCCIN TAN SOLO ADMITEN TENER UN SMBOLO NO TERMINAL EN SU
PARTE IZQUIERDA, ES DECIR SON DE LA FORMA:
EJEMPLO: A
S DE TIPO
GRAMTICA aB 3:

TAMBIN LLAMADAS GRAMTICAS REGULARES O GRAMTICAS LINEALES A LA DERECHA

COMIENZA SUS REGLAS DE PRODUCCIN POR UN SMBOLO TERMINAS, QUE PUEDE SER
SEGUIDO O NO POR UN SMBOLO NO TERMINAL, ES DECIR SON DE LA FORMA:
EJEMPLO:
A aB

A B
CONCLUSIONES
DE IGUAL MANERA QUE LOS LENGUAJES REGULARES SE PUEDEN
REPRESENTAR MEDIANTE AUTMATAS FINITOS DETERMINISTAS, LOS
LENGUAJES INDEPENDIENTES DEL CONTEXTO TIENEN SU
CORRESPONDENCIA EN OTRO DE DISPOSITIVO: EL AUTOMATA DE PILA
 Bibliografa
HTTP://DI002.EDV.UNIOVI.ES/~CUEVA/PUBLICACIONES/AUTOMATA.PDF

HTTP://OCW.UC3M.ES/INGENIERIA-INFORMATICA/TEORIA-DE-AUTOMATAS-Y-
LENGUAJES-FORMALES/MATERIAL-DE-CLASE-1/TEMA-6-AUTOMATAS-A-PILA

HTTP://BIBLIOTECAVIRTUAL.UNAD.EDU.CO:2171/EDS/EBOOKVIEWER/EBOOK?SID=76F
B2122-8445-4ECC-9A6E-
DCD959A62E9C%40SESSIONMGR4010&PPID=PP_COVER&HID=4110&VID=0&FORMA
T=EB