Assignment 5
Semantics of
Programming
Languages
Home
Literature
Assignments
Exams
Mailing List
All exercises of this assignment are taken from
Mitchell's book.
Due Date: Wednesday, December 5th, 2001.
Number | Page | Points |
3.5.6 | 181 | 10 |
3.5.7 | 181 | 15 |
3.5.15 | 187 | 15 |
3.7.4 | 206 | 10 |
3.7.18 | 215 | 10 |
3.7.19(a+b) | 215 | 10 |
3.7.24 | 222 | 15 |
3.7.25 | 222 | 15 |
Total | | 100 |
Hints
-
3.5.15: The class of algebras considered is the one defined
in example 3.5.12 (All Sigma-1 algebras satisfying E).
The hint given in the last sentence of this
exercise ist wrong. Replace it by: Show that neither
A2 nor A3 is initial by showing that there are no
homomorphisms A2 -> A1 and A3 -> A1.
-
3.7.24 and 3.7.25: You should list all nontrivial critical pairs. Note
that a critical pair is only determined up to variable renaming.
Thorsten Brunklaus,
Last Change:
Do 01 Jan 1970 00:00:00 UTC.