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

UptoLike

Составители: 

24
Промежуточное событие это событие, обычно не отмеченное
реальным выходным сигналом, которое играет вспомогательную роль при
определении отмеченных и реализуемых в автомате событий.
Пустое (или тупиковое) событие S
*
это событие, из которого не
может быть получено ни одно из реализуемых в автомате событий, кроме
начального события S
0
, являющегося исходным для всех событий в автомате.
Пустое событие может быть определено выражением, являющимся
отрицанием от дизъюнкции всех реализуемых в автомате событий. Пустому
событию может быть поставлено в соответствие одно состояние автомата,
которое по аналогии будем называть пустым (или тупиковым) состоянием.
Неопределенное событие это событие, которому соответствует на
переходе запрещенный входной сигнал, в результате чего функция переходов
на этом шаге алгоритма будет не определена и может быть доопределена
совершение произвольно. Это позволит выполнять упрощение формул,
определяющих функции переходов автоматов. Необходимо иметь в виду, что
0
)
(
&
S
S
i
, тогда как
0
&
SS
i
.
Недостижимое событие это событие, которое не может быть
получено из начального события при любой последовательности входных
сигналов, т. е. такое событие не имеет событий - предшественников.
Контрольные вопросы к главе 1.
1. В чем состоит основная особенность модели НДА, отличающая ее
от модели ДА ?
2. Как определяется частный входной сигнал и чем он отличается от
полного входного сигнала ?
3. Каким образом можно определить запрещенный входной сигнал и
чем он отличается от пустого входного сигнала ?
4. Из каких составных частей состоит общий вид описания любого из
событий, представляющих управляющий алгоритм в виде модели НДА в
стандартной канонической форме ? Каким образом можно управлять началом
наступления события и продолжительностью его существования ?
5. Как могут быть представлены функции переходов в модели НДА ?
6. Как построить НДА Мили, эквивалентный заданному НДА Мура ?
7. В чем отличие пустого события от неопределенного события ?
8. Как связаны между собой операция кодирования и операция
детерминизации над событиями, определяющими алгоритм управления на
разных этапах проектирования систем управления, и как такая связь может
быть использована для организации контрольных процедур при
проектировании систем управления ?
       Промежуточное событие — это событие, обычно не отмеченное
реальным выходным сигналом, которое играет вспомогательную роль при
определении отмеченных и реализуемых в автомате событий.
       Пустое (или тупиковое) событие S — это событие, из которого не
                                            *
может быть получено ни одно из реализуемых в автомате событий, кроме
начального события S0, являющегося исходным для всех событий в автомате.
Пустое событие может быть определено выражением, являющимся
отрицанием от дизъюнкции всех реализуемых в автомате событий. Пустому
событию может быть поставлено в соответствие одно состояние автомата,
которое по аналогии будем называть пустым (или тупиковым) состоянием.
       Неопределенное событие — это событие, которому соответствует на
переходе запрещенный входной сигнал, в результате чего функция переходов
на этом шаге алгоритма будет не определена и может быть доопределена
совершение произвольно. Это позволит выполнять упрощение формул,
определяющих функции переходов автоматов. Необходимо иметь в виду, что
S i & S ()  0 , тогда как S i & S   0 .
       Недостижимое событие — это событие, которое не может быть
получено из начального события при любой последовательности входных
сигналов, т. е. такое событие не имеет событий - предшественников.

                 Контрольные вопросы к главе 1.
      1. В чем состоит основная особенность модели НДА, отличающая ее
от модели ДА ?
      2. Как определяется частный входной сигнал и чем он отличается от
полного входного сигнала ?
      3. Каким образом можно определить запрещенный входной сигнал и
чем он отличается от пустого входного сигнала ?
      4. Из каких составных частей состоит общий вид описания любого из
событий, представляющих управляющий алгоритм в виде модели НДА в
стандартной канонической форме ? Каким образом можно управлять началом
наступления события и продолжительностью его существования ?
      5. Как могут быть представлены функции переходов в модели НДА ?
      6. Как построить НДА Мили, эквивалентный заданному НДА Мура ?
      7. В чем отличие пустого события от неопределенного события ?
      8. Как связаны между собой операция кодирования и операция
детерминизации над событиями, определяющими алгоритм управления на
разных этапах проектирования систем управления, и как такая связь может
быть использована для организации контрольных процедур при
проектировании систем управления ?




                                                                      24