Цикл з післяумовою

У шкільній алгоритмічній мові аналогу для циклу з післяумовою немає, але його досить просто організувати використовуючи інші конструкції алгоритмічної мови. Як вже згадувалось, Дейкстрою доведено, що довільну програму можна написати використовуючи лише три конструкції: лінійні команди присвоєння, команду розгалуження та оператор циклу з передумовою.

Даний цикл з точки зору машинної логіки розуміється так: спочатку виконуються команди, що стоять в тілі циклу, а лише потім перевіряється умова закінчення циклу. Якщо умова виконалась, то цикл закінчується, а якщо ні, то цикл починається спочатку. В умовах поставленої нами задачі в приведеній вище програмі розуміється наступне: спочатку до змінної Sum додати значення змінної і, збільшувати параметр і на 1, якщо і стало більше 100, то цикл на цьому закінчити.

Звертаємо увагу, що в циклах з післяумовою, як і в циклах з передумовою значення змінної–параметра (в нашому випадку і) автоматично не змінюється. Тобто знову ж таки, як нам потрібно змінювати параметр – змінну, що відповідає за умову закінчення циклу, ми повинні вказувати самостійно у самому циклі. Як і у випадку циклу з передумовою, якщо ми забудемо змінювати цю змінну в тілі циклу, то такий цикл буде виконуватись “вічно”, якщо у кінці циклу змінна не відповідала умові закінчення циклу.

Отже, по кількості виконань, цикл з післяумовою:

n завжди виконується хоча б один раз;

n може виконуватись скінчену кількість разів;

n може бути “вічним”.

Параметр циклу ми можемо збільшувати або зменшувати на яку завгодно величину, тобто параметр циклу може бути як цілим так і дробовим числом, або взагалі відноситись до інших типів змінних – логічних, символьних і т.д.

Пояснимо логіку «машинного мислення» при виконанні циклу з передумовою на прикладі нашої задачі. До початку організації циклу ми присвоюємо значення 0 шуканій сумі і крім того задаємо значення параметра циклу – змінній і(що в загальному випадку не є обов’язковим). Цикл починається з значення параметру рівного 1, ПЕОМ виконує операцію циклу Sum := Sum +1, в результаті якої значення Sum = 1, збільшує значення параметра і на 1, і стає рівним 2 і лише тепер виконується перевірка умови завершення циклу, чи 1>100, отримується результат “ні” і оскільки умова закінчення циклу не виконалась, то цикл виконується ще раз. Виконується операція циклу Sum := Sum + 2, в результаті якої значення Sum = 3, збільшується значення параметра і на 1, і стає рівним 3 і т.д. На 99 кроці значення Sum було 4950 і параметр і став 100, перевіряється чи 100>100, отримується результат “ні”, то цикл виконується ще раз – Sum := Sum +100, в результаті якої значення Sum =5050, збільшується значення параметра і на 1, і стає рівним 101. Перевіряється чи 101>100, отримується результат “так” і цикл на цьому закінчується. Наступною виконується операція, що йде за циклом: надрукувати результат. Весь хід приведених “машинних роздумів” зручно привести в такій таблиці.

У циклі з післяумовою пара Repeat ... Until є не тільки ознакою циклу, але операторними дужками, які в даній конструкції замінюють пару Begin ... End.

Наголосимо, що оскільки цикл з післяумовою обов'язково виконується хоча б один раз, слід обережно підходити до його застосування. В той же час у багатьох випадках застосування саме цього виду циклу є найбільш зручним, наприклад, у випадку, коли нам потрібно опрацювати натиснення клавіш на клавіатурі

Знову робимо підсумки. Отже, для циклів з післяумовою необхідно запам’ятати, що: