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

последующие колонки таблицы пар записываются пары событий, которые
являются первыми преемниками по отношению к конкретному входному
сигналу. Для этой цели колонки таблицы пар обозначают теми входными
сигналами, которые не являются выводимыми ни из каких других входных
сигналов.
      Для их определения необходимо:
          сначала найти по исходной ПТП (табл.3.1) все возможные
сочетания входных сигналов для каждого конкретного класса 1-
эквивалентных событий;
          из полученных сочетаний входных сигналов используют для
обозначения колонок соответствующей подтаблицы те из них, которые не
являются выводимыми ни из каких других сочетаний сигналов. Например,
сигнал x1 выводим из сигналов x1 x 2 и x1 x2 , поэтому сигналом x1 не
отмечается столбец таблицы пар.
      Предусматривается также одна колонка, для которой переходы к
первым преемникам не зависят от входного сигнала. Учитывая изложенное,
таблица пар будет иметь следующий вид (табл. 3.2). В каждой клетке для
упрощения таблицы записываются только индексы, определяющие номера
событий.




                                                                    48