Moore vs. Mealy
Mealy machines:
- reactive (0 response time)
- easy to decompose (0 + 0 = 0)
- hard to compose (problem with combinational cycles)
- Esterel compilation algorithm
- problematic for implementation
- software must be “fast enough” (synchronous hypothesis)
- may be needed in hardware, for speed