P =>程序K =>阻止
S =>单指令
C =>命令
E =>表达
B => Boolean-expr
I =>标识符
N>数字
P :: = K.
K :: =开始C结束
C :: = C1; C2 | 小号
S :: = I:= E | 如果(B)则S | 如果(B)那么S1否则S2 | 而(B)做S | 重复C直到(B)| K | 打印E.
E :: = - E | E1 + E2 | E1 - E2 | E1 E2 | E1 div E2 | E1 mod E2 | (E)| 我| ñ
B :: = E1 = E2 | …