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

                                       Оглавление
Предисловие
Глава 1. Основные понятия и определения из теории недетерминированных
         автоматов . . . . . . . . . . . . . . . . . . . . . . .
   1.1. Определение и понятия
          недетерминированного автомата . . . . . . . . . . . . . . . . . . . . . . .
   1.2. Общие сведения о выборе языков для представления
          недетерминированных автоматов . . . . . . . . . . . . . . . . . . . . . . .
   1.3. Аналитическое представление недетерминированных
          автоматов на стандартном языке . . . . . . . . . . . . . . . . . . . . . . . .
   1.4. Расширение выразительных возможностей языка НД СКУ
          и его отличительные особенности . . . . . . . . . . . . . . . . . . . . . . .
   1.5. Иерархия входных сигналов и событий, реали
         зуемых в системах логического управления . . . . . . . . . . . . . . .
Глава 2. Детерминизация недетерминированных автоматов . . . . . . . . .
   2.1. Алгоритм детерминизации НДА . . . . . . . . . . . . . . . . . . . . . . . . .
   2.2. Пример детерминизации НДА с построением
         СКУ и СВФ для автоматов Мура и Мили . . . . . . . . . . . . . . . . .
Глава 3. Минимизация систем канонических
          уравнений (СКУ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
   3.1. Минимизация СКУ на основе определения
         эквивалентного разбиения событий . . . . . . . . . . . . . . . . . . . . . .
        3.1.1. Некоторые понятия и определения . . . . . . . . . . . . . . . . . .
        3.1.2. Определение эквивалентного разбиения
               событий СКУ на основе использования
               таблицы пар . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
        3.1.3. Определение минимальной прямой таблицы
               переходов и минимальной СКУ для автомата
               Мили и Мура . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
   3.2. Минимизация СКУ на основе учета
        распределения сдвигов . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
        3.2.1. Методика минимизации СКУ . . . . . . . . . . . . . . . . . . . . . . .
        3.2.2. Пример минимизации СКУ . . . . . . . . . . . . . . . . . . . . . . . . .
Глава 4. Начальные языки, используемые для
          представления управляющих алгоритмов
          параллельной обработки информации . . . . . . . . . . . . . . . . . . .
    4.1. Язык регулярных выражений алгебры событий (РВАС)
          и построение СКУ на его основе . . . . . . . . . . . . . . . . . . . . . . . .
          4.1.1. Основные понятия и определения
                                                                                                   240