Главная / Программирование / Языки логического программирования

Языки логического программирования - ответы на тесты Интуит

Правильные ответы выделены зелёным цветом.
Все ответы: Учебное пособие знакомит с языками типа модели Маркова, которые называют языками логического программирования или искусственного интеллекта.
Что такое слово в определении НАМ?
(1) множество непустых символов
(2) последовательность символов, включая пустой символ
(3) последовательность непустых символов или пустой символ
(4) пустой символ
(5) последовательность любых символов
Что такое стратегия вычислений в Прологе?
(1) применение оператора отсечения
(2) применение спецификаций
(3) порядок обхода дерева вычислений
(4) порядок выполнения атомов запроса
(5) порядок применения правил программы
Как определяется атом модели Бэкуса?
(1) число
(2) идентификатор
(3) число или идентификатор
(4) число, идентификатор, специальный знак или кортеж
(5) число, идентификатор, специальный знак, неопределенность или пустой кортеж
Определите значение выражения 2*3 в модели Бэкуса.
(1) 6
(2) селектор 6
(3) композиция селекторов
(4) произведение чисел
(5) ошибочное выражение
Какое из утверждений является верным?
(1) аксиома алгебры программ утверждает равенство некоторых форм для некоторых функций, входящих в формы
(2) аксиома алгебры программ утверждает равенство значений для любых функций, входящих в формы, и любых объектов, к которым применяются эти формы
(3) аксиома алгебры программ утверждает равенство форм для любых функций, входящих в формы
Что такое матрица пар?
(1) кортеж из двух элементов, каждый из которых представляет одну из исходных матриц
(2) кортеж, каждый элемент которого представляет кортеж из элемента первой матрицы и элемента второй матрицы
(3) кортеж, каждый элемент которого представляет кортеж из двух элментов исходных матриц: кортежа строки первой матрицы и кортежа столбца второй матрицы
(4) кортеж результирующей матрицы, в котором ее элементы заменены кортежем из двух элементов: кортежа строки первой матрицы и кортежа столбца второй матрицы
(5) кортеж, каждый элемент которого представляет кортеж из двух элементов: элемент первой матрицы и кортеж второй матрицы
Что такое терм в определении Рефала?
(1) выражение в структурных или функциональных скобках
(2) последовательность символов
(3) символ, структурный или функциональный терм
(4) символ знака, или составной символ, или структурный терм, или функциональный терм
(5) произвольное рефал-выражение
(6) рефал-выражение без скобок, или в структурных скобках, или в функциональных скобках
Что такое спецификатор в определении Рефала-2?
(1) допустимые значения переменных
(2) последовательность символов
(3) последовательность термов
(4) цепочка элементов спецификатора, части которой, возможно, в круглых скобках
(5) последовательность обозначений множеств символов
(6) имя, объявленное директивой с ключевым словом S
Какое утверждение для функций ввода/вывода Рефала-2 является верным?
(1) все функции ввода/вывода возвращают непустое выражение
(2) функции вывода возвращают непустое выражение только в том случае, если выводимое выражение непусто
(3) функция prout всегда возвращает пустое выражение
(4) функция prout может возвращать непустое выражение
(5) функция print всегда возвращает непустое выражение
Что не является видом памяти Рефала-2?
(1) ящик
(2) поле памяти
(3) поле зрения
(4) поле директив
Укажите верное утверждение для Рефала-5.
(1) переменные начинаются с буквы s, w, v, e
(2) директива определения функции состоит из имени функции и последовательности рефал-предложений
(3) число представляет собой последовательность цифр со знаком или без него
(4) комментарии начинаются всегда со знака "*"
Что называется объектом Пролога?
(1) имя, число или переменная
(2) скалярное данное (имя, число, строка символов), переменная или структурное данное (список любых объектов)
(3) только скалярное данное (имя, число, строка символов)
(4) скалярное (имя, число, строка символов) или структурное (список скалярных объектов) данное
Что определяет вход в процедуру Пролога?
(1) правая часть правила
(2) атомарный предикат запроса
(3) формула Пролога
(4) заголовок правила, являющийся его левой частью
Укажите формальное определение атома Пролога?
(1) предикатная функция, аргументами которой являются другие предикатные функции
(2) предикатная функция без аргументов
(3) предикатная функция, аргументами которой являются высказывания
(4) предикатная функция, аргументами которой являются термы
Что соответствует определению подстановки НАМ?
(1) процесс замены части слова в строке данных
(2) пара непустых слов
(3) правило изменения строки данных
(4) строка символов, содержащая символы "→​"
(5) упорядоченная пара слов, у которой второе слово может быть пустым символом
(6) пара слов, каждое из которых может быть пустым
Что такое правило отсечения в Прологе?
(1) применение спецификаций, отсекающих бесконечные ветви дерева вычислений
(2) применение оператора отсечения, выполнение которого приводит к отмене всех предыдущих точек разветвления в дереве вычислений
(3) применение части правил, идущих до правила с оператором отсечения
(4) вычисление только тех атомов запроса, которые идут до оператора отсечения
Как определяется объект модели Бэкуса?
(1) число
(2) атом
(3) кортеж
(4) атом, кортеж или неопределенность
(5) аппликация
Определите значение выражения 1,2*3.
(1) 3,6
(2) ошибочное выражение
(3) конструкция из селектора 1 и композиции селекторов 2 и 3
(4) композиция конструкции из 1 и 2 селекторов и селектора 3
Для каких данных следующие 2 формы дадут одинаковый результат: (1,2)*3 и (1*3,2*3)?
(1) только для атомов
(2) только для кортежей, элементами которых явяляются кортежи
(3) для любых данных
(4) только для кортежей, у которых есть третий элемент и он явялется кортежом не менее, чем с двумя элементами
На какие 2 части разбивается алгоритм подготовки матрицы пар?
(1) расписывание каждой строки первой матрицы с каждым столбцом второй матрицы
(2) транспонирование второй матрицы и расписывание каждой строки первой матрицы с каждой строкой второй транспонированной матрицы
(3) транспонирование второй матрицы и расписывание каждой строки первой матрицы со всей транспонированной второй матрицей
Что такое рефал-выражение?
(1) некоторая последовательность знаков
(2) последовательность символов и скобок
(3) последовательность символов, выражений в структурных скобках и функциональных скобках, а также переменных
(4) последовательность символов, переменных, функциональных, структурных и символьных скобок, сбалансированная по скобкам каждого типа и в совокупности
(5) сбалансированная последовательность скобок одного из типов
Что такое элемент описания спецификатора в определении Рефала-2?
(1) цепочка символов в круглых скобках
(2) любой символ
(3) одно из обозначений S, B, W, F, N, R, O, L, D конечных множеств
(4) любой символ или одно из обозначений S, B, W, F, N, R, O, L, D конечных множеств
(5) некоторый терм
(6) допустимое значение переменной
Какое утверждение для арифметических функций Рефала-2 является верным?
(1) макроцифра это большая цифра
(2) макроцифра это символ-число
(3) аргумент арифметической функции не может быть пустым выражением
(4) арифметическая функция возвращает одну или две макроцифры
(5) функция деления div возвращает частное и остаток
Укажите верное утверждение для Рефала-2.
(1) при помощи копилки можно непосредственно организовать очередь
(2) при помощи статических ящиков можно организовать очередь
(3) при помощи динамических ящиков можно организовать любую динамическую структуру
(4) обменная функция заменяет содержимое копилки
Укажите верное утверждение для конструкции условия Рефала-5.
(1) условие может присутствовать в любом рефал-выражении
(2) в рефал-предложении может быть записано только одно условие
(3) условие может быть записано в любой части рефал-предложения
(4) все условия перечисляются через запятую в конце левой части рефалпредложения
Что называется термом Пролога?
(1) объект Пролога
(2) имя функции со списком объектов
(3) объект Пролога или имя функции со списком аргументов, являющимися термами, в круглых скобках
(4) составной терм из имени функции и списка аргументов в круглых скобках
Как ведется рассмотрение запроса?
(1) атомы рассматриваются в любом порядке
(2) переменные в разных атомах не зависят друг от друга
(3) атомы рассматриваются по очереди, заранее определенной, и переменные, имеющие в разных атомах одинаковое обозначение, должны получить одинаковую интерпретацию
(4) атомы рассматриваются по очереди, и если интерпретация одинаковых переменных разных атомов, противоречит друг другу, то берется интерпретация переменных последнего рассматриваемого атома
Что по определению является программой Пролога?
(1) множество фактов (правил без тела)
(2) множество правил с непустым телом
(3) множество правил вида B0 ↔ B1,...,Bm (m ≥ 0), где B0, B1,..,Bm – атомы и где тело правила может быть пустым (m = 0)
(4) множество функциональных термов
Что такое НАМ по определению?
(1) строка данных и множество подстановок
(2) строка данных и упорядоченное множество подстановок
(3) упорядоченное конечное множество подстановок
(4) множество подстановок
При каких стратегиях вычислений не идет передвижения сверху вниз по правилам программы?
(1) при стратегии "в ширину"
(2) при стратегии " в глубину и слева направо"
(3) при стратегии ""или"-параллельность"
(4) при стратегии ""и"-параллельность"
Что такое кортеж в модели Бэкуса?
(1) множество атомов
(2) упорядоченная последовательность объектов одинаковой структуры
(3) упорядоченное множество любых объектов
(4) упорядоченное множество любых объектов, исключая неопределенность
Определите значение выражения (2 * 2 →​ 4, 5).
(1) если дважды два равно 4, то 5
(2) ошибочное выражение
(3) если второй элемент второго элемента кортежа данных равен T, то возвращается четвертый элемент кортежа; а иначе возвращается пятый элемент
(4) если второй элемент второго элемента кортежа данных равен T, то к кортежу данных применяется селектор 4, а иначе – селектор 5
Для каких данных следующие 2 формы дадут одинаковый результат: A3*(1,2) и (3*1,3*2)?
(1) только для атомов
(2) только для кортежей, элементами которых являются кортежи
(3) для любых данных
(4) только для кортежей, у которых есть третий элемент и он является кортежом не менее, чем с двумя элементами
(5) только для кортежей, у которых первый и второй элементы являются кортежами не менее чем с тремя элементами
Сколько раз применяется форма композиции в алгоритме простого перемножения матриц?
(1) 1
(2) 2
(3) 3
(4) 4
(5) 5
Выражение '(k/aa/ (k/"bb"/..)'
(1) является рефал-выражением
(2) не является рефал-выражением, так как не сбалансированы структурные скобки
(3) не является рефал-выражением, так как функциональные и структурные скобки не сбалансированы в совокупности
(4) не является рефал-выражением, так как неверна символ-метка внутреннего функционального терма
(5) не является рефал-выражением, так как вызов второй функции не содержит аргумента
Выражение (RO)S
(1) не может быть спецификатором
(2) может быть спецификатором эквивалентным спецификатору NF
(3) может быть спецификатором, который разрешает значения символов-литер
(4) может быть спецификатором, который запрещает значения символов-литер
Какое утверждение для функций лексического анализа Рефала-2 является верным?
(1) макроцифра всегда входит в выражение аргумента
(2) макроцифра всегда входит в возвращаемое выражение
(3) либо макроцифра входит в выражение аргумента, либо она входит в возвращаемое значение
(4) макроцифра определяет длину выражения в символах
Какое утверждение для Рефала-2 является верным?
(1) все порожденные процессы обращаются к единому полю зрения
(2) результат вычисления, порожденного функцией apply, возвращается в текущее поле зрения
(3) после завершения вычисления, вызванного функцией apply, все поля зрения уничтожаются
(4) поля зрения образуют стек
Какое утверждение для Рефала-5 является чистым условием?
(1) условие, которое не содержит переменных, не встречающихся в предыдущей части рефал-предложения
(2) условие, переменные которого не входят в последующие условия рефалпредложения
(3) условие, не содержащее образцовой части
(4) условие, не содержащее результатной части
Что называется фактом Пролога?
(1) атомарный предикат
(2) атом, справа от которого стрелка влево
(3) тождественно истинный предикат относительно объектов программы
(4) предикат без переменных
Как ведется рассмотрение формул процедуры для атома?
(1) рассматривается одна из формул процедуры, которая имеет интерпретацию переменных для данного атома
(2) рассматриваются по очереди формулы процедуры, последующие за последней уже рассмотренной формулой процедуры для предыдущих атомов
(3) рассмотрение формул процедуры атома идет по очереди каждый раз с начала в одном и том же порядке независимо от уже рассмотренных атомов запроса
(4) если формула уже использована для интерпретации переменных какого-либо атома, то она более не рассматривается для следующих атомов
Как определяется подстановка Пролога?
(1) функция, действующая из множества переменных программы в множество термов без переменных
(2) функция, действующая из множества переменных программы в множество термов программы
(3) функция, определенная на множестве любых выражений программы и действующая в соответствующие выражения
(4) функция, определенная на множестве всех переменных программы, действующая на множество термов программы и продолженная на множество всех выражений программы
Что точно соответствует одному из последовательных действий на шаге работы НАМ?
(1) в строке данных ищется слово, которое входит в одну из подстановок
(2) среди подстановок ищутся те, слово которых входит в строку данных
(3) в строке данных ищутся все слова, которые входят в левую часть какой-либо подстановки
(4) в строке данных ищется самое первое слово, которое является частью одной из подстановок, и берется самая первая из них
(5) в последовательности подстановок ищется самая первая, левое слово которой входит в строку данных
(6) в последовательности подстановок, начиная с последней найденной подстановки на предыдущем шаге, ищется первая, левое слово которой входит в строку данных
(7) в строке данных заменяются все вхождения левых слов найденной подстановки на правые слова
(8) в строке данных ищется самое первое вхождение левого слова найденной подстановки и заменяется на правое слово
(9) в строке данных заменяются все вхождения другого слова найденной подстановки
(10) в строке данных заменяется самое левое слово найденных подстановок на соответствующее правое слово
В каком случае предикат nonvar(X) возвращает истинное значение?
(1) X является неконкретизированной переменной
(2) X не является неконкретизированной переменной
(3) X является термом
(4) X является целым числом
Что возвратит следующее применение функции к данным: +:< <2,-1>,-1> ?
(1) 0
(2) <0>
(3) <1,-1>
(4) <?>
Определите значение выражения =+ :< < 1, 2 > >.
(1) 3
(2) <3>
(3) <?>
(4) ошибочное выражение
(5) <1,2>
Для каких данных следующие 2 формы дадут одинаковый результат: /3*(1,2) и 3*(1,2)?
(1) только для атомов
(2) только для кортежей, элементами которых являются кортежи
(3) только для кортежей, у которых есть третий элемент и он является кортежом не менее, чем с двумя элементами
(4) для любых данных
(5) только для кортежей, у которых первый и второй элементы являются кортежами не менее чем с тремя элементами
Что является целью оптимизации в алгоритме перемножения матриц?
(1) минимизация числа вызываемых функций
(2) минимизация числа применяемых форм
(3) сокращение общего определения функции перемножения матриц
(4) минимизация используемой памяти
Из чего состоит описание рефал-функции по определению?
(1) из двух рефал-предложений
(2) из имени функции
(3) из символа-метки имени функции и произвольного числа рефал-предложений
(4) из директивы описания функции
(5) из директивы описания функции и произвольного числа рефал-предложений, ограниченных началом описания другой функции или директивой конца программы
Какое утверждение верно относительно директив Рефала-2?
(1) директива не может быть пустой
(2) директива обязана содержать ключевое слово
(3) директива обязана содержать идентификатор директивы
(4) директива, начинающаяся с пробела, не может содержать информацию
(5) директива может содержать только информацию или только ключевое слово
Вычисление выражения k/print/ k/ftochar/ k/chartof/ k/card/....
(1) выведет введенную с клавиатуры цепочку символов
(2) выведет результат выполнения функции, имя которой введено с клавиатуры
(3) зарегистрирует имя функции, введенной с клавиатуры, и выведет это имя
Какое утверждение для Рефала-2 является верным?
(1) копилка представляет собой стек в поле зрения
(2) копилка представляет собой множество стеков для запоминания выражений
(3) копилка представляет собой множество стеков, в каждом из которых можно запомнить только значение выражения
(4) функция br возвращает добавленное в копилку значение
Что называется образцовым окончанием Рефала-5?
(1) окончание образца
(2) окончание рефал-предложения, начинающееся с образца условия
(3) окончание образцовой части рефал-предложения
(4) образцовый блок
Что называется правилом Пролога?
(1) два предиката, разделенные стрелкой влево
(2) продукция, посылкой которой явяляется предикат, а заключение пусто
(3) продукция с пустой посылкой и атомарным предикатом в качестве заключения
(4) продукция с конъюнкцией атомарных предикатов в качестве посылки и атомарным предикатом в качестве заключения
Каким образом изменяется запрос при вычислениях?
(1) после интерпретации переменных какого-либо атома запроса значения переменных подставляются в этот атом
(2) после интерпретации переменных всех атомов запроса значения переменных подставляются в запрос
(3) после очередной интерпретации переменных заголовка формулы какоголибо атома запроса полученная интерпретация переменных подставляется в тело процедуры, и полученные в результате этого атомы (может пустое выражение) заменяют прежний атомы, составляя новый запрос
(4) после интерпретации переменных всех атомов запроса каждый атом заменяется на тело процедуры с найденной интерпретацией переменных
Как определяется унификатор выражений?
(1) подстановка, для которой попарно все выражения тождественны
(2) подстановка, для которой все выражения тождественны
(3) подстановка для двух выражений, при которой они оказываются тождественными
(4) два тождественно равных частных случая
Чем определяется применимость НАМ к входным данным?
(1) через конечное число замен строка данных становится пустой
(2) через конечное число замен строка данных возвращается к исходной строке
(3) ни одна из подстановок не подходит
(4) через конечное непустое число замен нет ни одной подходящей подстановки
(5) ни одна из последующих подстановок после последней примененной уже не подходит
(6) в процессе выполнения НАМ ни одна из подстановок не подходит
(7) изменения строки данных начинают повторяться
(8) строка данных перестает изменяться
Какие выражения не являются встроенными предикатами?
(1) plus(X, Y,Z)
(2) true
(3) times (X, Y, Z)
(4) false
Что возвратит следующее применение функции к данным: gt:< <2,-1>,<-1,0> > ?
(1) T
(2) F
(3) <T,T>
(4) <?>
Определите значение выражения A+ :< < 1, 2 >; 3 >.
(1) ошибочное выражение
(2) 6
(3) <6>
(4) <3, 3>
Для каких данных следующие 2 формы дадут одинаковый результат: (3*1,4*2)*(2,1) и (3*2,4*1)?
(1) только для атомов
(2) только для кортежей, элементами которых являются кортежи
(3) только для кортежей, у которых есть третий элемент и он является кортежом не менее, чем с двумя элементами
(4) только для кортежей, у которых первый и второй элементы являются кортежами не менее чем с тремя элементами
(5) для любых данных
Из каких частей слагается алгоритм произведения строки первой матрицы на вторую?
(1) расписывание строки первой матрицы с каждым столбцом второй матрицы
(2) транспонирование второй матрицы и расписывание строки первой матрицы с каждой строкой второй транспонированной матрицы
(3) транспонирование второй матрицы и расписывание строки первой матрицы со всей транспонированной второй матрицей
(4) расписывание строки первой матрицы с каждой строкой второй транспонированной матрицы и скалярное произведение каждой получившейся пары строк
Что не является рефал-предложением?
(1) <рефал-выражение>=<рефал-выражение>
(2) =<рефал-выражение>=<рефал-выражение>
(3) <рефал-выражение без переменных>=<рефал-выражение>
Какая из директив Рефала-2 содержит только ключевое слово?
(1) директива конца программного модуля
(2) директива рефал-предложения
(3) директива объявления входов программного модуля
(4) директива объявления имени спецификатора
Вычисление выражения Рефала-2

