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

строка должна отмечаться своим абстрактным входным сигналом, а число
строк таблицы определится числом всех входных сигналов.
       Для упрощения процесса детерминизации при построении таблиц
переходов автомата также целесообразно представить исходную СКУ в виде
вспомогательной прямой таблицы переходов для событий.
       При этом следует иметь в виду, что при построении по СКУ
вспомогательной прямой таблицы переходов (НД ПТП) и таблицы переходов
(ТП) детерминированного автомата первый столбец в первой строке таблиц
должен обозначаться следующим образом:
       а) если S 0 входит в качестве предшествующего события в какое-либо
из уравнений СКУ и из S 0 не выводимо ни одно из событий СКУ, то a 0  S 0 ;
         б) если S 0 входит в качестве предшествующего события в какое-либо
из уравнений СКУ и из S 0 выводимы события S i,..., S j , то
a0  S 0 & S i & ... & S j ;
       в) если S 0 не входит в качестве предшествующего события ни в одно
из уравнений СКУ и из S 0 выводимы события S i,..., S j , то a 0  S i & ... & S j .
      П р и м е р 4.3. Выполним детерминизацию СКУ, полученную в
предыдущем примере, путем построения обычной таблицы переходов
детерминированного автомата.
      По СКУ (4.14) строим вспомогательную прямую таблицу переходов
для частных событий (табл.4.1), в которой в столбец 3 каждой строки
записываются те входные сигналы, которые имеют место в исходной СКУ на
рассматриваемом переходе.
      В соответствии с общими положениями алгоритма детерминизации, а
также замечаниями отмеченными выше, и на основании табл.4.1, таблица
переходов детерминированного автомата Мура будет иметь вид (табл.4.2):




                                                                                  71