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

использования модели исходного ЦА Мура без предварительного
преобразования его в эквивалентный ЦА Мили. Это обеспечивается тем, что
рассмотренная методика минимизации числа событий автоматов на основе
использования ПТП ЦА Мура позволяет объединить события как за счет
непосредственно минимизации событий ЦА Мура (для нашего примера:
объединение событий S 4  S 8  a4 и S 6  S 7  a5 ), так и за счет
одновременного преобразования ЦА Мура в эквивалентный ему ЦА Мили
(для нашего примера: объединение событий a5,1  a5, 2  a5  S 6  S 7  S10 и
a3,1  a3,2  a3  S 3  S 5 ).

               3.2. Минимизация СКУ на основе учета
                       распределения сдвигов
                     3.2.1. Методика минимизации СКУ

      В реальных цифровых управляющих автоматах во многих случаях в
каждом такте работы автомата могут изменяться не все элементарные
входные сигналы по сравнению со значениями их в предшествующем такте.
Некоторые элементарные входные сигналы в соответствии с алгоритмом
функционирования автомата каждый раз после реализации определенного
события S могут сохранять свое значение, полученное в предыдущем такте.
Такую дополнительную информацию о работе автомата при описании
алгоритма его функционирования на языке ОСА, называемую
распределением сдвигов, используют для упрощения записи ОСА [23-26].
      В тех случаях, когда по условиям распределения сдвигов после
появления любого события возможно изменение всех элементарных входных
сигналов, никакого упрощения записи СКУ рассматриваемым способом
получить нельзя.
      Дальнейшее рассмотрение методики минимизации СКУ будет
базироваться на работе [28].
      Если условия распределения сдвигов заданы, то минимизация СКУ с
учетом распределения сдвигов может быть достигнута или за счет
сокращения числа реализуемых в автомате событий или их отдельных
ветвей, или за счет сокращения записи частных входных сигналов, когда
некоторые элементарные входные сигналы, входящие в частный входной
сигнал, окажутся равными единице.
      Будем предполагать, что СКУ состоит из нескольких уравнений,
каждое из которых описывает событие, состоящее из нескольких ветвей:
                                    k
                                          i
                              S  V S,
                                   i 1

где α - номер события, входящего в СКУ;
    k — число ветвей в событии Sα.

                                                                            54