CompSys704

Came to lecture late because I was at a friend's ChemMat presentation.  15 min of new ChemMat knowledge of aluminium cover.  Lecture did not start when I came in because a survey was being held.

Going through the deterministic properties of a boolean mealy machine that are free running in parallel.  Encapsulation/Hiding for forcing synchronisation.  Scope.  Local criterion: 1) A hidden input must also appear in the output; 2) A negative input must not appear in the output.  Defining the automata that results from port hiding.