Оператор присвоювання

В будь-якій мові програмування можна виділити чотири типи елементів, що використовуються при побудові описів програм:

•символи,

•слова,

•вирази,

•команди (оператори).

Команда - це вказівка про виконання деякої дії. При написанні програм команди називають операторами, а величини, що використані в команді - операндами.

Оператор присвоювання має вигляд:

ім'я змінної := вираз

(знак присвоювання ":=" – це лексема, яку не слід плутати зі знаком порівняння "="). Оператор присвоювання позначає:

1) обчислити значення виразу, записаного праворуч;

2) записати це значення в змінну, позначену ім'ям.

Отже, описані дії є семантикою оператора присвоювання.

Приклад. Якщо ім'я z означено як var z : integer, то оператор присвоювання z:=11*(10+1) позначає обчислення значення 121 і запис його в змінну з ім'ям z. Після його виконання змінна з ім'ям z має значення 121.

Пара вигляду (ім'я, значення) називається станом змінної, наприклад, (z,121) – стан змінної z після виконання оператора присвоювання. Таким чином, після присвоювання змінній нового значення її стан змінюється.

Оператори присвоювання (і не тільки вони) в програмі записуються один за одним і відокремлюються роздільником ";", наприклад, z:=1; t:=2 (звичайно, за умови, що z і t означено як імена змінних типу integer). Оператори, записані один за одним, утворюють послідовність операторів. Кожен з них задає зміну стану хоча б однієї зі змінних.

Сукупність змінних, чиї імена означено в програмі, називається пам'яттю програми. Сукупність станів змінних називається станом пам'яті програми. Зміна стану однієї зі змінних змінює стан пам'яті програми, тому оператор присвоювання задає зміну стану пам'яті програми. Далі ми розглянемо інші види операторів, але

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

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

виконуваний операторстан пам'яті

xyz

???