k/pr/k/symb/k/dr/ (k/m1/k/m1/k/m1/...) k/p1/k/p1/.....

выведет
(1) –'1'('1')
(2) –'1'('2')
(3) '1'–('2')
(4) '1'–('1')
(5) –'1'–('1')
(6) –'1'–('2')
Какое утверждение для Рефала-2 является верным?
(1) каждой обменной функции соответствует свой ящик
(2) каждому ящику соответствует своя обменная функция
(3) обменная память не может уничтожаться до окончания работы программы
(4) имя обменной функции совпадает с именем ящика в его определении директивой SWAP
Что называется результатным окончанием Рефала-5?
(1) результатное выражение рефал-предложения
(2) окончание рефал-предложения, начинающееся с результатного выражения условия
(3) окончание рефал-предложения
(4) выражение, стоящее после образцового окончания
Что называется запросом Пролога?
(1) атомарный предикат, слева от которого стрелка влево
(2) конъюнкция предикатов
(3) один атом или конъюнкция атомов со стрелкой влево, расположенной слева
(4) правило с пустым заголовком, без переменных в теле правила
Что происходит, если вычисление запроса на каком-либо шаге заканчивается неуспешно?
(1) если нет интерпретации для очередной формулы очередной процедуры, то происходит переход к выбору следующей формулы
(2) при отсутствии следующей формулы вычисления запроса заканчиваются неуспешно
(3) при отсутствии следующей фомулы происходит переход к выбору следующей формулы для первого атома запроса
(4) при отсутствии предыдущего атома запроса вычисления запроса заканчиваются неуспешно
Что называется интерпретацией программы?
(1) множество значений переменных программы, при которых все правила программы и запрос являются истинными
(2) множество всех наборов переменных программы, при которых все правила программы и запрос являются истинными
(3) множество НОУ, применение которых превращает программу в множество фактов
(4) множество фактов программы – атомов без переменных
Что не может быть результатом работы НАМ?
(1) пустая строка символов
(2) непустая строка символов
(3) правая часть последней примененной подстановки
(4) левая часть одной из подстановок
(5) правая часть одной из подстановок
Где употребляется точка с запятой и что она означает?
(1) в правилах программы разделяет варианты тела правила
(2) в запросах означает дизъюнкцию атомов
(3) в выражениях означает объединение выражений
(4) в правилах означает дизъюнкцию атомов заголовка
Что возвратит следующее применение функции к данным: distr:< <2,-1,0>,<-1,0,2> > ?
(1) < <2,-1>,<-1,0>,<0,2> >
(2) <?>
(3) < <2,<-1,0,2> >, <-1,<-1,0,2> > >
(4) < <2,-1,0,2>, <0,-1,0,2> >
Определите значение выражения (while 2 1) :< F, T, F >.
(1) T
(2) F
(3) <F>
(4) <?>
(5) ошибочное выражение
Для каких данных следующие 2 формы дадут одинаковый результат: A(1*2) и A1*A2?
(1) только для атомов
(2) только для кортежей, элементами которых являются кортежи
(3) для любых данных
(4) только для кортежей, у которых есть третий элемент и он является кортежем не менее, чем с двумя элементами
(5) только для кортежей, у которых первый и второй элементы являются кортежами не менее чем с тремя элементами
Из каких частей состоит оптимизированное произведение первой матрицы на вторую после ее транспонирования?
(1) цикл выделения строки первой матрицы и умножение ее на вторую матрицу
(2) рекурсивное выделение хвоста первой матрицы, умножение первой строки этого хвоста на вторую матрицу и соеединение результата с предшествующими в рекурсивном процессе
(3) соединение умножения первой строки первой матрицы на вторую матрицу с рекурсивным обращением к той же функции умножения для хвоста первой матрицы на вторую матрицу
Что является ошибкой в следующем рефал-предложении? WWSASB=Ww. 'SB' ' 'Sa
(1) между переменными в левой части нет пробелов
(2) неверное имя переменной WW
(3) в правой части есть переменные Ww и Sa, которых нет в левой части
(4) переменная SB левой части неправильно записана в виде цепочки символов в правой части
(5) правая часть рефал-предложения не является рефал-выражением
(6) переменная SB не используется в правой части рефал-предложения
Какие утверждения верны относительно входов программного модуля в Рефале-2?
(1) вход может быть только 1
(2) программный модуль может не иметь входов
(3) входами должны быть объявлены все имена функций, описанных в модуле, которые можно использовать в других модулях
(4) входами должны быть объявлены все имена функций, описанных в модуле, которые используются в этом модуле
(5) допускается только одна директива ENTRY для описания входов
Вычисление выражения Рефала-2

