🧑‍🎓 Теория вычислительных процессов - ответы на тест в ТулГУ 🧑‍🎓

Последовательные вычислительные процессы, которые одновременно находятся в каком-либо активном состоянии, называются:

При работе с почтовым ящиком Получатель, Сообщение и Буфер указываются в качестве параметров операции:

Решение задачи взаимного исключения процессов, предложенное Деккером, в качестве средства синхронизации использует:

Семантика, сводящаяся к описанию смысла программы посредством выполнения ее операторов на реальной или виртуальной машине, называется:

В модели Холта дуга, ведущая от процесса к ресурсу указывает на то, что процесс:

Полной автоматизации подлежит следующий этап верификатора:

Логический уровень интерфейса определяет требования к:

Для сети Петри, представленной на рисунке, тупиковой будет разметка:

Состояние Si, у которого для всех Sk, таких что Si* Sk , Sk не является тупиковым состоянием, называется:

Для замыкания процесса Р3, построенного по приведенному процессу РП и его репозиции Р', при выделенных входных Х и выходных Y компонентах, верно:

Для эффективного асинхронного процесса любой класс эквивалентности ситуаций, не принадлежащих к результантам, состоит из:

В модели Холта дуга, ведущая от ресурса к процессу указывает на то, что ресурс: