Недетерминированные автоматы в проектировании систем параллельной обработки. Вашкевич Н.П. - 99 стр.

                                        Ai


                                                 Fα

                               1                  n
                                   Aj            Ak



           Рис. 4.4. Фрагмент ГСАП с разветвительной вершиной

      Соединителю в ГСАП будет соответствовать соединительная вершина
(рис. 4.5) обозначаемая буквой J  , имеющая столько входящих линий,
сколько параллельных ветвей она объединяет,  - номер вершины.



                         S1k                 …        Snk


                                                       Jβ


                                         Sm



           Рис. 4.5. Фрагмент ГСАП с соединительной вершиной

       Каждая входящая линия может быть образована слиянием нескольких
линий, но все компоненты такой линии должны принадлежать одной и той
же параллельной ветви. Выходящая линия из соединителя может быть только
одна.
       Объединение параллельных ветвей в соединителе осуществляется с
учетом определенных условий, т.е. при наступлении определенных ситуаций
в объединяемых параллельных ветвях. В самом общем виде условия
объединения могут быть заданы в виде булевой функции над обозначениями
частных событий, имеющих место в объединяемых параллельных ветвях:
                                    ~          ~ ~               ~
                         S в  f в (S k1 ,..., S kn , S 1 ,..., S n ), (4.62)
    ~          ~
где S k1 ,..., S kn - сокращенное обозначение событий, отмечающих окончание
                     алгоритмического процесса в соответствующих ветвях с 1-ой
                     по n - ой;



                                                                             99