k/pr/ k/symb/ k/lengr/ k/last/ /7/k/multe/ /3/(k/ftochar/ /A1/.) 'B2'.....

выведет
(1) 7
(2) 5
(3) 13
(4) 19
(5) 4
Что возвратит в поле зрения вычисление выражения

k/swr//x/ k/ptr//x/ k/wtr//x/ '5'...?

(1) '55'
(2) пустое выражение
(3) '5'
Что называется результатным блоком Рефала-5?
(1) последовательность любых результатных окончаний, заключенных в фигурные скобки
(2) последовательность результатных окончаний, заключенных в фигурные скобки и относящихся к одному образцу
(3) блок, определяющий результат вычисления
Что может быть ответом на запрос Пролога?
(1) только "Да" или "Нет"
(2) только интерпретация значений переменных запроса, если они есть
(3) "Нет" или интерпретация значений переменных запроса, если они есть
(4) только "Да" или интерпретация значений пременных
Что такое дерево атома запроса?
(1) корневое дерево вложенности предикатов в данный атом
(2) дерево вычисления для этого атома
(3) корневое дерево с упорядоченными на каждом уровне узлами, отражающее структуру всех данных этого атомарного предиката
(4) корневое дерево связей с другими атомами запроса
Что называется ответом на запрос интерпретации?
(1) кортеж термов в результате подстановки переменных, при которой все атомы запроса истинны в этой интерпретации
(2) ответ "Да", "Нет" или множество значений переменных, при которых запрос становится истинным в этой интерпретации
(3) множество значений переменных, при которых запрос становится истинным
Как определяется отношение выводимости запросов Q1 и Q2?
(1) существует подстановка, превращающая все атомы запроса Q1 в атомы запроса Q2
(2) Q1 и Q2 различаются лишь одним атомом запроса, который в Q2 получается некоторой подстановкой из соответствующего атома из Q1
(3) Q1 и Q2 различаются лишь одним атомом запроса, который в Q2 получается НОУ из соответствующего атома из Q1
Что не всегда является словом НАМ?
(1) последовательность непустых символов
(2) последовательность символов, включая пустой символ
(3) последовательность непустых символов или пустой символ
(4) пустой символ
(5) множество любых символов
Что не определяет стратегия вычислений Пролога?
(1) применение оператора отсечения
(2) применение спецификаций
(3) порядок обхода дерева вычислений
(4) порядок выполнения атомов запроса
(5) порядок применения правил программы
(6) применение универсальных фактов
Что может не являться атомом модели Бэкуса?
(1) число
(2) идентификатор
(3) неопределенность
(4) пустой кортеж
Определите значение выражения <2>*<3>.
(1) кортеж <2,3>.
(2) третья компонента второго элемента кортежа данных
(3) ошибочное выражение
(4) произведение второй строки матрицы на третьий столбец матрицы
(5) вторая компонента третьего элемента кортежа данных
Какое из утверждений является неверным?
(1) значениями алгебры программ являются функции
(2) операциями алгебры программ являются формы
(3) аксиомы алгебры программ позволяют упростить некоторую форму за счет эквивалентных преобразований
На какие 2 функции разбивается функция простого перемножения матриц?
(1) подготовка второй матрицы и скалярное произведение пар
(2) подготовка матрицы пар и скалярное произведение для каждой пары
(3) транспонирование второй матрицы и образование матрицы пар
Что не может быть термом Рефала?
(1) выражение в функциональных скобках
(2) последовательность символов
(3) символ
(4) составной символ
(5) произвольное рефал-предложение
(6) рефал-выражение в структурных скобках
Что не может быть спецификатором Рефала-2?
(1) последовательность символов в двойных круглых скобках
(2) последовательность термов
(3) цепочка элементов спецификатора, части которой, возможно, в круглых скобках
(4) последовательность обозначений множеств символов
(5) имя, объявленное директивой с ключевым словом S
Какое утверждение для функций ввода/вывода Рефала-2 является неверным?
(1) функция card может возвратить пустое выражение
(2) функции вывода возвращают пустое выражение только в том случае, если выводимое выражение пусто
(3) функция prout всегда возвращает пустое выражение
(4) функция print может возвратить пустое выражение
Что не является видом памяти Рефала-2?
(1) копилка
(2) поле памяти
(3) поле первичных функций
(4) поле зрения
Укажите неверное утверждение для Рефала-5.
(1) входом в программу всегда является функция GO
(2) внешние функции задаются директивой EXTERN
(3) конструкция директив отсутствует
(4) каждое рефал-предложение заканчивается точкой с запятой
Что не является объектом Пролога?
(1) конкатенация списков
(2) числовая переменная
(3) список переменных
(4) пустой список
(5) функция
Что является входом в процедуру Пролога?
(1) один из атомов запроса
(2) заголовок каждого правила, образующих процедуру
(3) объединение правых частей правил процедуры
(4) объединение правых частей формул процедуры
Что является атомом Пролога?
(1) предикатная функция без аргументов
(2) предикатная функция, аргументами которой являются высказывания
(3) составной терм без переменных
(4) предикатная функция, аргументами которой являются переменные
(5) предикатная функция, аргументами которой являются константные объекты Пролога
Что всегда является подстановкой НАМ?
(1) упорядоченная пара непустых слов
(2) упорядоченная пара слов
(3) строка символов, содержащая 1 символ "→​"
(4) упорядоченная пара слов, у которой второе слово может быть пустым символом
(5) пара слов, одно из которых может быть пустым
С чем не связан backtracking?
(1) возврат к последней точке разветвления
(2) отмена всех результатов вычислений после точки разветвления
(3) тупик вычислений, при котором очередное правило программы не допускает интерпретации переменных
(4) возврат к корню дерева вычислений
Что не может являться объектом модели Бэкуса?
(1) число
(2) атом
(3) кортеж
(4) атом, кортеж или неопределенность
(5) аппликация
Определите значение выражения <1,2*3>.
(1) <3,6>
(2) кортеж конструкция из селектора 1 и композиции селекторов 2 и 3
(3) кортеж композиции конструкции из 1 и 2 селекторов и селектора 3
(4) ошибочное выражение
Для каких данных следующие 2 формы дадут одинаковый результат: (1,2)*3 и 3*(1,2)?
(1) ни для каких
(2) только для некоторых атомов
(3) только для кортежей, которые имеют не менее трех элементов, являющихся кортежами с одинаковыми элементами
(4) для любых атомов
На какие 2 части разбивается расписывание каждой строки первой матрицы с каждой строкой второй транспонированной матрицы?
(1) сначала для всей первой матрицы расписывается каждая строка второй транспонированной матрицы, а затем каждая полученная пары расписывается по строкам первой матрицы в сочетании со строкой второй транспонированной матрицы
(2) сначала каждая строка первой матрицы расписывается со всей второй матрицей, а затем в каждой такой паре строка первой матрицы расписывается с каждой строкой второй транспонированной матрицы
(3) сначала для каждого элемента первой матрицы расписывается вторая транспонированная матрица, а затем для каждой такой пары элемент первой матрицы расписывается с каждым элементом второй матрицы
Что не может быть рефал-выражением?
(1) последовательность из любого числа термов
(2) некоторая последовательность знаков
(3) последовательность символов, переменных, функциональных, структурных и символьных скобок, сбалансированная по скобкам каждого типа и в совокупности
(4) последовательность символов, выражений в структурных скобках и функциональных скобках, а также переменных
(5) сбалансированная последовательность скобок одного из типов
(6) последовательность символов и скобок
Что не может быть элементом описания спецификатора Рефала-2?
(1) цепочка символов в символьных скобках
(2) любой символ
(3) одно из обозначений S, B, W, F, N, R, O, L, D конечных множеств
(4) любой символ или одно из обозначений S, B, W, F, N, R, O, L, D конечных множеств
(5) некоторый терм
(6) допустимое значение переменной
Какое утверждение для арифметических функций Рефала-2 является неверным?
(1) макроцифра это символ-число с возможно предшествующим ему символом '–'
(2) арифметическая функция может не иметь явных аргументов
(3) пустое выражение вместо макроцифры воспринимается как нуль
(4) функция деления div возвращает частное и остаток
(5) у функции с двумя аргументами первый из них заключается в структурные скобки
Укажите неверное утверждение для Рефала-2.
(1) при помощи копилки можно непосредственно организовать стек
(2) при помощи статических ящиков можно организовать очередь
(3) при помощи динамических ящиков можно организовать любую динамическую структуру
(4) обменная функция меняет содержимое ящика и поля зрения
(5) обращение к любому статическому и динамическому ящику организуется при помощи символа связанного с ящиком
Укажите неверное утверждение для конструкции условия Рефала-5.
(1) левая часть рефал-предложения, предшествующая условию называется образцом
(2) условие состоит из результатного выражения и образца, разделенных двоеточием
(3) условие не может содержать переменные
(4) значение результатного выражения условия, в которое подставлены значения переменных образца рефал-предложения, сопоставляется с образцом условия
(5) вычисление условий идет справа налево
(6) при вычислении следующего условия используются значения переменных, полученных при интерпретации предыдущих частей левой части рефал-предложения
(7) правая часть рефал-предложения называется результатным выражением
Что не является термом Пролога?
(1) объект Пролога
(2) имя функции со списком объектов
(3) составной терм из имени функции и другой функции в круглых скобках
(4) атом
(5) список атомов
(6) конкатенация составных термов
В каком случае интерпретация переменных рассмотренных атомов запроса годится при рассмотрении следующего атома?
(1) существует какая-либо интерпретация переменных рассматриваемого атома запроса
(2) для каждой переменной рассматриваемого атома существует интерпретация всех переменных этого атома, которая по значению данной переменной совпадает со значением этой переменной в интерпретации переменных уже рассмотренных атомов
(3) всегда годится
(4) существует интерпретация переменных данного атома, которая по всем леременным уже рассмотренных атомов совпадает по всем общим переменным
Что по определению является запросом Пролога?
(1) множество высказываний вида ↔ Ci (i ∈ 1,r), где Ci – атомы
(2) высказывание вида ↔ C1,..,Cr (r > 0), где C_i (i ∈ 1,r) – атомы
(3) высказывание вида ↔ C, где C – атом
(4) высказывание вида ↔ C1,..,Cr (r ≥ 0), где Ci (i ∈ 1,r) – атомы
Что не может быть НАМ?
(1) строка данных и множество подстановок
(2) упорядоченное конечное множество подстановок
(3) множество подстановок
(4) данные подстановок
При каких стратегиях вычислений не идет передвижение слева направо по атомам запроса?
(1) при стратегии "в ширину"
(2) при стратегии " в глубину и слева направо"
(3) при стратегии ""или"-параллельность"
(4) при стратегии ""и"-параллельность"
Что не является кортежем в модели Бэкуса?
(1) множество атомов
(2) упорядоченная последовательность объектов одинаковой структуры
(3) упорядоченное множество любых объектов
(4) упорядоченное множество любых объектов, исключая неопределенность
Определите значение выражения (2 * 2 →​ 4, 5).
(1) если дважды два равно 4, то 5
(2) ошибочное выражение
(3) если второй элемент второго элемента кортежа данных равен T, то возвращается четвертый элемент кортежа; а иначе возвращается пятый элемент
(4) если второй элемент второго элемента кортежа данных равен T, то к кортежу данных применяется селектор 4, а иначе – селектор 5
Для каких данных следующие 2 формы дадут одинаковый результат: A(1,2)*3 и (A3*1,A3*2)?
(1) ни для каких
(2) только для некоторых атомов
(3) только для кортежей, которые имеют не менее трех элементов, являющихся кортежами с одинаковыми элементами
(4) для любых атомов
Сколько раз применяется форма общей аппликации в алгоритме простого перемножения матриц?
(1) 1
(2) 2
(3) 3
(4) 4
(5) 5
Выражение (k/aa/ (k/"bb"/.).)
(1) является рефал-выражением
(2) не является рефал-выражением, так как не сбалансированы структурные скобки
(3) не является рефал-выражением, так как функциональные и структурные скобки не сбалансированы в совокупности
(4) не является рефал-выражением, так как неверна символ-метка внутреннего функционального терма
(5) не является рефал-выражением, так как вызов второй функции не содержит аргумента
Выражение ((S)N)S
(1) не может быть спецификатором
(2) может быть спецификатором, который ограничивает значение переменной любыми символами кроме символов-чисел
(3) может быть спецификатором, который ограничивает значение переменной любыми символами-числами
Какое утверждение для функций лексического анализа Рефала-2 является неверным?
(1) для отщепляемой части выражения функций first или last в аргументе длина, указываемая макроцифрой в аргументе, дается в числе симолов
(2) если длина отщепляемой части функций first или last недостаточна, то возвращаемому выражению предшествует символ '*'
(3) если макроцифра в аргументе функции multe пустая, то возвращается пустое выражение
Какое утверждение для Рефала-2 является неверным?
(1) функция apply порождает процесс с новым полем зрения
(2) процесс, порожденный функцией apply, может быть прерван новым выполнением функции apply
(3) завершение порожденного процесса может наступить только в том случае, когда завершатся все вызванные им порожденные процессы
(4) после завершения вычисления, вызванного функцией apply, все поля зрения уничтожаются
Какое утверждение для Рефала-5 не является чистым присваиванием?
(1) условие, образцовую часть которого составляют только переменные условия
(2) условие, результатная часть которого всегда имеет интерпретацию
(3) условие, результатная часть которого содержит переменные,которым и присваиваются значения
(4) условие, результатная часть которого всегда верна, а образцовую часть составляют толко переменные, которым присваиваются значения
Что является фактом Пролога?
(1) атомарный предикат без переменных
(2) атомарный предикат, справа от которого стоит стрелка влево
(3) множество атомарных предикатов
(4) атомарный предикат, слева от которого стоит стрелка вправо
В каком случае интерпретация переменных рассмотренных формул процедуры годится при рассмотрении следующей формулы?
(1) существует ровно одна интерпретация переменных этой формулы
(2) интепретация предыдущих формул процедуры не влияет на интерпретацию этой формулы
(3) переменные предыдущих формул процедуры совпадают с переменными этой формулы
(4) всегда годится
Что такое по определению частный случай выражения?
(1) результат применения одной из возможных подстановок к выражению
(2) результат применения всех возможных подстановок к выражению
(3) результат применения к выражению одной из подстановок, отличающийся от выражения только обозначением переменных
(4) результат применения к выражению всех подстановок, отличающийся от выражения только обозначением переменных
Какое действие может выполняться на шаге работы НАМ?
(1) в строке данных ищется самое левое слово, которое входит в одну из подстановок, и берется первая из них
(2) среди подстановок ищется та, слово которой входит в строку данных
(3) в строке данных ищутся все слова, которые входят в левую часть какой-либо подстановки
(4) в строке данных ищется самое первое слово, которое является частью одной из подстановок, и берется самая первая из них
(5) в последовательности подстановок, начиная с последней найденной подстановки на предыдущем шаге, ищется первая левое слово которой входит в строку данных
(6) в строке данных заменяются все вхождения левых слов найденной подстановки на правые слова
(7) в строке данных одно из вхождений левого слова найденной подстановки заменяется на правое слово этой подстановки
(8) в строке данных заменяются все вхождения другого слова найденной подстановки
В каком случае предикат var(X) возвращает истинное значение?
(1) X является термом
(2) X является целым числом
(3) X является неконкретизированной переменной
(4) X не является неконкретизированной переменной
Что возвратит следующее применение функции к данным: x :< <2,-1>,-1> ?
(1) 2
(2) <?>
(3) <2>
(4) <-2,-1>
Определите значение выражения =+ :< < 1, 2 >; < 3; 4 > >.
(1) ошибочное выражение
(2) <3,7>
(3) < <3>,<7> >
(4) < <4,6> >
(5) <?>
(6) <4,6>
Для каких данных следующие 2 формы дадут одинаковый результат: /(1,2)*3 и (/1*3,/2*3)?
(1) ни для каких
(2) только для некоторых атомов
(3) для любых атомов
(4) только для кортежей, которые имеют не менее трех элементов, являющихся кортежами с одинаковыми элементами
Что остается неизменным при оптимизации алгоритма перемножения матриц?
(1) транспонирование второй матрицы
(2) скалярные произведения пар
(3) подготовка матрицы пар
Что не может входить в описание рефал-функции?
(1) 2 рефал-предложения
(2) имя функции
(3) функциональные скобки
(4) символ-метка имени функции
(5) директива описания функции, вслед за которой идет директива конца программы
(6) произвольное число рефал-предложений, ограниченных началом описания другой функции или директивой конца программы
Какое утверждение неверно относительно директив Рефала-2?
(1) директива может быть пустой
(2) директива может не содержать ключевое слово
(3) директива может содержать только идентификатор директивы
(4) директива, начинающаяся с пробела, может содержать только информацию
(5) директива может содержать идентификатор, информацию и ключевое слово
Вычисление выражения k/print/ k/functab/ k/chartof/ k/card/....
(1) выведет введенную с клавиатуры цепочку символов
(2) выведет пустое выражение
(3) зарегистрирует имя функции, введенной с клавиатуры, и выведет это имя
Какое утверждение для Рефала-2 является неверным?
(1) содержимое копилки пусто перед началом выполнения рефал-программы
(2) в копилке можно запоминать любые рефал-выражения
(3) стек копилки определяется именем, под которым идет запоминание информации
(4) функция br возвращает добавленное в копилку значение
Какое утверждение для Рефала-5 является неверным?
(1) образцовое окончание, заключенное в фигурные скобки, называется образцовым блоком
(2) тело функции является образцовым блоком
(3) образцовое окончание может быть телом функции
(4) образцовое окончание есть окончание образцовой части рефал-предложения
Какое утверждение относительно правил Пролога является неверным?
(1) факт это правило с пустой правой частью
(2) заголовок представляет собой левую часть правила
(3) совокупность всех правил с одним и тем же телом является процедурой Пролога
(4) база знаний включает правила
В каком случае в результате шага вычислений запрос не изменяется?
(1) интерпретация переменных очередного атома запроса не изменяет эти переменные
(2) отсутствует интерпретация переменных очередного атома запроса
(3) получен пустой запрос
Как определяется наиболее общий унификатор выражений?
(1) применение любого другого унификатора к этим выражениям является частным случаем этих выражений
(2) такой унификатор двух атомов, что применение любого другого унификатора для этих атомов является частным случаем применения НОУ к ним
(3) любой другой унификатор является частным случаем НОУ
(4) универсальная подстановка для любых выражений
В каком случае НАМ не применим к входным данным?
(1) подходящими оказываются более одной подстановки.
(2) через конечное число замен строка данных становится пустой
(3) через конечное число замен строка данных возвращается к исходной строке
(4) подстановки в левых своих частях не содержат символов строки данных.
(5) через конечное непустое число замен нет ни одной подходящей подстановки
(6) ни одна из последующих подстановок после последней примененной уже не подходит
(7) ни одна из подстановок не подходит
(8) изменения строки данных начинают повторяться
(9) строка данных перестает изменяться
Какие выражения не являются встроенными предикатами?
(1) read (X)
(2) fail
(3) true
(4) times(X, Y, Z)
Что возвратит следующее применение функции к данным: 3:< <2,-1,0>,<-1,0,2> > ?
(1) 0
(2) 2
(3) <2>
(4) <0>
(5) <?>
Определите значение выражения A+ :< < 1, 2 >; < 3; 4 > >.
(1) 10
(2) <3,7>
(3) ошибочное выражение
(4) <4,6>
(5) < <3>,<7> >
Для каких данных следующие 2 формы дадут одинаковый результат: (3*1,4*2)*(2,1) и (2,1)*(3*1,4*2)?
(1) ни для каких
(2) только для некоторых атомов
(3) для любых атомов
(4) только для кортежей, которые имеют не менее четырех элементов, являющихся кортежами с одинаковыми четырьмя элементами
Сколько форм композиции используется в произведении строки первой матрицы на вторую?
(1) 1
(2) 2
(3) 3
(4) 4
(5) 5
Что является рефал-предложением?
(1) VW=Ww
(2) WVVW='+'VW'–'WV""
(3) V'W'WV=WV'–'V
(4) SWVS=SV WS
(5) SV=SVSVSV"'
Какая из директив не содержит идентификатора директивы?
(1) директива описания функции
(2) директива объявления имени спецификатора
(3) директива рефал-предложения
(4) директива конца программного модуля
Вычисление выражения Рефала-2

