because typically the machine [...] . For clocked machines [...] to the machine clocking
on another machine (for
, the state machines