Page 95 - 6602
P. 95

який-небудь з кінцевих підавтоматів прийшов в свій фінальний стан
                            раніше  інших,  то  він  повинен  чекати,  поки  і  інші  підавтомати  не
                            прийдуть в свої фінальні стани.
                                  В  деяких  випадках  буває  бажано  приховати  внутрішню
                            структуру  складеного  стану.  Наприклад,  окремий  кінцевий
                            підавтомат,  що  описує  складений  стан,  може  бути  настільки
                            великим,  що  його  візуалізація  ускладнить  загальне  подання
                            діаграми станів. У подібній ситуації допускається не розкривати на
                            вихідній діаграмі станів даний складений стан, а вказати в правому
                            нижньому  кутку  спеціальний  символ-піктограму  (рис.  6.10).  У
                            подальшому діаграма станів для відповідного кінцевого підавтомата
                            може бути зображена окремо від основної діаграми з необхідними
                            коментарями.















                            Рис. 6.10.  Складений стан з прихованою внутрішньою структурою і
                                                спеціальною піктограмою

                                  Історичні стани
                                  Звичайний  кінцевий  автомат  не  дозволяє  враховувати
                            передісторію  в  процесі  моделювання  поведінки  систем  і  об'єктів.
                            Проте  функціонування  ряду  систем  засноване  на  можливості
                            виходу  з  окремого  стану-композиту  з  подальшим  поверненням  в
                            цей  же  стан.  Може  виявитися  необхідним  врахувати  ту  частину
                            діяльності,  яка  була  виконана  на  момент  виходу  з  цього  стану-
















                                                           91
   90   91   92   93   94   95   96   97   98   99   100