k/pr/k/symb/k/mul/(k/sub/ () k/p1/k/p1/...) k/p1/k/p1/.....

выведет
(1) 4
(2) –4
(3) '4'
(4) –'4'
Какое утверждение для Рефала-2 является неверным?
(1) для статических ящиков обменная функция определяется именем ящика
(2) динамический ящик порождается первичной функцией new
(3) любую первичную функцию работы с динамическими ящиками можно заменить на использование обменных функций для этих ящиков
(4) для обращения к динамическому ящику необходимо указывать символссылку на него
(5) символ-ссылку на динамический ящик можно запомнить и использовать ее
(6) некоторые ящики могут уничтожаться во время работы программы
Какое утверждение для Рефала-5 является неверным?
(1) результатное окончание определяется не только для условия рефал-предложения
(2) результатное окончание следует за образцом
(3) результатным окончанием является совокупность всех результатных выражений
Какое утверждение относительно запроса Пролога является неверным?
(1) атомарный предикат, слева от которого стрелка влево
(2) конъюнкция предикатов
(3) один атом или конъюнкция атомов со стрелкой влево, расположенной слева
(4) правило с пустым заголовком, без переменных в теле правила
(5) правило с пустым телом
Что происходит, если в результате вычислений получен пустой запрос?
(1) результатом вычисления является полученная интерпретация переменных запроса, и вычисления на этом заканчиваются
(2) находится один из ответов в результате полученной интерпретации переменных запроса и происходит продолжение вычислений с выбора следующей формулы в предыдущей точке выбора формулы
(3) если предыдущей точки выбора следующей формулы уже нет, то вычисления закончены и последний ответ конструируется из значений переменных запроса, полученных в результате последней интерпретации переменных
Что называется моделью программы?
(1) структура фактов и правил программы
(2) структура правил и фактов программы с точностью до обозначения переменных
(3) интерпретация I программы, если для любого правила B0 ↔ B1,...,Bm и любой подстановки Θ, где ΘB0 – атом без переменных из ΘB1,...,ΘBm ⊆ I следует, что ΘB0 ∈ I
(4) пересечение всех интерпретаций программы
В каком случае результат работы НАМ совпадает с входной строкой?
(1) входная строка содержит одну из подстановок
(2) есть подстановка с пустой левой частью
(3) изменения строки данных начинают повторяться
(4) для любого шага работы НАМ есть подходящая подстановка
Где употребляется конструкция not и что она означает?
(1) в выражениях означает отрицание логической переменной
(2) в заголовке правила означает отрицание значения предиката заголовка
(3) перед запросом означает поиск интерпретаций переменных, прпи которых запрос и правила программы не являются истинными
(4) перед предикатом запроса или тела правила означает отрицание значения предиката
Что возвратит следующее применение функции к данным: appendr:< <2,-1,0>,<-1,0,2> > ?
(1) <2,-1,0,-1,0,2>
(2) < <2,-1,0,-1,0,2> >
(3) <?>
(4) < <2,-1,0,-1>, <2,-1,0,0>, <2,-1,0,2> >
Определите значение выражения (while 2 1) :< < T, F >; T, F >.
(1) <?>
(2) ошибочное выражение
(3) <T,F>
(4) F
(5) T
Для каких данных следующие 2 формы дадут одинаковый результат: A3*A4 и A4*A3?
(1) ни для каких
(2) только для некоторых атомов
(3) для любых атомов
(4) только для кортежей, которые имеют не менее четырех элементов, являющихся кортежами с одинаковыми четырьмя элементами
На сколько случаев разбивается доказательство эквивалентности простого умножения первой матрицы на вторую после ее транспонирования?
(1) на 3 случая: первая матрица состоит из 1 строки, вторая матрица состоит из одной строки и общий случай
(2) на 2 случая: первая матрица пуста и общий случай
(3) нет разбиения на случаи, – сразу рассматривается общий случай
Что является ошибкой в следующем рефал-предложении? WWWWWW=Ww 'WW' ' 'Sa
(1) имя переменной в левой части рефал-предложения трижды повторяется
(2) переменной Ww нет в левой части
(3) в правой части есть переменная Sa, которой нет в левой части
(4) переменная WW левой части неправильно записана в виде цепочки символов в правой части
(5) правая часть рефал-предложения не является рефал-выражением
(6) пробелы в правой части рефал-предложения
Какие утверждения не верны относительно внешних имен программного модуля в Рефале-2?
(1) все внешние функции должны быть объявлены в одной директиве EXTRN
(2) программный модуль может не иметь внешних имен
(3) внешними именами могут быть функции, описанные в самом модуле
(4) все внешние имена должны быть описаны в других модулях
(5) допускается несколько директив EXTRN в одном модуле
Вычисление выражения Рефала-2

