Выберите тест, которому удовлетворяет функция Subst.
Укажите тест, на котором функция Pairlis (см. лекцию 3) исчерпает два первые аргумента.
Укажите тест, на котором функция Pairlis (см. лекцию 3) может завершиться аварийно из-за неподходящей структуры данных.
На каких данных расход памяти (число cons) при вычислении функции subst (подстановка первого аргумента вместо второго в третий) равен длине последнего из аргументов?
На каких данных расход памяти (число cons) при вычислении функции subst (подстановка первого аргумента вместо второго в третий) превосходит длину последнего из аргументов?
На каких данных расход памяти (число вызовов cons) при вычислении функции subst (подстановка первого аргумента вместо второго в третий) пропорционален длине последнего из аргументов?
Выберите спецификацию, которой заведомо не соответствует тест ((a 1)( b 2)( 3 4)).
Выберите спецификацию, которой может соответствовать данный тест (a 1 b 2 3 4).
Отметьте спецификации, которым соответствует функция Subst.
Выберите тест, соответствующий спецификации List (Atom) => List (Number).