E→TA; A→ +TA|ε ; T→FB; B→*FB|ε ; F→(E)|id
S→E
E→E+T|T
T→T*F|F
F→id
S→ id = E
S→ if E then S1
S→ while E do S1
S→ S1; S2
Share this link via
Or copy link