Consider the Core language defined in the lecture notes...

For question 1, the answer I got:

::= | | | | | ::= case of : ::= else end; | |: ::= [] ::= const | const,

Other supplemental info for question 2:

Consider the Core language defined in the lecture notes. Suppose we want to add to Core a state- ment with the following structure: case of 1e1 e2 es else en1 end ere z is some program variable of integer type. is a non-empty list of integer constants, separated by commas (could be a single constant) ei (1