Пусть регистр EBX содержит адрес массива целых чисел, регистр ECX — количество элементов массива. Указать, что будет содержать регистр EAX в результате выполнения следующего фрагмента кода на Ассемблере "Masm" для процессора Intel 80x86: mov ESI, 0 ; ESI := 0 mov EDI, -2147483648 ; EDI := минус бесконечность L1: ; метка начала цикла cmp ESI, ECX ; сравнить ESI с ECX jge L2 ; переход, если больше или равно mov EDX, [EBX] ; EDX := число с адресом EBX cmp EDX, EDI ; сравнить EDX с EDI jle L3 ; переход, если меньше или равно mov EDI, EDX mov EAX, ESI ; EAX := ESI L3: ; add EBX, 4 ; EBX := EBX+4 inc ESI ; увеличить ESI jmp L1 ; переход на метку L1 L2: ; метка конца цикла

Правильный ответ:

• # Что вычисляет следующий фрагмент программы? вещ последовательность p; вещ a, s; цел n; логическое b; . . . s := минус бесконечность; n := 0; b := ложь; встать в начало последовательности p; цикл пока есть непрочитанные элементы в посл-ти p | прочесть очередной элемент посл-ти p в (вых: a); | если a >= s | | то | | если не b или a == s | | | то | | | n := n + 1; | | конец если | | b := истина; | | s := a; | иначе | | b := ложь; | конец если конец цикла ответ := n;
• # Пусть 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];
• # Помещается ли число 80000 в переменную типа short в 32-разрядной архитектуре?
• # Чему равно значение выражения ((40 & 27) >> 2)?
• # Указать, чему будет равно значение переменной n в результате выполнения следующего фрагмента программы: int n = 1000; while (n > 100) { n /= 2; }