Обозначим через push и pop команды добавленияэлемента в стек и извлечения элемента из стека.Рассмотрим фрагмент программы на псевдокоде:

    push x;    push y;    pop x;    pop y;

Что происходит с переменными x и y в результатеего выполнения?

Рассмотрим следующий фрагмент программы:

утверждение: A(x)цикл пока B(x)| инвариант: A(x)| x := T(x)конец цикла

Здесь через A(x) и B(x)обозначены условия, зависящие от переменной x.Какое условие выполняется по окончании цикла?

Пусть описан тип R2Vector, представляющий векторна плоскости с вещественными координатами,

    typedef struct {        double x;        double y;    } R2Vector;

также описаны три переменныеu, v и w типа вектори вещественная переменная s:

    R2Vector u, v, w;    double s;

при этом переменная u содержат конкретный векторединичной длины, а вектор v получается изu вращением на 30 градусов по часовойстрелке. Указать, чему будет приблизительно равнозначение вещественной переменной s в результатевыполнения следующего фрагмента программы:

    w.x = (-u.y); w.y = u.x;    s = v.x * w.x + v.y * w.y;

Пусть описан тип R2Vector, представляющий векторна плоскости с вещественными координатами:

    typedef struct {        double x;        double y;    } R2Vector;

также описаны три переменные u, v иw типа вектор и вещественная переменная s:

    R2Vector u, v, w;    double s;

при этом известно, что переменные u и vсодержат два конкретныхвектора единичной длины.Пусть в результате выполнения следующего фрагмента программызначение переменной s приблизительно равно 0.7071,т.е. корню из двух, деленному пополам:

    w.x = (-u.y); w.y = u.x;    s = v.x * w.x + v.y * w.y;    // s == 0.7071

На какой угол надо повернуть вектор u,чтобы получить вектор v?

Рассмотрим следующий фрагмент программы, вычисляющейчастное q и остаток r от деленияцелых чисел a, b:

  дано: целые числа a >= 0, b > 0  цел q, r, e, m;  q := 0; r := a; e := 1; m := b  цикл пока r >= b  | если 2*m <= r  | | то e := e*2; m := m*2;  | иначе если m > r  | | то e := e/2; m := m/2;  | иначе  | | утверждение: m <= r  и  r < 2*m  | | q := q + e; r := r - m;  | конец если  конец цикла  // q и r -- частное и остаток от деления a на b

Какое условие является инвариантом цикла?

Пусть описан тип R2Vector, представляющий векторна плоскости с вещественными координатами:

    typedef struct {        double x;        double y;    } R2Vector;

также описаны три переменные u, v и wтипа вектор и вещественная переменная s:

    R2Vector u, v, w;    double s;

при этом переменная u содержат конкретный векторединичной длины. Указать, чему будетприблизительно равно значение переменной s врезультате выполнения следующего фрагмента программы:

    v.x = (-u.y);    v.y = u.x;    w.x = u.x + v.x;    w.y = u.y + v.y;    s = sqrt(w.x * w.x + w.y * w.y);

(функция sqrt извлекает квадратный корень из вещественногочисла).

Следующий фрагмент программы вычисляет сумму четырехпоследних элементов последовательности p:

    вещ последовательность p;    вещ x, y, z, t;    . . .    x := 0.0; y := 0.0; z := 0.0; t := 0.0;    встать в начало последовательности p;    цикл пока есть непрочитанные элементы в посл-ти p    | x := y; y := z; z := t;    | прочесть очередной элемент посл-ти p в (вых: t);    конец цикла    ответ := x + y + z + t;

В нем используются четыре вспомогательные переменныеx, y, z, t. Можно ли упроститьпрограмму, использовав меньшее количество вспомогательныхпеременных? (Последовательность разрешается читать только один раз.)

Пусть A = A(x) —некоторое условие, зависящее только отзначения переменной x.Указать, чему может быть равно значение переменной yв результате выполнения следующего фрагмента программы:

x := 1;y := 1;цикл пока A(x)| . . .| если y < 0| | то| |   x := 2;| |   y := 10;| | иначе| |   x := 1;| |   y := 20;| конец есликонец цикла

Прототип функции, которая ищет вхождение строкиs2 в строку s1,выглядит следующим образом:

    int find(char *s1, char *s2);

функция возвращает смещение подстрокиs2 относительно начала строки s1в случае успеха или (-1) в случае неудачи.Можно ли воспользоваться функцией find в приведенном нижефрагменте программы(будут ли выданы сообщения об ошибках или предупрежденияпри компиляции этого фрагмента)?

    void f(char s[1024], const char p[64]) {        int pos = find(s, p);        . . .    }

Пусть a — целочисленный массив размера n(индекс элементов меняется от 0 до n-1),элементы которого строго возрастают:a[0] < a[1] <... < a[n-1].Определить, содержит ли следующий фрагмент программы ошибку(т.е. действительно ли тело цикла сохраняет инвариант):

// Программа Поискдано: цел n;      цел a[n]; // a[0] < a[1] < ... < a[n-1]цел x;          // искомый элементцел b, e, c;. . .           // рассматриваются исключительные случаиутверждение: a[0] < x  и  x <= a[n-1];  // общий случайb := 0; e := n - 1;цикл пока e - b > 1| инвариант: a[b] < x  и  x <= a[e];| c := (b + e) / 2; // c -- целая часть (b+e)/2| если x < a[c]| | то    e := c;   // выбираем левую половину отрезка| | иначе b := c;   // выбираем правую половину отрезка| конец есликонец циклаутверждение: b == e - 1  и             a[b] < x  и  x <= a[e];

Какое утверждение является инвариантом для следующегофрагмента программы (т.е. из справедливости утверждениядо выполнения фрагмента программы вытекает справедливость утвержденияпосле выполнения)? Предполагается, что n не меньше k.Восклицательным знаком обозначается операция вычисления факториала.

цел n, k, c;. . .c := c * (n + 1);c := c/(n + 1 - k);n := n + 1;