Діаграма станів автомата

У Вікіпедії є статті про інші значення цього терміна: Діаграма станів.

Граф абстрактного автомата або діаграма станів автомата, англ. statechart) — орієнтований граф, вершинам якого відповідають стани автомата, а дугам — вхідні сигнали. Якщо вхідний сигнал x_i спричиняє перехід автомата зі стану a_j в стан a_k, то на графі цьому факту відповідає дуга, позначена символом x_i, яка з'єднує вершину a_j з a_k. Такий граф задає функцію переходів автомата. Для визначення функції виходів, дуги цього графу позначаються ще й відповідними вихідними сигналами. Визначення автомата за допомогою його графу є особливо наочним за умов невеликої кількості станів.

Діаграми Хареля

Діаграми станів Хареля (англ. David Harel^[1] стають дедалі популярнішими після того, як варіант цих діаграм став частиною Unified Modeling Language. Цей вид діаграм дозволяє моделювання надстанів, ортогональних регіонів, та діяльності як складової стану.

Класичні діаграми станів вимагають створення окремих вершин для кожної допустимої комбінації параметрів, що визначають стан. Це може призводити до необхідності введення великої кількості вершин та переходів між ними для систем складніших за найпростіші. Така складність ускладнює перегляд та розуміння діаграми. Діаграми Хареля дозволяють моделювання багатьох автоматів з перетином функцій на одній діаграмі. Кожен з відокремлених автоматів може виконувати внутрішні переходи не впливаючи на інші автомати на діаграмі. Стан кожного з відокремленого автомата на діаграмі визначає стан системи. Діаграма Хареля еквівалентна діаграмі станів але полегшує перегляд та розуміння отриманих діаграм.