Оператори вибору

Структурна капсула

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

Вектор стану програми

Зазначений фіксований набір точок у програмі зазвичай характеризується множиною імен програмних об'єктів та відповідними станами значень їхнього вмісту. Ця відповідність називається вектором стану програми.

Дії операторів, які виробляють деякий результат (як і результат всієї програми), можна подати перетвореннями вектора стану програми. Отже, виконання оператора починається з початкового значення вектора стану і приводить до кінцевого значення стану.

Структурні оператори

Передбачається три типи структурних операторів, яких достатньо для створення будь-яких програм: послідовність, оператор вибору та оператор повторення. Дуже важливими операторами, які не є управляючими, але які описують обробку значень є перетворювальні оператори.

Перетворювальні оператори

Якщо в послідовності операторів S₁S₂ оператор S₂ – це безпосередній наступник оператора S₁ і якщо S₂ змінює значення вектора стану, переданого S₁, то S₂ називатиметься перетворювальним оператором. Таким оператором, наприклад, є оператор присвоювання.

Наприклад, послідовність перетворювальних операторів в мові С:

nA = nA + 1;

nB = (nB + nA) - 20;

nC = nA + nB;

Оператори вибору

Якщо послідовність виконання перетворювальних операторів необхідно порушити, а вибір наступного виконуваного оператора залежатиме від деякої умови, то для коригування порядку виконання даних перетворювальних операторів застосовується оператор вибору.

Відомо три форми оператора вибору – умовна, альтернативна та охоронна.

Умовна форма (if-then)

Семантика оператору:

Синтаксис оператору в мові Pascal:

Синтаксис оператору в мові С:

Pascal:

іf nA > nB then

nA: = nB;

С:

іf (nA > nB)

nA = nB;

Дата добавления: 2015-10-29