Link Search Menu Expand Document

Unstable-Languages-beta : IMPPP-Disambiguation.cbs | PRETTY | PDF


Language "IMPPP"

A Disambiguation

Lexis SDF

lexical syntax 
  id = keyword {reject}
lexical restrictions
  id -/- [A-Za-z0-9]
Syntax SDF

context-free syntax
aexp ::= aexp '+' aexp  {assoc}
bexp ::= bexp '&&' bexp {assoc}

context-free priorities
aexp ::= aexp '/' aexp
>
aexp ::= aexp '+' aexp
>
aexp ::= id '=' aexp

context-free priorities
bexp ::= '!' bexp
>
bexp ::= bexp '&&' bexp