<程序>::={<声明序列><语句序列>}
<声明语句>::=int<变量>
<语句序列>::=<语句序列><语句>|<语句>
<语句>::=<if语句>|<while语句>|<赋值语句>|<goto语句>
<if语句>::=if (<表达式>)<语句>|[else<语句>]
<while语句>::=while(<表达式>)<语句>
<赋值语句>::=ID=<表达式>
<goto语句>::=goto <标号>
<表达式>::=<项>{+<项>|-<项>}
<项>::=<因子>{*<因子>|/<因子>}
<因子>::=ID|NUM|(<表达式>)