FSM Composition
Problem: what if there is a cycle?
- Moore machine: d depends on input and state, l only on state
- composition is always well-defined
- Mealy machine: d and l depend on input and state
- composition may be undefined
- what if l1({i1}, s1) = {o1 } but o2 ? l2({i3}, s2) ? Is o1 output or not?
Causality analysis in Mealy FSMs (Berry ‘98)