Language "IMP" 

#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}
``stmt ::= stmt stmt``      {right}
*/