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 Sigma1 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:
Wed Feb 14 11:03:36 2018.