Eli   Documents Get Eli: Translator Construction Made Easy at SourceForge.net.
    Fast, secure and Free Open Source software downloads

General Information

 o Eli: Translator Construction Made Easy
 o Global Index
 o Frequently Asked Questions
 o Typical Eli Usage Errors

Tutorials

 o Quick Reference Card
 o Guide For new Eli Users
 o Release Notes of Eli
 o Tutorial on Name Analysis
 o Tutorial on Type Analysis
 o Typical Eli Usage Errors

Reference Manuals

 o User Interface
 o Eli products and parameters
 o LIDO Reference Manual
 o Typical Eli Usage Errors

Libraries

 o Eli library routines
 o Specification Module Library

Translation Tasks

 o Lexical analysis specification
 o Syntactic Analysis Manual
 o Computation in Trees

Tools

 o LIGA Control Language
 o Debugging Information for LIDO
 o Graphical ORder TOol

 o FunnelWeb User's Manual

 o Pattern-based Text Generator
 o Property Definition Language
 o Operator Identification Language
 o Tree Grammar Specification Language
 o Command Line Processing
 o COLA Options Reference Manual

 o Generating Unparsing Code

 o Monitoring a Processor's Execution

Administration

 o System Administration Guide

Mail Home

Syntactic Analysis

Previous Chapter Next Chapter Table of Contents


Grammars for the Specification Files

TypeConFile ::= Production*.

Production ::= Identifier Delim Alternatives `.'.

Delim ::= `:' / `::='.

Alternatives ::=
   Alternatives `/' Alternative /
   Alternatives `//' Separator /
   Alternative .

Alternative ::= Element*.
Separator ::= Symbol.

Element ::=
   Symbol /
   Connection /
   Modification /
   `(' Alternatives `)' /
   `[' Alternatives `]' /
   Element `*' /
   Element `+' .

Connection ::= `&' Symbol.
Modification ::= `@' Symbol / `$' Symbol.

Symbol ::= Identifier / Literal.






TypeMapFile ::=
  (`MAPSYM' SymbolMapping+ / `MAPRULE' RuleMapping+ / `MAPCHAINS')+ .

SymbolMapping: Identifier `::=' Members `.' .
Members: Identifier+ .

RuleMapping: Rule Rewrite RuleName `.' .
Rule: Identifier Delimiter RHS .
Delimiter: `:' / `::=' .
RHS: Element* .
Element: Identifier / Text .
Rewrite: `<' RewriteRHS `>' .
RewriteRHS: (Position / Text)+ .
Position: `$' Integer .
RuleName: / `:' Identifier .






TypePerrFile ::= ErrorSpecs.

ErrorSpecs ::= ErrorSpecs SeparatorSpecs /
                     ErrorSpecs BracketSpecs /
                     ErrorSpecs SkipSpecs / .

SeparatorSpecs ::= `$SEPA' Symbols .

BracketSpecs ::= `$BRACKET' Symbols .

SkipSpecs ::= `$SKIP' Symbols .

Symbols ::= Symbols Symbol .

Symbol ::= Identifier / Literal .


Previous Chapter Next Chapter Table of Contents