语法：

 语义：

 产生式 Block : { } 按照下面的过程执行 :

1. 返回 (normal, empty, empty)。

 产生式 Block : { StatementList } 按照下面的过程执行 :

1. 返回解释执行 StatementList 的结果。

 产生式 StatementList :Statement 按照下面的过程执行 :

1. 令 s 为解释执行 Statement 的结果。
2. 如果有一个异常被抛出，返回 (throw, V, empty)，这里的 V 是异常。( 仿佛没有抛出异常一样继续运行。)
3. 返回 s。

 产生式 StatementList :StatementList Statement 按照下面的过程执行 :

1. 令 sl 为解释执行 StatementList 的结果。
2. 如果 sl 是个非常规完结，返回 sl。
3. 令 s 为解释执行 Statement 的结果。
4. 如果有一个异常被抛出，返回 (throw, V, empty)，这里的 V 是异常。 ( 仿佛没有抛出异常一样继续运行。)
5. 如果 s.value 是 empty ，令 V = sl.value, 否则令 V = s.value。
6. 返回 (s.type, V, s.target)。

 以上算法中步骤5和步骤6确保了StatementList的值是StatementList中最后一个产生值的Statement的值。例如以下eval函数的调用全都返回1