Unstable-Languages-beta : SIMPLE-THR-A-Disambiguation.cbs | PRETTY | PDF
Language "SIMPLE-THR"A Disambiguation
Lexis SDF
lexical syntax
id = keyword {reject}
lexical restrictions
id -/- [A-Za-z0-9]
Syntax SDF
context-free syntax
exp ::= exp '*' exp {left}
exp ::= exp '/' exp {left}
exp ::= exp '%' exp {left}
exp ::= exp '+' exp {left}
exp ::= exp '-' exp {left}
exp ::= exp '&&' exp {left}
exp ::= exp '||' exp {left}
context-free priorities
{
exp ::= exp '(' exps? ')'
} >
{
exp ::= '-' exp
exp ::= '++' lexp
exp ::= '!' exp
} >
{left:
exp ::= exp '*' exp
exp ::= exp '/' exp
exp ::= exp '%' exp
} >
{left:
exp ::= exp '+' exp
exp ::= exp '-' exp
} >
{non-assoc:
exp ::= exp '<' exp
exp ::= exp '<=' exp
exp ::= exp '>' exp
exp ::= exp '>=' exp
exp ::= exp '==' exp
exp ::= exp '!=' exp
} >
{assoc:
exp ::= exp '&&' exp
} >
{assoc:
exp ::= exp '||' exp
} >
{
exp ::= lexp '=' exp
}