Паскаль. Прикладне програмне забезпечення


ПАСКАЛЬ: лексика, вирази, семантика

1. Лексика мови Паскаль та загальний вигляд програми

2. Вирази з цілими та бульовими сталими

3. Вирази та оператори

4 . Семантика програми

1. Лексика мови Паскаль та загальний вигляд програми

Кожна мова починається з Алфавіту – скінченної множини символів. Алфавіт мови Паскаль складають:

    великі й малі латинські букви A, B,..., Z, a, b,..., z; десяткові цифри 0, 1, 2,..., 9; інші символи, серед яких + / =.,;: ' [ ] { } ^ у діалектах можливі й інші – вони тут не згадуються.

З символів алфавіту складаються Лексичні Одиниці мови – Лексеми, свого роду цеглинки, подібні словам у природних мовах. Множина лексем мови і правил їх запису утворюють його Лексику. Лексеми неподільні й самі по собі позначають деякий зміст. Мова Паскаль має п'ять видів лексем: сталі, імена, знаки операцій, роздільники й коментарі.

Сталі – це позначення чисел та інших елементів, представних у комп'ютері. Числові сталі позначення чисел мають вигляд, прийнятий у математиці, наприклад, 12, 3.1415926, 2.71828 тощо. Відзначимо лише, що цілу й дробову частини числа відокремлюють крапкою, а не комою. Числові й інші види сталих докладніше розглядаються далі.

Імена – це Послідовності букв і цифр, що починаються з букви, наприклад, A, b52, x8z, jklmn. Великі й малі букви в іменах не різняться: Nam1, nAM1, nam1 суть те саме ім'я. Ім'я завжди позначає щось, якийсь об'єкт, виділяючи його серед інших, тобто Ідентифікуючи. Тому імена ще називаються Ідентифікаторами.

Деякі імена використовуються спеціальним чином для утворення програми та її складових частин. Ці імена називаються Зарезервованими, або Ключовими, або Службовими Словами. Будемо записувати їх Жирним Шрифтом. Нам уже знайомі слова Begin, End, Program. У додатку подано службові слова стандарту мови Паскаль – це звичайні англійські слова або їх скорочення. У діалектах їх більше.

Знаки Операцій – це позначення операцій, виконання яких над числами й іншими значеннями породжує нові значення. Значення, до яких застосовується операція, називаються її Операндами, а породжуване значення – її Результатом. Вигляд знаків операцій дуже різноманітний. Нам звичний знак + і не зовсім звичні знаки Div і =, тобто імена й послідовності символів. Множину знаків операцій уточнимо далі.

До Роздільників відносяться дужки, символи,,;,:,, тут їх узято в лапки та деякі інші. Ними відокремлюються лексеми та інші, більш складні елементи програми.

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

{ this is the comment це коментар } це теж { і це },

А це вже не коментар, а незрозуміло що}.

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

Суміжні імена й сталі відокремлюються пропусками –. Пропуск між сусідніми лексемами не обов'язковий, якщо хоча б одна з них є роздільником, коментарем або знаком операції не ім'ям. Наприклад, знаки операцій + або не є іменами, а знаки Div І Mod – є. Тому можна написати 1+2 або 12, але не можна 1 Mod2 або 1 Div2.

Програма, записана мовою Паскаль, має такий загальний вигляд:

Program Ім'яinput, output;

Послідовність означень імен

Begin

Послідовність операторів

End.

Перший рядок програми називається її Заголовком і містить ім'я програми ідентифікатор. Інші рядки утворюють Блок Програми, що складається з означень імен їх може і не бути і Тіла Begin End. Крапка після останнього слова End обов'язкова. Наприклад,

Program rrwlinput, output;

Const p=3.1415927;

Var r, lng: real;

Begin

Readlnr;

Lng:=2pr;

Writelnlng

End.

