System states rediagrammed

The focus of this paper is state diagrams that are used to represent state machines. Current diagrammatic representations of state machines are almost too compacted and do not completely depict their underlying semantics or clarify basic static structure and elementary dynamic features. The paper proposes using a new diagrammatic representation for state-based depictions. Advantages of the new diagrams include enhanced understanding of the related problems and exposure to new variations in viewing state machines and how to reflect about them. The proposed method is demonstrated through diagramming of a traffic light controller that has been represented in state and statechart diagrams. In addition, a Turing machine example is depicted by the new methodology.