北航研究生课程程序设计语言原理16-17期末试题.doc

1、 用EBNF描述以下Python3的语法结构
1) 控制语句：包括条件语句（if语句），循环语句（for语句和while语句），try语句。假定有语法类<test>表示逻辑表达式，<stuite>表示语句块，<exprlist>表示算术表达式列表，<test>表示逻辑表达式列表，<except_clause>表示except语句块
2) 类声明语句结构：假定<arglist>表示参数列表
2、 用Java语言编写读者-写者问题
3、 在IMP语言中增加条件表达式和数组变量类型
Expression ::= if Expression then Expression + Register else Expression – Register | let Declaration in Expression | Register
V_name ::= Identifier | V_name[Expression]
Type_denoter ::= int | bool | arry Numberal of Type_denoter
Register ::= x | y
Register表示寄存器，有两个寄存器x，y。
对IMP语言指称语义进行修改和扩充，需要时可自行添加辅助函数。