CS450 Compiler Design
22
Example: Concrete/Abstract Syntax of Commands
Command
::= V-name := Expression
AssignCmd
| Identifier ( Expression ) CallCmd
| if
Expression then Command
else Command IfCmd
| while
Expression do Command WhileCmd
| let
Declaration in Command LetCmd
| Command ; Command SequentialCmd
Abstract Syntax