Rozszerzona gramatyka afiksów
W informatyce rozszerzone gramatyki afiksowe ( EAG ) to formalny formalizm gramatyczny służący do opisywania bezkontekstowej i zależnej od kontekstu składni języka, zarówno języka naturalnego , jak i języków programowania .
EAG należą do rodziny gramatyk dwupoziomowych ; dokładniej, ograniczenie gramatyk Van Wijngaardena , którego szczególnym celem jest umożliwienie parsowania .
Podobnie jak gramatyki Van Wijngaardena, EAG mają hiperreguły , które tworzą gramatykę bezkontekstową, z wyjątkiem tego, że ich nieterminale mogą mieć argumenty, znane jako afiksy , których możliwe wartości są dostarczane przez inną gramatykę bezkontekstową, metareguły . [ potrzebne źródło ]
EAG zostały wprowadzone i zbadane przez DA Watta w 1974 roku; aparaty rozpoznawania zostały opracowane na Uniwersytecie w Nijmegen w latach 1985-1995. Opracowany tam kompilator EAG wygeneruje albo aparat rozpoznawania, przetwornik, tłumacz, albo edytor sterowany składnią dla języka opisanego w formalizmie EAG. Formalizm jest dość podobny do Prologu , do tego stopnia, że pożyczył swojego operatora cięcia .
EAG były używane do pisania gramatyk języków naturalnych, takich jak angielski, hiszpański i węgierski. Celem było zweryfikowanie gramatyk poprzez wykonanie analizy korpusów tekstowych ( językoznawstwo korpusowe ); stąd analiza musiała być wystarczająco praktyczna. Jednak problem eksplozji drzewa analizy, który niejasności w języku naturalnym powodują w tego typu podejściu, pogarsza się w przypadku EAG, ponieważ każdy wybór wartości afiksu może spowodować oddzielną analizę, nawet jeśli kilka różnych wartości jest równoważnych. Zaproponowanym środkiem zaradczym było zamiast tego przejście na znacznie prostszą gramatykę afiksową na skończonej siatce ( AGFL ), w której metagramatyki mogą tworzyć tylko proste skończone języki.