После выполнения шага 1 на столе лежит яблоко, которое достали из корзины первым, а вторая корзина пуста. После каждого выполнения шага 2 большее яблоко перемещается в корзину, а меньшее остается на столе. В результате на столе окажется самое маленькое яблоко.
При обосновании корректности циклических алгоритмов полезно использовать понятие инварианта цикла. В случае приведенного алгоритма инвариантом цикла является такое условие «лежащее на столе яблоко — самое маленькое из всех взятых до сих пор». В начале алгоритма условие очевидно выполняется (любое яблоко удовлетворяет этому условию). Условие остается истинным на каждом шаге в соответствии с приведенными правилами. Таким образом, в конце алгоритма, когда все яблоки взяты, получим самое маленькое яблоко из всех.
1. Вкладки --- H. переключение между ними осуществляется щелчком мыши по их названию, на них размещаются элементы управления
2. Текстовые поля --- E. служит для ввода последовательности символов
3. Списки --- F. представляет собой набор значений и выглядит как текстовое поле, снабженное кнопкой с направленной вниз стрелкой
4. Переключатели --- C. служат для выбора одного из взаимоисключающих вариантов
5. Флажки --- G. обеспечивают присваивание какому-либо параметру определенного значения и могут располагаться как группами, так и поодиночке
6. Счетчики --- A. представляет собой пару стрелок, которые позволяют увеличивать или значение в связном с ним поле
7. Ползунки --- D. позволяет плавно изменять значение какого-либо параметра
8. Командные кнопки --- B. щелчок по ним обеспечивает выполнение того или иного действия, а надпись на них поясняет назначение