------------------------------------------------------------------------------
MC logo
ECFG for Tucker and Noonan's Clite Language
[^] Syntax
------------------------------------------------------------------------------
[Ch. 1: Overview and History] [Syntax] [Names and Scope] [Types and Type Systems] [Semantics] [Functions] [Memory Management] [Imperitive Programs and Functional Abstraction] [Modular and Class Abstraction] [Functional Programming] [Logic Programming]
[ECFG for Tucker and Noonan's Clite Language] [Plain C CFG] [Abstract Syntax for for Tucker and Noonan's Clite Language] [Derivation Problem] [Regular Expression Problems]
Program→int main () { Declarations Statements }
Declarations→{ Declaration }
Declaration→Type Identifier [ [ Integer ] ] { , Identifier [ [ Integer ] ] } ;
Type→int | bool | float | char
Statements→{ Statement }
Statement→; | Block | Assignment | IfStatement | WhileStatement
Block→{ Statements }
Assignment→Identifier [ [ Expression ] ] = Expression 
IfStatement→if ( Expression ) Statment [ else Statement ]
WhileStatement→while ( Expression ) Statement
Expression→Conjunction { || Conjuction }
Conjunction→Equality { && Equality }
Equality→Relation [ EquOp Relation ]
EquOp→== | !=
Relation→Addition [ RelOp Addition ]
RelOp→< | <= | > | >=
Addition→Term { AddOp Term }
AddOp→+ | -
Term→Factor { MulOp Factor }
MulOp→* | / | %
Factor→[ UnaryOp ] Primary
UnaryOp→- | !
Primary→Identifier [ [ Expression ] ] | Literal  | ( Expression ) | Type ( Expression )
Identifier→Letter { Letter | Digit }
Letter→a | b | … | z | A | B | … | Z
Digit→0 | 1 | … | 9
Literal→Integer | Boolean | Float | Char
Integer→Digit { Digit }
Boolean→true | false
Float→Integer . Integer
Char→' ASCIIChar '