k/pr/ k/symb/ k/lengr/ k/last/ /7/k/multe/ /3/(k/ftochar/ /A/.) 'BC'.....

выведет
(1) 8
(2) 4
(3) 15
(4) 11
(5) 13
Что возвратит в поле зрения вычисление выражения

k/swr//x/ k/ptr//x/ k/rdr/ k/wtr//x/ '5'....?

(1) '55'
(2) пустое выражение
(3) '5'
Какое утверждение для Рефала-5 является неверным?
(1) последовательность всех результатных окончаний рефал-предложения называется результатным блоком
(2) результатные окончания различных условий не могут входить в один результатный блок
(3) все результатные окончания блока должны иметь один образец
Что является верным в отношении ответа на запрос?
(1) запрос без переменных может иметь ответом либо "Да" либо "Нет"
(2) запрос с переменными не может иметь ответом "Нет"
(3) ответом на запрос без переменных может быть интерпретация переменных, входящих в правила и факты
Что такое дерево заголовка процедуры?
(1) дерево заголовков всех формул процедуры
(2) корневое дерево вложенности заголовков процедуры
(3) корневое дерево вычисления процедуры
(4) корневое дерево с упорядоченными на каждом уровне узлами, отражающее структуру всех данных заголовка процедуры
Что называется правильным ответом?
(1) ответ "Нет"
(2) ответ "Да"
(3) ответ основной модели
(4) ответ модели пересечений всех интерпретаций
Что представляет собой пространство вычислений программы?
(1) множество всевозможных запросов с отношением выводимости
(2) дерево вычислений запроса
(3) лес вычислений запросов
(4) цепочка вычислений, в которой 2 рядом стоящих запроса связаны отношением выводимости
Что всегда является словом НАМ?
(1) последовательность символов
(2) последовательность непустых символов, заканчивающаяся пустым символом
(3) пустой символ, за которым идет последовательность непустых символов
(4) последовательность непустых символов или пустой символ
(5) пустой символ
(6) множество любых символов
Что не предотвращает зацикливания при вычислениях Пролога?
(1) применение операторов отсечений
(2) применение спецификаций
(3) применение "стратегии в ширину"
(4) применение стратегии в глубину и слева направо
(5) применение стратегии "и"-параллельности
Что может являться атомом модели Бэкуса?
(1) непустой кортеж
(2) неопределенность
(3) специальный знак
(4) объект модели
Определите значение выражения <2*3>.
(1) <6>
(2) кортеж композиции второго элемента у третьего элемента кортежа данных
(3) композиция второго и третьего элементов кортежа данных
(4) кортеж композиции третьего элемента у второго элемента кортежа данных
(5) ошибочное выражение
Какое из утверждений явяляется верным?
(1) если 2 формы для любых объектов дают неопределенность, то эти формы эквивалентны
(2) если 2 формы для любых объектов дают неопределенность, то равенство этих форм есть аксиома
(3) введение аксиом в алгебру программ позволяет проводить формальные доказательства корректности любых программ модели Бэкуса
(4) 2 формы эквивалентны, если для любых объектов они определены и дают одинаковые значения
(5) алгебра программ является коммутативной
Как образуется скалярное произведение пар?
(1) цикл по строкам и столбцам скалярного произведения каждой пары
(2) цикл по строкам первой матрицы умножения каждой ее строки на каждый столбец второй матрицы
(3) общая аппликация скалярных произведений каждой пары для матрицы пар
(4) двойная общая аппликация скалярных произведений каждой пары матрицы пар
Что может быть термом Рефала?
(1) выражение, содержащее несколько пар скобок
(2) последовательность структурных символов
(3) составной символ
(4) произвольное рефал-предложение
(5) выражение из двух символов
Что может быть спецификатором Рефала-2?
(1) пустой терм в структурных скобках
(2) функциональный терм
(3) множество двоичных цифр
(4) имя, объявленное директивой с ключевым словом S
Какое утверждение для функций ввода/вывода Рефала-2 является верным?
(1) все эти функции возвращают выражение, которое вводят или выводят
(2) функция card может возвратить пустое выражение
(3) функция print всегда выводит непустое выражение
(4) функция prout может возвратить непустое выражение
Что является видом памяти Рефала-2?
(1) поле директив
(2) поле первичных функций
(3) поле зрения
(4) спецификация
Укажите верное утверждение для Рефала-5.
(1) входы задаются директивой ENTRY
(2) комментарий задается только после "//"
(3) между первой буквой переменной и ее индексом не должно быть точки
(4) рефал-предложения в определении функции заключаются в фигурные скобки
Что является объектом Пролога?
(1) имя переменной
(2) массив строк символов
(3) конкатенация двух пустых списков
(4) список составных термов
Что не является входом в процедуру Пролога?
(1) общий заголовок формул, образующих процедуру Пролога
(2) левая часть факта или правила процедуры Пролога
(3) объединение атомов запроса
(4) левая часть каждой формулы процедуры Пролога
Что не является атомом Пролога?
(1) предикатная функция, аргументами которой являются переменные
(2) предикатная функция, аргументами которой являются константные объекты Пролога
(3) предикатная функция, аргументом которой является составной функциональный терм
(4) предикатная функция без аргументов
(5) предикатная функция от трех переменных
Что может быть подстановкой НАМ?
(1) упорядоченная пара слов
(2) строка символов, содержащая несколько символов "→​"
(3) упорядоченная пара слов, у которой первое слово может быть пустым символом
(4) пара слов, одно из которых может быть пустым
С чем не связано применение спецификаций?
(1) преодоление бесконечных ветвей дерева вычислений
(2) преодоление большого перебора
(3) подсказки интерпретатора программиста о порядке обхода дерева вычислений
(4) подсказки интерпретатору о порядке применения правил программы
(5) подсказки интерпретатору о порядке выделения атомов запроса
Что может являться объектом модели Бэкуса?
(1) аппликация
(2) функция
(3) неопределенность
(4) результат операции
Определите значение выражения (1,2*3).
(1) ошибочное выражение
(2) конструкция из селектора 1 и композиции селекторов 2 и 3
(3) (3,6)
(4) (1,6)
Для каких данных следующие 2 формы не дадут одинакового результата: 1*(1,1) и (1,1)*1?
(1) для любых атомов
(2) для кортежей, у которых первый элемент является кортежем с двумя элементами, не являющимися кортежами
(3) ни для каких
При помощи какой формы передаются данные последующей части алгоритма после транспонирования второй матрицы?
(1) композиция первой и второй матриц
(2) общая аппликация исходных матриц
(3) конструкция селектора выделения первой матрицы и композиции транспонирования с селектором выделения второй матрицы
Что может быть рефал-выражением?
(1) последовательность рефал-предложений
(2) составные скобки с пустым выражением
(3) функциональные скобки с пустым выражением
(4) структурные скобки с пустым выражением
(5) сбалансированная последовательность скобок одного из типов
(6) последовательность символов без скобок
Что может быть элементом описания спецификатора Рефала-2?
(1) число
(2) идентификатор
(3) функциональный терм
(4) пустое выражение
(5) множество всех термов
(6) допустимое значение переменной
Какое утверждение для арифметических функций Рефала-2 является верным?
(1) знак частного функции dr определяется знаком делимого
(2) знак частного функции dr определяется знаком делителя
(3) знак остатка функции dr определяется знаком делимого
(4) знак остатка функции dr определяется знаком делителя
Укажите верное утверждение для Рефала-2.
(1) обращение к любому статическому и динамическому ящику организуется при помощи символа связанного с ящиком
(2) обменная функция заменяет содержимое копилки
(3) при помощи статических ящиков можно организовать очередь
(4) при помощи копилки можно непосредственно организовать очередь
Укажите верное утверждение для конструкции условия Рефала-5.
(1) в случае, когда для очередного условия не найдется интерпретации его образца, вычисление рефал-предложения заканчиваются неуспехом и происходит переход к анализу следующего рефал-предложения
(2) в случае неуспеха вычисления условия происходит поиск другой интерпретации при вычислении всех предыдущих условий и образцовой части, предшествующей условиям
(3) результатное выражение условия может содержать переменные, не содержащиеся в предыдущих условиях и образцовой части, предшествующей условиям
(4) интерпретация переменных рефал-предложения может производиться в произвольном порядке
Что является термом Пролога?
(1) конкатенация составных термов
(2) составной терм из имени функции и другой функции в круглых скобках
(3) запрос
(4) факт
В каком случае интерпретация переменных рассмотренных атомов запроса не годится при рассмотрении следующего атома?
(1) если в интерпретации переменных уже рассмотренных атомов есть переменная, отличная от переменных рассматриваемого атома
(2) если для переменных уже рассмотренных атомов есть более одной интерпретации
(3) если есть более одной интерпретации рассматриваемого атома, которая по общим переменным с уже рассмотренными атомами совпадает с их интерпретацией
(4) если нет ни одной интерпретации рассматриваемого атома, совпадающей по какой-либо общей переменной с интерпретацией переменных уже рассмотренных атомов
Какие атомы могут употребляться в запросе?
(1) любые
(2) только те, которые участвуют в телах правил программы
(3) только те, которые участвуют в заголовках правил программы
(4) только те, которые употребляются в программе
Что может быть НАМ?
(1) 1 подстановка
(2) неограниченное множество подстановок
(3) множество подстановок с пустыми правыми частями
(4) строка данных и множество подстановок
(5) строка данных и упорядоченное множество подстановок
При каких стратегиях вычислений идет поиск правила для выделенного атома запроса?
(1) при стратегии "в ширину"
(2) при стратегии " в глубину и слева направо"
(3) при стратегии ""или"-параллельность"
(4) при стратегии ""и"-параллельность"
Что является кортежем в модели Бэкуса?
(1) множество атомов
(2) упорядоченная последовательность объектов одинаковой структуры
(3) неопределенность
(4) функция
(5) результат операции
Определите значение выражения ((2 * 2 →​ 4, 5) →​ 5; 7).
(1) ошибочное выражение
(2) если дважды два равно 4, то 7, а иначе 5
(3) если второй элемент второго элемента кортежа равен T, а пятый элемент кортежа не равен T, то возвращается седьмой элемент кортежа, а иначе возвращается пятый элемент кортежа
(4) если второй элемент второго элемента кортежа равен T, а пятый элемент кортежа равен F, то к кортежу данных применяется селектор 7; если же пятый элемент кортежа равен T также, как и второй элемент второго элемента кортежа, то возвращается T
Для каких данных следующие 2 формы не дадут одинакового результата: A1*(1,1) и A(1,1)*1?
(1) для любых атомов
(2) для любых кортежей
(3) ни для каких
(4) для кортежей, у которых первый элемент является кортежем с двумя элементами, не являющимися кортежами
Сколько раз применяется форма конструкции в алгоритме простого перемножения матриц?
(1) 1
(2) 2
(3) 3
(4) 4
(5) 5
Выражение (k/aa/ (k/bb/..))
(1) является рефал-выражением
(2) не является рефал-выражением, так как не сбалансированы структурные скобки
(3) не является рефал-выражением, так как функциональные и структурные скобки не сбалансированы в совокупности
(4) не является рефал-выражением, так как неверна символ-метка внутреннего функционального терма
(5) не является рефал-выражением, так как вызов второй функции не содержит аргумента
Выражение (O)()D()
(1) не может быть спецификатором
(2) может быть спецификатором, который разрешает значения цифр и запрещает значения прописных букв
(3) может быть спецификатором, который разрешает значения любых термов, кроме прописных букв
Какое утверждение для функций лексического анализа Рефала-2 является верным?
(1) функции lengw и lengr возвращают длину выражения аргумента в термах
(2) функции lengw и lengr возвращают длину выражения аргумента в символах
(3) функция lengw возвращает длину выражения аргумента в термах
(4) функция lengw возвращает длину выражения аргумента в символах
(5) длина выражения аргумента в термах и длина этого выражения в символах всегда совпадают
Какое утверждение для Рефала-2 является верным?
(1) процессы, порождаемые функциями apply, вызывают одну и ту же функцию
(2) процесс, порождаемый функцией apply, вызывает функцию, являющуюся аргументом функции apply
(3) все порожденные процессы завершаются одновременно
(4) процесс, порожденный функцией apply, не может быть прерван другим процессом до его полного завершения
Какое утверждение для Рефала-5 является условным присваиванием?
(1) условие, образцовую часть которого составляют только переменные условия
(2) условие, результатная часть которого всегда имеет интерпретацию переменных
(3) условие, результатная часть которого всегда верна, а образцовую часть составляют толко переменные, которым присваиваются значения
(4) условие, результатная часть которого не всегда имеет интерпретацию переменных
Что не является фактом Пролога?
(1) универсальный факт с предикатом, содержащим переменные
(2) атомарный предикат, справа от которого стоит стрелка влево
(3) тождественно истинный предикат относительно объектов программы
(4) атомарный предикат без переменных
(5) правило с пустой правой частью
В каком случае интерпретация переменных рассмотренных формул процедуры не годится при рассмотрении следующей формулы?
(1) не годится, если нет общих переменных
(2) существует ровно одна интерпретация переменных этой формулы
(3) интепретация переменных предыдущих формул процедуры не влияет на интерпретацию переменных этой формулы
(4) переменные предыдущих формул процедуры не совпадают с переменными этой формулы
Что такое по определению вариант выражения?
(1) выражение, отличающееся от исходного только обозначением переменных
(2) один из частных случаев выражения
(3) частный случай выражения, отличающийся от выражения только обозначением переменных
Какое действие не может выполняться на шаге работы НАМ?
(1) среди подстановок ищется та, слово которой входит в строку данных
(2) в строке данных ищутся все слова, которые входят в левую часть какойлибо подстановки
(3) в строке данных заменяются все вхождения левых слов найденной подстановки на правые слова
(4) в строке данных одно из вхождений левого слова найденной подстановки заменяется на правое слово этой подстановки
(5) в строке данных заменяется одно из вхождений первого слова найденной подстановки
(6) в строке данных заменяется самое левое слово одной из найденных подстановок на соответствующее правое слово
К чему приводит выполнение запроса ↔ consult(X)?
(1) удаляет из программы все правила из файла X
(2) заменяет все правила до данного на правила из файла X
(3) добавляет правила из файла X в конец программы
(4) запрашивает ввод файла X
Что возвратит следующее применение функции к данным: ÷ :< <3,-2>,-1> ?
(1) 1
(2) 0
(3) <?>
(4) <1>
(5) <-1,-1>
(1) Определите значение выражения =+ :< < 1, 2 >, 3 >.
(2) <?>
(3) ошибочное выражение
(4) <4,5>
(5) < <4,5> >
Для каких данных следующие 2 формы не дадут одинакового результата: /1*(1,1) и /(1,1)*1?
(1) для любых атомов
(2) для любых кортежей
(3) ни для каких
(4) для кортежей, у которых первый элемент является кортежем с двумя элементами, не являющимися кортежами
В чем основная идея оптимизации алгоритма перемножения матриц?
(1) пошаговое транспонирование с постепенным обменом строк и столбцов, при котором используется повторно память для обменных операций
(2) пошаговое скалярное произведение, при котором используется повторно память для накопления суммы произведений
(3) перемножение одной строки первой матрицы на всю вторую матрицу, при котором используется повторно память для такого произведения при этой операции для других строк
Что может входить в описание рефал-функции?
(1) рефал-предложение с переменными в правой части из предыдущего рефал предложения
(2) символ-метка имени функции
(3) директива описания функции, вслед за которой идет директива конца программы
(4) директива описания функции, ограниченная другой директивой описания функции
Какое утверждение верно относительно директив Рефала-2?
(1) комментарий есть директива, содержащая только информацию
(2) в директиве рефал-предложения может быть ключевое слово
(3) только одна из трех частей директивы может отсутствовать
(4) директива, не содержащая ключевого слова, должна содержать идентификатор
Вычисление выражения k/functab/ k/chartof/ k/ftochar/ /f2008/...
(1) выведет введенную с клавиатуры цепочку символов
(2) выведет результат выполнения функции, имя которой введено с клавиатуры
(3) зарегистрирует имя функции, введенной с клавиатуры, и выведет это имя
(4) выведет введенную с клавиатуры цепочку символов
(5) выведет пустое выражение
(6) зарегистрирует имя функции f2008
Какое утверждение для Рефала-2 является верным?
(1) любая первичная функция копилки работает только с тем стеком копилки, который указан аргументом
(2) первичная функция копилки может возвратить содержимое всех стеков копилки
(3) любая первичная функция копилки возвращает то выражение, которое оно либо помещает в копилку, либо извлекает из нее
(4) выражение записываемое в копилку не может совпадать с именем стека, в который записывается выражение
Какое утверждение для Рефала-5 является верным?
(1) тело функции является образцовым блоком
(2) образцовое окончание есть окончание образцовой части рефал-предложения
(3) образцовое окончание не может быть телом функции
(4) множество образцов, заключенных в фигурные скобки, называется образцовым блоком
Какое утверждение относительно правила Пролога является верным?
(1) стрелка, разделяющая заголовок и тело правила, идет влево от заголовка к телу
(2) тело правила должно быть конъюнкцией не менее двух атомарных предикатов
(3) каждый из предикатов, входящих в правило, может содержать другие предикаты
(4) могут быть переменные тела правила, не содержащиеся в заголовке правила
(5) только факты образуют базу знаний
Что происходит при отсутствии интерпретации переменных очередного атома запроса?
(1) делается попытка найти итерпретацию переменных следующего атома запроса
(2) неудачный атом запроса отбрасывается
(3) происходит переход к предыдущей точке выбора формулы для процедуры предыдущего атома запроса
В каком случае не существует НОУ выражений?
(1) ни в каком — всегда существует
(2) не существует ни одного унификатора для выражений
(3) существует неограниченное множество унификаторов выражений
В каком случае НАМ применим к входным данным?
(1) строка данных перестает изменяться
(2) через конечное число замен строка данных становится пустой
(3) через конечное число замен строка данных возвращается к исходной строке
(4) через конечное непустое число замен нет ни одной подходящей подстановки
(5) через любое конечное множество замен для строки данных все еще имеется подходящая подстановка.
(6) ни одна из последующих подстановок после последней примененной уже не подходит
(7) ни одна из подстановок не подходит
(8) изменения строки данных начинают повторяться
Какие выражения не являются встроенными предикатами?
(1) fail
(2) true
(3) plus(X, Y, Z)
(4) mult(X, Y, Z)
Что возвратит следующее применение функции к данным: t2:< <2,-1,0>,<-1,0,2> > ?
(1) <?>
(2) <0>
(3) <0,2>
(4) <>
(5) 2
Определите значение выражения A+ :< < 1, 2 > >.
(1) 3
(2) <?>
(3) ошибочное выражение
(4) <3>
(5) <1,2>
Для каких данных следующие 2 формы не дадут одинакового результата: (1*1,1*1)*(1,1) и (1,1)*(1*1,1*1)?
(1) для любых атомов
(2) для любых кортежей
(3) ни для каких
(4) для кортежей, у которых первый элемент является кортежем с двумя элементами, не являющимися кортежами
Сколько форм общей аппликации используется в произведении строки первой матрицы на вторую?
(1) 1
(2) 2
(3) 3
(4) 4
(5) 5
Что не является рефал-предложением?
(1) VW=Vw/1/VW
(2) WVVW='+'VW'–'WV""
(3) VS'W'WV=WV'–'VS
(4) SVWS=SV WS
(5) SV=SVSVSVVS
Какая из директив не должна содержать информацию директивы?
(1) директива описания функции
(2) директива объявления имени спецификатора
(3) директива конца программного модуля
(4) директива объявления внешних функций
Вычисление выражения Рефала-2

