State Diagram — Washing Machine Programs

Use a superstate called 'Washing' that encapsulates the common states (Fill, Wash, Rinse, Spin, Done), which is shared across programs, and use transitions into this superstate that set program-specific parameters (temperature, spin speed, duration)

Explanation

The best approach is to use a superstate for the common washing process states (Fill, Wash, Rinse, Spin, Done) that are shared across all programs, with transitions into the superstate carrying program-specific parameters. This avoids duplicating the entire state sequence for each program. The superstate approach — hiding detail in a high-level diagram and expanding it when needed — is exactly the technique described for managing complexity in large state models.