Concrete Syntax:

expr ::$=$ x $|$ n $|$ expr $+$ expr $|$ expr $-$ expr $|$ expr && expr $|$ expr $||$ expr

$|$ expr $==$ expr $|$ expr $>$ expr $|$ expr $<$ expr $|$ expr $>=$ expr $|$ expr $<=$ expr

stmt ::$=$ x $=$ expr $|$ print$($expr$)|$ if expr: stmt$+$ else: stmt$+$

LIf ::$=$ stmt$*$

Abstract Syntax:

op ::$=$ "add" $|$ "sub" $|$ "not" $|"$or$"|$ "and" $|"$eq$"|"$gt$"|$ "gte" $|"$lt$"|$ "lte"

Expr ::$=$ Var$($x$)|$ Constant$($n$)|$ Prim$($op$,$ List$[$Expr$])$

Stmt ::$=$ Assign$($x$,$ Expr$)|$ Print$($Expr$)|$ If$($Expr$,$ Stmts$,$ Stmts$)$

Stmts ::$=$ List$[$Stmt$]$

LIf ::$=$ Program$($Stmts$)$