Please write your solutions as clearly and concisely as possible.
Note: "Compositional encoding" means that the encoding of each compound process op(P1,...Pn) is defined in terms of the encodings of the components, i.e. the equations defining the encoding are of the form:
[[ op(P1,...Pn) ]] = ... [[P1]] ... [[Pn]] ...