Exercise 1 Consider the following example: a database for the University employees and their details, like office number, home address, telephone is first designed as an abstract model, e.g. as a Finite State Machine representing all the operations needed to satisfy the functional requirements; the implementation is some interface that can be accessed to query the information. What is an obvious medium of implementation?

Exercise 2 Consider some trivial language function like append to join lists in Racket. Can you give an example of a translation to e.g. a Java command that offers a correct implementation? One that offers an incorrect implementation? For both, can you explain according to which criteria is the translation correct/incorrect?

Exercise 3 Give at least two examples of miscomputations at different levels of abstraction according to the list above.