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

UptoLike

ВУЗ: 

ПГУ | Пенза

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

Рубрика: 

115
Контрольные вопросы к главе 4.
1. Как определяется событие на языке РВАС?
2. Какие события называются регулярными и какова их характерная
особенность?
3. Как формируется правило раскрытия итерационных скобок?
4. На чем основана методика преобразования систем событий,
представленных на языке РВАС, в стандартную систему канонических
уравнений?
5. Как может быть представлено описание произвольного
регулярного выражения алгебры событий на языке исчисления предикатов
первого порядка с ограниченными кванторами? Какие составные части
включает это описание?
6. Какое событие понимается как событие, непосредственно
предшествующее исходному событию?
7. Как выражается закон нейтральности пустого слова и как этот
закон формализуется аксиомами в исчислении предикатов первого порядка?
8. Каким образом можно преобразовать описание событий,
представленных на языке исчисления предикатов первого порядка, в систему
канонических уравнений в бескванторной предикатной форме?
9. В чем заключается методика построения систем канонических
уравнений для событий, реализуемых в алгоритмах управления,
представленных на языках ГСА и ЛСА? Что понимается под шагом работы
алгоритма управления, как определяются частные входные сигналы, как
нумеруются операторы алгоритма управления, как решаются вопросы с
циклами из условных вершин (логических условий)?
10. Какие достоинства языка ГСАП по сравнению с параллельными
языками?
11. Как формализуются на языке ГСАП условия выхода параллельных
процессов за вершину объединения ветвей?
12. В каких случаях и как осуществляется коррекция событий,
реализуемых в параллельных ветвях алгоритма управления, представленного
на языке ГСАП?
13. Из каких основных этапов состоит алгоритм построения
детерминированной ПТП для управляющего алгоритма, заданного на языке
ГСАП? 
                 Контрольные вопросы к главе 4.
      1. Как определяется событие на языке РВАС?
      2. Какие события называются регулярными и какова их характерная
особенность?
      3. Как формируется правило раскрытия итерационных скобок?
      4. На чем основана методика преобразования систем событий,
представленных на языке РВАС, в стандартную систему канонических
уравнений?
      5. Как может быть представлено описание произвольного
регулярного выражения алгебры событий на языке исчисления предикатов
первого порядка с ограниченными кванторами? Какие составные части
включает это описание?
      6. Какое событие понимается как событие, непосредственно
предшествующее исходному событию?
      7. Как выражается закон нейтральности пустого слова и как этот
закон формализуется аксиомами в исчислении предикатов первого порядка?
      8. Каким образом можно преобразовать описание событий,
представленных на языке исчисления предикатов первого порядка, в систему
канонических уравнений в бескванторной предикатной форме?
      9. В чем заключается методика построения систем канонических
уравнений для событий, реализуемых в алгоритмах управления,
представленных на языках ГСА и ЛСА? Что понимается под шагом работы
алгоритма управления, как определяются частные входные сигналы, как
нумеруются операторы алгоритма управления, как решаются вопросы с
циклами из условных вершин (логических условий)?
      10. Какие достоинства языка ГСАП по сравнению с параллельными
языками?
      11. Как формализуются на языке ГСАП условия выхода параллельных
процессов за вершину объединения ветвей?
      12. В каких случаях и как осуществляется коррекция событий,
реализуемых в параллельных ветвях алгоритма управления, представленного
на языке ГСАП?
      13. Из каких основных этапов состоит алгоритм построения
детерминированной ПТП для управляющего алгоритма, заданного на языке
ГСАП?




                                                                     115

Страницы