Please read Chapter 3 in your textbook.
Please do problem 3.5.13 (Funny rules). Explain your answers, but no proof (natural language or SASyLF) is required.
Also answer the following question:
Which of the theorems 3.5.4, 3.5.7, 3.5.8, 3.5.11, 3.5.12 remain true after adding the rules for arithmetic expressions (Figure 3-2)?Explain your answers; no proofs needed. (Ex. 3.5.14 and its solution should help, as should definition 3.5.15.)
Do problem 3.5.17 and write the proof in SASyLF
(only for the ``if'' sublanguage!).
More precisely, prove that if
and
is a value then
, and conversely if
, then
.
(I am not requiring you to prove that
is a value.)
You may use the solution in the back of the book (p. 498 in my edition)
to help you write the proof.
When I solved this problem, I noticed I needed the following lemmas:
The file $CLASSHOME/src/homework2/homework2.slf.SKEL starts
the work for you.
As with all homeworks, please turn in your homework problems on paper at the beginning of lecture. Please put the SASyLF proof in the appropriate homework directory in your AFS volume.