state diagram
SCXML an XML language that provides a generic state-machine based execution environment based on Harel statecharts.
YAKINDU Statechart Tools is a software for modeling state diagrams (Harel statecharts, Mealy machines, Moore machines), simulation, and source code generation.
image state diagram
define state diagram
wikipedia state diagram
weblio state diagram
kotobank state diagram
jisho state diagram