En informática , las gramáticas de afijos extendidos ( GAE ) son un formalismo gramatical formal para describir la sintaxis libre y sensible al contexto del lenguaje, tanto del lenguaje natural como de los lenguajes de programación .
Los EAG son un miembro 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 sintáctico .
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 suministrados por otra gramática libre de contexto, las metarreglas . [ cita requerida ]
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 a Prolog , en la medida en que tomó prestado su operador de corte .
Los EAG se han utilizado para escribir gramáticas de idiomas 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 lo tanto, el análisis sintáctico tenía que ser lo suficientemente práctico. Sin embargo, el problema de explosión del árbol de análisis sintáctico que las ambigüedades en el lenguaje natural tienden a producir en este tipo de enfoque se agrava para los EAG porque cada elección de valor de afijo puede producir un análisis sintáctico separado, incluso cuando varios valores diferentes son equivalentes. El remedio propuesto fue cambiar a la gramática de afijos sobre un entramado finito ( AGFL ) mucho más simple, en la que las metagramáticas solo pueden producir idiomas finitos simples. [1]