Helyezze be a nyelvtant

Az affix nyelvtan egyfajta formális nyelvtan , amelyet a nyelvek szintaxisának leírására használnak, a természetes nyelvek leírása ihlette .

Valójában ez van Wijngaarden nyelvtanainak operatív változata (2. forma).

Az affix nyelvtan szabályai hasonlítanak a nem kontextuális nyelvtanok szabályaihoz , amelyek fogalma-nevei (vagy nem terminálisai) paraméterezve lennének. Ezek az attribútumoknak nevezett paraméterek lehetővé teszik ezeknek a fogalmaknak a modalitásokkal való felruházását. Nevük ihlette nyelvészet, ahol módozatait is szabályozza a toldalékok (előtagokat közti tagokat vagy végződések).

Ha ugyanaz a toldalék többször is megjelenik egy szabályban, akkor azt feltételezzük, hogy annak értéke minden alkalommal ugyanaz.

Példa

Vegye figyelembe a következő nem kontextuális nyelvtant:

Mondat → Tárgy megnevezése "". Tárgy → Név Predikál → Ige objektum Tárgy → Név Név → Pierre | házas Név → szülők | a gyerekek Ige → kedveli | mint Ige → segítség | Segítség

Ez a nyelvtan a következő mondatokat írja le:

• Pierre szereti a gyerekeket.
• Marie segít Pierre-nek.
• a gyerekek segítik a szülőket.
• a szülők szeretik Marie-t.

Több főnévvel , több igével , több fogalommal, több szabállyal sok francia mondat írható le, ami ígéretesnek tűnik.

Ez a fajta nyelvtan azonban sok mondatot is leír, például:

• a szülők szeretik Pierre-t. Pierre segítsen Marie-nak.

mivel a francia megköveteli, hogy az alany és az ige számban egyezzen meg.

A mellékelt nyelvtan így fog kifejezni:

hiperszabályok: Mondat → Tárgy + szám Predikátum + szám "". Tárgy + szám → Név + szám Predikátum + szám → ige + szám objektum Tárgy → Név + szám Név + egyes szám → Pierre | házas Név + többes szám → a szülők | a gyerekek Ige + egyes szám → segítség | tetszik Ige + többes szám → segítség | tetszik metarule: szám → egyes szám | többes szám.

Az első szabályban a szubjektum és az állítmány (sőt, az egyetlen ige) számának igazítását alkalmazva ez a nyelvtan csak helyes mondatokat hagy maga után, bár azt mondhatjuk, hogy

• Jean szereti Jean-t.

helyette kell írni

• Jean szereti önmagát.

Ezt a toldalékok segítségével is lehetne kezelni, attól függően, hogy milyen eszközök állnak rendelkezésre az illesztések közötti kapcsolatok meghatározásához.

Ragasztási nyelvtanok típusai

A legegyszerűbb esetben az toldalékok csak véges számú értéket vehetnek fel, és ezek az értékek csak egyenlőek vagy eltérőek lehetnek. Ebben az esetben a toldalékok kompaktabbá teszik a nem kontextuális nyelvtanokat, anélkül, hogy növelnék erejüket ( N. Chomsky 2. osztálya ).

Azt is megengedhetjük, hogy az toldalékok tetszőleges karakterláncokat vegyenek értékként, és megengedhetjük azok összefűzését , az toldalékok megengedett értékeit egy különálló, nem kontextuális nyelvtan rögzíti, az úgynevezett toldalék nyelvtanokat . Ezután 2 szintű nyelvtanokról vagy vW2 nyelvtanokról beszélünk. Ezt a típusú nyelvtant alkalmazták az Algol 68 programozási nyelv definíciós jelentéseiben .

A fogalmakat meghatározó szabályokat akkor fogalmi szabályoknak vagy hiperszabályoknak nevezzük  : ezek általános szabályok.

Az toldalékokat meghatározó szabályok vagy az illesztések szabályai a metarulák szerepét töltik be: megszervezik az toldalékokat vagy módozatokat, felvázolva a leírt nyelv elméletét.

Így a fenti példához vennénk:

szám: egyes | többes szám

