SYNTAX
Utvecklare | INRIA |
---|---|
Typ | Generator |
Licens | CeCILL |
Hemsida |
Inom datavetenskap är SYNTAX ett system som används för att generera lexikaliska och syntaktiska analysatorer ( parsers ) (både deterministiska och icke-deterministiska) för alla typer av kontextfria grammatiker (CFG) såväl som vissa klasser av kontextuella grammatiker . [ citat behövs ] Den har utvecklats vid INRIA i Frankrike i flera decennier, mestadels av Pierre Boullier, men har blivit fri programvara endast sedan 2007. SYNTAX distribueras under CeCILL -licensen. [ citat behövs ]
Kontextfri analys
SYNTAX hanterar de flesta klasser av deterministiska (entydiga) grammatiker ( LR , LALR , RLR såväl som allmänna kontextfria grammatiker. Den deterministiska versionen har använts i operativa sammanhang (t.ex. Ada ), och används för närvarande både inom kompileringsdomänen De icke-deterministiska funktionerna inkluderar en Earley-parsergenerator som används för naturlig språkbehandling Parsers som genereras av SYNTAX inkluderar kraftfulla felåterställningsmekanismer och tillåter exekvering av semantiska åtgärder och attribututvärdering på det abstrakta trädet eller på den delade parseskogen.
Kontextuell analys
Den nuvarande versionen av SYNTAX (version 6.0 beta) inkluderar även parsergeneratorer för andra formalismer, som används för naturlig språkbehandling såväl som bioinformatik. Dessa formalismer är kontextkänsliga formalismer ( TAG , RCG eller formalismer som förlitar sig på sammanhangsfria grammatiker och utökas tack vare attribututvärdering, särskilt för naturlig språkbehandling ( LFG ).
Felåterställning
En trevlig funktion med SYNTAX (jämfört med Lex / Yacc ) är dess inbyggda algoritm för att automatiskt återställa från lexikaliska och syntaktiska fel, genom att radera extra tecken eller tokens, infoga saknade tecken eller tokens, permutera tecken eller tokens, etc. Denna algoritm har ett standardbeteende som kan modifieras genom att tillhandahålla en anpassad uppsättning återställningsregler anpassade till språket som lexern och parsern är byggda för.
externa länkar
- (på franska) SYNTAX webbplats
- Artikel om konstruktion av kompilatorer med SYNTAX och TRAIAN (Compiler Construction'02 Conference)