GRAMATICA LIBRE DE CONTEXTO LENGUAJE LIBRE DE CONTEXTO

GRAMATICA LIBRE DE CONTEXTO LENGUAJE LIBRE DE CONTEXTO Marcela Hernandez

Definición informal de Gramática Marcela Hernandez

Gramáticas Formales Marcela Hernandez

Tipos de Gramáticas Tipo 0 Tipo 1 Tipo 2 Marcela Hernandez Tipo 3

Tipos de Lenguajes Marcela Hernandez

equivale Teoría de Autómatas - Lenguajes Formales (Máquinas abstractas - Gramáticas Formales) equivale Gramática Máquina describe reconoce genera Lenguajes Marcela Hernandez

Teoría de Autómatas - Lenguajes Formales (Máquinas abstractas - Gramáticas Formales) Gramáticas Lenguajes Máquinas Sin restricciones o de Tipo 0 Máquina de Turing Sensible al contexto o de Tipo 1 Autómata linealmente acotado Libre de contexto o de Tipo 2 Autómata a pila Regular o de Tipo 3 Autómata Finito Marcela Hernandez

GRAMATICA REGULAR Marcela Hernandez

Marcela Hernandez

Gramatica independiente del contexto Marcela Hernandez

Marcela Hernandez

Árbol de derivación Marcela Hernandez

S M N Z x b b a b S MNZ M x. Zb N b Z XN Z ba X x N abx Z X x Marcela Hernandez N a b x

FORMA NORMAL DE CHOMSKY Marcela Hernandez

FORMA NORMAL DE GREIBACH Marcela Hernandez

Marcela Hernandez

ELIMINACION DE FACTORES COMUNES IZQUIERDOS A : = αβ 1 |αβ 2 | … | αβn | δi A : = αA’ | δi A’ : = β 1 | β 2 | … | βn Marcela Hernandez

ELIMINACION DE RECURSIVIDAD IZQUIERDA A : = Aα Aα =>* Aβα Marcela Hernandez

A : = Aα | β A : = βA’ A’ : = αA’ A’ : = ε Ordenar No terminales: A 1, A 2, … An For i : = 1 To n Do For j : = 1 To i – 1 Do Sustituir cada Ai : = Aj β por Ai : = α 1 β | α 2 β | αk β donde Aj : = α 1 | α 2 | … | αk producciones actuales de Aj Eliminar la recursividad directa de Ai Marcela Hernandez

ELIMINACION DE AMBIGÛEDAD Una gramática ambigua permite más de una derivación para la misma forma sentencial por lo que también habrá más de un árbol de derivación para la misma. Por ello basta con encontrar dos árboles derivación distintos para la misma forma sentencial para demostrar que una gramática es ambigua. Para eliminar este tipo de ambigüedad, es necesario, primero eliminar: - Factores comunes izquierdos inmediatos y No-inmediatos. - Recursividad izquierda inmediata y No-inmediata. Marcela Hernandez

Marcela Hernandez

Autómata de pila Marcela Hernandez

Los Autómatas de Pila, que al igual que un Autómata Finito, cuenta con un flujo de entrada y un flujo de control que puede encontrarse en uno de entre un número finito de estados. Uno de estos estados se designa como el inicial y por lo menos un estado de aceptación La principal diferencia es que los Autómatas de pila cuentan justamente con una pila en donde se puede almacenar información para recuperarla más tarde Marcela Hernandez

Los símbolos que pueden almacenarse en esta pila se conocen como símbolos de pila de la maquina, constituyen un conjunto finito que puede incluir algunos símbolos definiendo el alfabeto de la maquina y quizá algunos símbolos adicionales que se utilizan como marcas internas. Si una maquina inserta un símbolo especial en la pila antes de efectuar algún otro cálculo, entonces ese símbolo en la cima de la pila puede usarse como indicador de pila vacía para cálculos posteriores, dicho símbolo es # Marcela Hernandez

Características Marcela Hernandez

Marcela Hernandez

Principio de Pre Análisis Marcela Hernandez

LENGUAJES NO REGULARES Marcela Hernandez