Аналіз методів i засобiв укладки діаграм станів кінцевого автомата

Abstract

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