k/pr/ k/last/ /5/k/multe/ /5/k/ftochar/ /add/....

выведет
(1) addaddaddaddadd
(2) ddadd
(3) add*
(4) *add
Какое утверждение для Рефала-2 является верным?
(1) символ-ссылка на динамический ящик возвращается после его создания и может быть использована в других функциях
(2) статический ящик можно сделать динамическим, если связать его имя с некоторой ссылкой
(3) динамический ящик можно сделать статическим, если связать его ссылку с некоторым именем
(4) нельзя вместо первичной функции работы с динамическим ящиком использовать обменную функцию для него
Какое утверждение для Рефала-5 является верным?
(1) результатное окончание определяется только для условия рефал-предложения
(2) результатным окончанием является совокупность всех результатных
(3) результатное окончание следует за образцом
(4) результатное окончание может совпадать собразцовым окончанием
Какое утвверждени относительно запроса Пролога является верным?
(1) переменные каждого атома запроса должны быть одинаковыми
(2) запрос может быть разделен на несколько запросов
(3) если запрос не имеет переменных, то он должен быть истинным совместно с истинностью всех фактов и правил базы знаний
(4) истинность конъюнкции предикатов запроса следует из истинности фактов и правил
(5) обозначение переменных запроса несущественно и не зависит от обозначения переменных фактов и правил
Что происходит, если в результате вычислений не получен пустой запрос?
(1) вычисления заканчиваются с ответом "Нет"
(2) вычисления должны быть продолжены со следующей формулы в предыдущей точке выбора формулы, если она есть
(3) если предыдущей точки выбора следующей формулы уже нет, то вычисления закончены и последний ответ конструируется из начений переменных запроса, полученных в результате последней интерпретации переменных
Что называется основной моделью программы?
(1) структура фактов и правил программы с точностью до обозначения переменных
(2) пересечение всех интерпретаций программы
(3) пересечение всех моделей программы
В каком случае результат работы НАМ не совпадает с входной строкой?
(1) входная строка пустая
(2) НАМ применим к непустой входной строке
(3) ни одна из подстановок не подходит для входной строки
(4) для любого шага работы НАМ есть подходящая подстановка
Что делает и что возвращает запрос ↔ read(x)?
(1) читает из файла X правила программы
(2) читает из файла X запрос
(3) читает из входного потока терм и возвращает результат сравнеия с X
(4) заменяет правили программы с номером X на правило, считанное из входного потока
Что возвратит следующее применение функции к данным: long:< <2,-1,0>,<-1,0,2> > ?
(1) 2
(2) 3
(3) 6
(4) <?>
Определите значение выражения (while eq * (+2, 3), 1) :< < 1, 2 >; < -1, 4 > >.
(1) <3,3>
(2) <?>
(3) <1,2>
(4) ошибочное выражение
(5) <0,6>
Для каких данных следующие 2 формы не дадут одинакового результата: A(+*1) и A(1*+)?
(1) для любых атомов
(2) для любых кортежей
(3) для кортежей, у которых первые 2 элемента являются кортежами, каждый из которых в свою очередь имеет первый элемент-кортеж с двумя числовыми элементами
(4) ни для каких
Какие аксиомы используются при доказательстве эквивалентности простого умножения первой матрицы на вторую после ее транспонирования?
(1) все аксиомы
(2) аксиома 6
(3) аксиомы 5 и 6
(4) аксиома 5
Что является ошибкой в следующем рефал-предложении? EEvvEE=Ee 'EE' VV
(1) имя переменной в левой части рефал-предложения дважды повторяется
(2) переменной Ee нет в левой части
(3) в правой части есть переменная VV, которой нет в левой части
(4) переменная EE левой части неправильно записана в виде цепочки символов в правой части
(5) правая часть рефал-предложения не является рефал-выражением
(6) пробелы в правой части рефал-предложения, которых нет в левой части
Какие утверждения верны относительно директив рефалпредложений в Рефале-2?
(1) ключевое слово R директивы можно опускать
(2) несколько рефал-предложений могут быть описаны в одной директиве
(3) ключевое слово L директивы можно опускать
(4) в последней директиве описания рефал-функции левая и правая части должны быть пустыми
(5) не допускаются рефал-предложения в директиве с пустой левой частью
Вычисление выражения Рефала-2

