CS450 Compiler Design
21
Example: Concrete/Abstract Syntax of Commands
single-Command
      ::= V-name := Expression
        | Identifier ( Expression )
        | if Expression then single-Command
                        else single-Command
        | while Expression do single-Command
        | let Declaration in single-Command
        | begin Command end
Command ::= single-Command
          | Command ; single-Command
Concrete Syntax