Википедия на самом деле довольно хорошо это освещает.http://en.wikipedia.org/wiki/State_diagram
Конечные автоматы существуют уже давно (по крайней мере, десятилетия).Они состоят из состояний (обычно кружков) и стрелок между состояниями, в которых определенные действия могут инициировать переход по стрелке.Машины Мура и Мили - это два основных варианта, которые указывают, является ли вывод производным от переходов или самих состояний.
Диаграммы состояний были изобретены Дэвидом Харелом и иногда называются диаграммами состояний Хареля,Он определил довольно широкое расширение для типичных конечных автоматов, с целью сделать конечные автоматы более полезными для реальной работы со сложными системами.
Вариант Statecharts теперь встроен в Matlab, как stateflow, чторасширение simulink.Состояния состояний также являются основой UML «Диаграммы конечных автоматов».