Государственные машины существуют в течение длительного времени (как минимум, десятилетия). Они состоят из состояний (обычно кругов) и стрелок между состояниями, в которых определенные действия могут инициировать переход по стрелке. Машины Moore и Mealy являются двумя основными вариантами, которые указывают, выводится ли выход из переходов или самих состояний.
Statecharts были изобретены David Harel, и их иногда называют Harel Statecharts. Он определил довольно широкое расширение для типичных государственных машин с целью сделать государственные машины более полезными для реальной работы со сложными системами.
Вариант Statecharts теперь встроен в Matlab, как stateflow, который является расширением simulink. Statesharts также являются основой UML "State Machine Diagrams".