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

Приклад діаграми станів автомата.

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

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

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

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

Див. також

• Діаграма діяльності в UML
• Теорія автоматів
• Модель станів і переходів
• Блок-схема

Література

• Hopcroft, John E.; Motwani, Rajeev; Ullman, Jeffrey D. (2001). Вступ до теорії автоматів, мов і обчислень (вид. 2nd). Addison–Wesley. с. 521.(англ.)
• Роджерс Х.. Теория рекурсивных функций и эффективная вычислимость. — М. : Мир, 1972. — 416 с.(рос.)