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.
13 years ago
No comments:
Post a Comment