Page 95 - 6602
P. 95
який-небудь з кінцевих підавтоматів прийшов в свій фінальний стан
раніше інших, то він повинен чекати, поки і інші підавтомати не
прийдуть в свої фінальні стани.
В деяких випадках буває бажано приховати внутрішню
структуру складеного стану. Наприклад, окремий кінцевий
підавтомат, що описує складений стан, може бути настільки
великим, що його візуалізація ускладнить загальне подання
діаграми станів. У подібній ситуації допускається не розкривати на
вихідній діаграмі станів даний складений стан, а вказати в правому
нижньому кутку спеціальний символ-піктограму (рис. 6.10). У
подальшому діаграма станів для відповідного кінцевого підавтомата
може бути зображена окремо від основної діаграми з необхідними
коментарями.
Рис. 6.10. Складений стан з прихованою внутрішньою структурою і
спеціальною піктограмою
Історичні стани
Звичайний кінцевий автомат не дозволяє враховувати
передісторію в процесі моделювання поведінки систем і об'єктів.
Проте функціонування ряду систем засноване на можливості
виходу з окремого стану-композиту з подальшим поверненням в
цей же стан. Може виявитися необхідним врахувати ту частину
діяльності, яка була виконана на момент виходу з цього стану-
91