k/pr/ k/symb/ k/lengw/ k/first/ /7/k/multe/ /3/(k/ftochar/ /A/.) 'BC'.....

выведет
(1) 9
(2) 7
(3) 4
(4) 13
(5) 11
Что возвратит в поле зрения вычисление выражения

k/ptr//x/ k/rdr/ k/wtr//x/ '5'....?

(1) '55'
(2) пустое выражение
(3) '5'
Какое утверждение для Рефала-5 является верным?
(1) разные образцы могут иметь один результатный блок
(2) результатный блок всегда следует за образцовым блоком
(3) результатом вычисления результатного блока может быть новое условие
Что является неверным в отношении ответа на запрос?
(1) запрос с переменными не может иметь ответом "Да"
(2) может быть несколько ответов на запрос
(3) среди ответов на запрос могут быть ответы "Да" и "Нет"
(4) среди ответов на запрос могут быть разные интерпретации переменных
В чем состоит процесс отождествления деревьев атома запроса и заголовка процедуры?
(1) оба дерева должны быть изоморфны как 2 графа
(2) корневые деревья должны быть изоморфны и идет сопоставление висячих вершин в одном и том же порядке
(3) висячие вершины сопоставляются слева направо
(4) висячие вершины сопоставляются справа налево
В каких случаях ответом является "Да" или "Нет"?
(1) множество всех правильных ответов пусто
(2) любые интерпретации переменных противоречат друг другу
(3) запрос не содержит переменных
(4) запрос не содержит атомов
Как графически представляется пространство вычислений программы?
(1) множеством всевозможных запросов с отношением выводимости
(2) деревом вычислений запроса
(3) лесом вычислений запросов
(4) цепочкой вычислений, в которой 2 рядом стоящих запроса связаны отношением выводимости
При каких стратегиях вычислений идет попытка вычисления всех (или нескольких) атомов для выделенного правила программы?
(1) при стратегии "в ширину"
(2) при стратегии " в глубину и слева направо"
(3) при стратегии ""или"-параллельность"
(4) при стратегии ""и"-параллельность"
Как связаны ответ и правильный ответ?
(1) никак
(2) частный случай любого ответа, не содержащий переменных, есть правильный ответ
(3) любой правильный ответ может быть получен из некоторого ответа, не являющегося правильным
(4) любой правильный ответ есть ответ
(5) некоторые из правильных ответов не являются ответами
(6) множество ответов является подмножеством всех правльных ответов