En informática , las gramáticas de afijos extendidas ( EAG ) son un formalismo gramatical formal para describir la sintaxis del lenguaje, libre de contexto y sensible al contexto , tanto el lenguaje natural como los lenguajes de programación .
Las EAG son miembros de la familia de gramáticas de dos niveles ; más específicamente, una restricción de las gramáticas de Van Wijngaarden con el propósito específico de hacer factible el análisis .
Al igual que las gramáticas de Van Wijngaarden, las EAG tienen hiperreglas que forman una gramática libre de contexto, excepto que sus no terminales pueden tener argumentos, conocidos como afijos , cuyos posibles valores son proporcionados por otra gramática libre de contexto, las metareglas . [ cita necesaria ]
Los EAG fueron introducidos y estudiados por DA Watt en 1974; Los reconocedores se desarrollaron en la Universidad de Nijmegen entre 1985 y 1995. El compilador EAG desarrollado allí generará un reconocedor, un transductor, un traductor o un editor dirigido por sintaxis para un lenguaje descrito en el formalismo EAG. El formalismo es bastante similar al de Prolog , en la medida en que tomó prestado su operador de corte .
Los EAG se han utilizado para escribir gramáticas de lenguajes naturales como el inglés, el español y el húngaro. El objetivo era verificar las gramáticas haciéndolas analizar corpus de texto ( lingüística de corpus ); por tanto, el análisis tenía que ser suficientemente práctico. Sin embargo, el problema de explosión del árbol de análisis que las ambigüedades en el lenguaje natural tienden a producir en este tipo de enfoque empeora para los EAG porque cada elección de valor de afijo puede producir un análisis separado, incluso cuando varios valores diferentes son equivalentes. El remedio propuesto fue cambiar a la gramática de afijos sobre una celosía finita ( AGFL ), mucho más simple, en la que las metagramáticas sólo pueden producir lenguajes finitos simples. [1]