У цій програмі з ім'ям rrwl є два означення. Перше означає ім'я p, яким далі позначається стала 3.1415927. Слово Const свідчить про те, що це означення саме сталої, а не чогось іншого. Друге означення означає імена r і lng двох змінних, про що свідчить слово Var скорочення від англійського variable – змінна. Що таке сталі та змінні, ми дізнаємось у двох наступних підрозділах. У тілі програми записано три оператори, відокремлені символом;. Перший з них задає читання з клавіатури дійсної сталої, що позначає радіус кола, другий – обчислення довжини цього кола та запам'ятання її в змінній lng, третій – друкування на екрані сталої, що позначає довжину кола.

2. Вирази з цілими та бульовими сталими

2.1. Значення та сталі

У комп'ютер закладено способи подання чисел, символів і значень істина й хибність. Ми розглянемо їх докладніше в розділі 7, а поки скажемо лише, що є два способи подання чисел – один для цілих і зовсім інший для дійсних. Далі будемо ототожнювати число та його подання в комп'ютері, хоч насправді це зовсім не те саме. Отже, в комп'ютері обробляються значення чотирьох видів – цілі й дійсні числа, символи та значення істина й хибність, які називаються Бульовими. У мові Паскаль вони позначаються сталими. Тут ми розглянемо лише цілі й бульові сталі.

Ціла Стала – це, як і в математиці, послідовність десяткових цифр, можливо, із знаком + або попереду: 0, +1024, 273 тощо. У комп'ютері можна подати не всю множину цілих чисел, а деяку її скіненну підмножину, що залежить від комп'ютера й системи програмування. Найбільше з цілих чисел позначається ім'ям maxint. Однією з особливостей машинного подання чисел є те, що найбільше за модулем від'ємне число, представне в комп'ютері, можна задати виразом вигляду maxint1.

Бульові Сталі мають вигляд False і True та позначають відповідно значення, про які ми звикли говорити хибність та істина.

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

2.2. Тип цілих чисел

Комп'ютер уміє виконувати операції з цілими числами. Знаки двомісних бінарних операцій +, , позначають додавання, віднімання та множення, наприклад, 2+3, 23, 23 результатом чого будуть цілі 5, 1, 6. Знаками Div і Mod задається породження цілих частки й залишку від ділення цілих: результатом 7 Div 2 є 3, а результатом 7 Mod 2 – 1. Знак / також задає ділення, але результатом його є число в його дійсному поданні, тобто 4/2 – це не ціле, а дійсне число 2 докладніше про це в розд. 7. В усіх трьох діленнях дільник не може бути нулем – інакше результат не визначений. Знак задає застосування одномісної унарної операції мінус: 2, 2+3.

Порівняння цілих чисел задається знаками =,,,, =, = дорівнює, не дорівнює, більше, менше, не менше, не більше. Результатом є істина або хибність: 1=2 – False, 12 – True, 1=1 – True тощо. Операції порівняння називаються Відношеннями.

Є кілька операцій, що задаються дещо незвично, у вигляді F, де F – ім'я. Вирази такого вигляду називаються Викликами Функцій. Наприклад, вираз вигляду oddx задає обчислення ознаки непарності: значенням odd7 є True, odd12 – False.

До цілих чисел застосовні й інші операції розд. 10.

Через скінченність множини цілих чисел, представних у комп'ютері, Багато операцій із цілими визначені частково. Так, не всякі два числа можна додати або умножити, оскільки результат може виявитися не представним у комп'ютері. Наприклад, maxint+1 або maxint2.

Отже, ми визначили, хоча і не точно, множину цілих чисел Z і множину операцій O, застосовних до них. Пара

МНОЖИНА ЕЛЕМЕНТІВ, МНОЖИНА ОПЕРАЦІЙ ІЗ НИМИ

У математиці називається Типом. Множина елементів називається Носієм Типу, а множина операцій – його Сигнатурою. Тип Z, O називається Типом Цілих І в мові Паскаль позначається ім'ям integer.

Тип цілих значень називається Скалярним, оскільки ці значення розглядаються як неподільні, тобто такі, що не складаються з окремих частин. Далі ми познайомимося з іншими скалярними типами мови Паскаль. Вони називаються Базовими типами цієї мови. Ми також познайомимося із структурними типами. Їх елементи, на відміну від скалярних, складені з частин, які можна позначати окремо.