State machines are a powerful way of visually describing the behavior of your project. As a formal technique for modelling complex systems, the ideas behind state machines have existed for decades. State machines in Zing are based on a category of hierarchical state machines known as Harel statecharts.