Тест по ТВП

Функциональные выражения в схемах программ называют:

Термом в схеме программы является слово:

Логические выражения в схемах программ могут содержать:

Инструкция вида $$\iota$$ : x:= $$\tau$$ на $$\iota_1$$ соответствует в графовой форме схемы программы:

Оператором пересылки в схемах программ является:

Схема программы, у которой на каждой дуге заданы все переменные, называется:

Пара (S, I), где S - схема в базисе $$\beta$$ , а I - интерпретация этого базиса, называется:

Протокол выполнения программы описывается конечной или бесконечной последовательностью:

Если в протоколе выполнения программы $$\iota_{i+1}=\iota_{i\ }\ \ \ и\ \ \ W_{i+1}=W_{i\ }$$ , то оператор схемы в вершине с меткой $$\iota_i$$ является:

Из каких частей слагается определение класса программ?