Az affix szabály kiterjesztése megsokszorozza a lehetőségeket, például:

szám: egyes | párbaj | többes szám mód: tájékoztató jellegű feltételes | alanyi | elengedhetetlen | igenév | végződő

M. Sintzoff és CHA Koster kimutatták, hogy a vW2 nyelvtanok és az toldalék nyelvtanok lehetővé teszik a 0. osztály nyelvének leírását. Bár ez sok eldönthetetlen kérdést hagy maga után, Cleaveland és Uzgalis megmutatta ezen formalizmusok konkrét erejét a programozási nyelvek számára, amelyek közül le tudják írni a szintaxist, a statikus szemantikát (konzisztencia-ellenőrzés) és a dinamikus szemantikát.

A kibővített toldalék-nyelvtanok (EAG) és a véges rácsértékű toldalék-nyelvtanok (AGFL) olyan változatok, amelyek célja a legjobb kompromisszum megtalálása a következők között:

• a hivatalos nyelvek vagy a természetes nyelvek leíró ereje,
• a működési kapacitás, amely abból ered, hogy Peter Lucas bármilyen formai nyelvtant a leírt nyelv elemzőjének algoritmikus jelöléseként észlel.

Programozás affix nyelvtanok használatával

A nyelvek vagy nyelvek formalizálásán túl az affix nyelvtanok adaptálása a nyelvtani programozás céljából , sok eszköz alapja, 3 ponton alapul:

• a fogalmak (vagy hiperszabályok) szabályait futtatható specifikációkban dolgozzák fel  ;
• az affix szabályokat típusdeklarációkként dolgozzák fel, amelyek korlátozzák ezeket a futtatható specifikációkat;
• bizonyos rögzítési értékeket leolvasással vagy számítással kell megállapítani, vagy írásban ki kell használni; Ehhez a kódrészletek egyes szabályok jobb tagjaként jelennek meg, az olvasás, az írás és a számítás primitívjeinek biztosítása érdekében.

A toldalékok ábrázolása

Először két szempontból alakult ki:

• minden toldalék karakterlánc (de megkockáztatjuk, hogy elemezzük őket);
• bármelyik toldalék reprezentációja rögzítve van a támogató nyelven, az ellentmondások kockázatával (CDL2, LET).

A terület fejlődése a kevésbé problémás megjelenítéseket részesítette előnyben:

• Az AGFL a legegyszerűbb esetnek felel meg (az affix értékek véges száma), a trelliszek lehetővé teszik a hatékonyságot azáltal, hogy különböző értékeket "párhuzamosan" kezelnek;
• Az EAG karakterláncokat, egész számokat vagy sorokat használ; az toldalék szabályok nem kötelezőek, az alapértelmezett "string".
• A CDL3, StarLet, LET + fákat, egész számokat vagy karakterláncokat használ a ragasztási szabályok szerint.

Rögzítse a modált

A paraméter passzusok orientációja más változatokat hoz létre: lehet:

• választható: EAG;
• megjelölt és ellenőrzött: CDL-ek és LET-ek.

Állások

Ezen ötletek megvalósítása:

• a CDL nyelv (Compiler Design Language) és utódai (CDL2, CDL3 ... majd az 1970-es évektől az AGFL műhely a Nijmegeni Egyetemen (NL) alakult ki,
• a LET nyelv (Writing Language for Translators) és utódai a StarLET és a LET +, amelyeket 1976-tól fejlesztettek ki J. Beney és munkatársai az INSA Lyonban .

Kezdetben a fordítók felépítésének megkönnyítésére tervezték ezeket a nyelveket és környezetüket más alkalmazásokhoz, például szövegszerkesztéshez, az AFP-küldemények automatikus elemzéséhez, automatikus dokumentum-osztályozáshoz, és egy másik műfajban. A különféle hirdetések interaktív tervezéséhez. hoc nyelveket , fordítóik méretezhető makettjeivel / prototípusaival.

jegyzet

Noha ez a formalizmus elvileg közel áll az attribútum grammatikákhoz, a metamorfózisos grammatikákhoz vagy a DCG-khez, a szükséges fogalom és a lehetséges fogalom közötti különbségtétel , valamint az a tény, hogy az toldalékokat mindig gépelik, és gyakran moderálják, nagyban megkönnyíti a hibák és következetlenségek felderítését a nagy alkalmazásokban.

Megjegyzések

1. már CHA Koster tárgyalja: CHA Koster & L. Meertens. Alapfokú angol nyelv, generatív nyelvtan az angol egy részéhez . Műszaki jelentés, Euratom Seminar Machine en Talen , Univ. Amszterdam, 1962.
2. van Wijngaarden, Mailloux, Peck, Koster, Sintzoff, Lambert, Meertens, Fisker: Felülvizsgált jelentés az algoritmikus nyelvről ALGOL 68 , 1975, Acta Informatica , 5: 1-236
3. Sintzoff, M., 1967 van Wijngaarden szintaxisa minden rekurzívan megszámlálható készletnél , Annals of the Scientific Society of Brussels 2, 115-118
4. Cleveland & Uzgalis "Nyelvtanok a nyelvek programozásához", 1977 Computer Science Library, Elsevier.
5. lásd CHA Koster, 1991, Rögzítse a nyelvtanokat a természetes nyelvekhez : Attribute Grammars
6. Cleveland & Uzgalis, op. cit.
7. a szám minimálisra csökken, mert ha szükségesek, akkor a konzisztencia ellenőrzés gyenge pontjai is.
8. Beney J., A STARLET / GL nyelv bemutatása , 1989 rev. 2001
9. például egy PL1 / C fordító a Control Data France számára: Maranzana M., Martin JF, Frécon L., 1990, Un Traducteur de PL1 / Multics vers C / VE , TSI, 9. évf., 5. szám, p. 399-42. (forrás: 24 000 LET sor; termékfordító: 94 000 dokumentálatlan C sor).
10. angol, holland, latin, francia, orosz és arab nyelveken végzett munka
11. Colmerauer A., ​​1975, A metamorfózis grammatikája , Mesterséges Intelligencia Csoport, Luminy Természettudományi Kar, Aix-Marseille II.
12. Pereira F., Warren D., 1980, Határozott záradékú nyelvtanok a nyelvelemzéshez - Felmérés a formalizmusról és összehasonlítás a kiterjesztett átmeneti hálózatokkal . Mesterséges intelligencia 13. szám, p.  231-278

Bibliográfia

Alapok

• CHA Koster, 1970, Affix Grammars , In: IFIP konferencia anyagai az ALGOL 68 megvalósításáról, München, North Holland Publ. Cy.
• CHA Koster. 1991, Affix Grammars for natural languages . In: Attribútum grammatikák, alkalmazások és rendszerek, SAGA Nemzetközi Nyári Iskola, Prága, Csehszlovákia. Előadási jegyzetek a számítástechnikában, 545. évfolyam. Springer-Verlag.
• CHA Koster. 1991, Affix Grammars a programozási nyelvekhez . In: Attribútum Nyelvtanok, fenti gyűjtemény.
• CHAKoster, J. Beney, 1991, A nyelvtanok és programok közötti határvonalról , 3. Nemzetközi szimpózium PLILP, Passau, Németország,1991. augusztusLecture Notes in Computer Science n o  528, Springer-Verlag 1991
• M. Sutter, 2001, Informális bevezetés az Extended Affix Grammars formalimhoz és annak összeállítójához .

Metakompiláció

• J. Beney, L. Frécon, 1980, A fordítók nyelv- és írásrendszere , RAIRO Informatique , vol. 14, n o  4, p.  379-394
• J. Beney, JFBoulicaut, A nyelvtani előírásoktól a logikai programozásig, a Starlet-kompromisszum , Bigre + Globule n 45,1985. október, P.  81-86
• JFBoulicaut J. Beney, 1988, Meta-összeállítás és programozás módszertani szabályokat, hogy segítse az építési programok , Software Engineering és szakértői rendszerek n o  11, 1988, p.  36-48
• J. Beney, JFBoulicaut 1990 STARLET: egy toldással-alapú fordító fordító kialakítva logikai programozási rendszer , 3. International Workshop on Compiler Fordítóprogramok CC'90, Schwerin (NDK), Lecture Notes in Computer Science n o  477, p.  71-85 , Springer-Verlag 1990
• CHA Koster, J. Beney, 1991 rev. 1993, CDL3 tankönyv , a Nijmegeni Katolikus Egyetem belső jelentése, 120 oldal,
• J.-F. Boulicaut, J. Beney, Fordítói írás széles spektrumú keretek között . In: P. Fritzon (szerk.): A poszter-ülés anyagai, 5. nemzetközi konferencia a fordítószerkezetről CC'94, Edinburgh, 1994. április 7–9 . , P.  11-20

Összeállítás és nyelvtervezés

• Maranzana M., Martin JF, Frécon L., Translator from PL1 / Multics to C / VE , TSI, vol. 9, 1990, N o  5, p.  399-422
• Sidhoum H., Babout M., Frécon L., 1990, Ampère2, a fizika programozási nyelve , The European Journal of Physics, vol. 11. o.  163-171

Nyelvek

• De Brito M., 1991, Morfoszintaktikus analizátor megvalósítása a névleges kifejezés felismerésére: ragasztott nyelvtanok használata , értekezés Lyoni Egyetem, ENSSIB.
• Farkas E., CHA Koster, P. Köves és M. Naszodi, 1991, A magyar nyelv affix nyelvtana felé . In: A. György (Szerk.), Proceedings CIS'91 konferencia az intelligens rendszerekről, John von Neumann Társaság a Számítástudományért, Budapest, p.  233-246 .
• CHA Koster és R. Willems. A török ​​nyelv nyelvtanának felhelyezése felé . In: Baray M. és B. Ozguc (szerk.), Computer and Information Science VI, Elsevier, Amsterdam 1991, p. 1067-1076.
• E. Oltmans. 1994, AMAZON az AGFL-ben. Een contextvrije hischrijfgrammatica voor de strukturele komponens van het AMAZON / CASUS-systeem, beschreven in het AGFL-formalism . Diplomamunka (holland nyelven, 177 oldal). Nijmegeni Egyetem. (összefoglalás angolul; a holland nyelvtanának kidolgozása).

Automatikus dokumentáció

• Maria Paula Santalla del Rio, 2002, A spanyol hivatalos nyelvtan az információ-visszakereséshez alkalmazott fázisszintű elemzéshez, Lalia, 14, Maior sorozat, Santiago de Compostela Egyetem, Santiago de Compostela.
• CHA Koster és CPA Tiberius, 1997, AGFL nyelvtanok a teljes szöveges információ visszakereséséhez . In: A. Ralli és munkatársai (szerk.), Working Papers in Natural Language Processing, Ekdosis Diavlos, Athén, 1997, p.  139-154 .
• CHA Koster, J. Beney, S. Verberne és M. Vogel, 2011, kifejezésalapú dokumentum-kategorizálás , a szabadalmi információ visszakeresésének jelenlegi kihívásaiban, Springer, The Information Retrieval Series, Vol. 29, 4. rész, p.  263-286 .
• CHA Koster, M. Seutter, J. Beney, 2003, A szabadalmi bejelentések többes osztályozása Winnow-val, Proceedings PSI 2003, Springer LNCS No. 2890, 2003, p.  545-554 .
• J.Beney, CHA Koster, 2003 felügyelte a Szabadalmi Osztályozást: egy tesztjáték a valós esethez , Proceedings of the XXI th Congress Inforsid, p.  50-59 .
• CHA Koster, M. Seutter és J. Beney, 2001, Szabadalmi bejelentések osztályozása Winnow-val , Procelings Benelear, p.  19–26 .

Lásd is

• Formális nyelvtan
• Van Wijngaarden nyelvtanai
• Fordító fordító
• Nyelvtan tulajdonítható
• (en) Helyezzen nyelvtant egy véges rács fölé
• (en) Kiterjesztett Affix Grammar
• (en) Van Wijngaarden nyelvtan
• (en) „  Néhány publikáció az Affix Grammars-ról , az AGFL- ről és az AGFL-rendszerről  ” , az AGFL-projektről (Affix Grammars over a Finite Rattice)