Рівень мови програмування

В даний час в світі існує декілька сотень реально використовуваних мов програмування. Для кожного є своя сфера застосування.

Будь-який алгоритм, як ми знаємо, є послідовність розпоряджень, виконавши які можна за кінцеве число кроків перейти від початкових даних до результату. Залежно від ступеня деталізації розпоряджень зазвичай визначається рівень мови програмування — чим менше деталізація, тим вище рівень мови.

По цьому критерію можна виділити наступні рівні мов програмування:

• машинні;

• машинно-орієнтовані (асемблери) ;

• машинно-незалежні (мови високого рівня).

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

Мови високого рівня діляться на:

• процедурні (алгоритмічні) (Basic, Pascal, C і ін.), які призначені для однозначного опису алгоритмів; для вирішення завдання процедурні мови вимагають в тій або іншій формі явно записати процедуру її рішення;

• логічні (Prolog, Lisp і ін.), які орієнтовані не на розробку алгоритму рішення задачі, а на систематичний і формалізований опис завдання з тим, щоб рішення виходило з складеного опису;

• об'єктно-орієнтовані (Object Pascal, C++, Java і ін.), в основі яких лежить поняття об'єкту, що поєднує в собі дані і дії над нами. Програма на об'єктно-орієнтованій мові, вирішуючи деяку задачу, по суті описує частину світу, що відноситься до цього завдання. Опис дійсності у формі системи взаємодіючих об'єктів природніший, ніж у формі взаємодіючих процедур.

Достоїнства і недоліки машинних мов

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

При програмуванні на машинній мові програміст може тримати під своїм контролем кожну команду і кожен елемент пам'яті, використовувати всі можливості наявних машинних операцій.

Але процес написання програми на машинній мові дуже трудомісткий і утомливий. Програма виходить громіздкою, важкооглядовою, її важко відлагоджувати, змінювати і розвивати.

Тому у разі, коли потрібно мати ефективну програму, яка в максимальному ступені враховує специфіку конкретного комп'ютера, замість машинних мов використовують близькі до них машино-орієнтовані мови (асемблери).

Мова асемблера

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

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

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

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

Як приклад приведемо програму на мові асемблера для IBM РС. Програма обчислює значення а = b + з для цілих а, b і з:

Переклад програми з мови асемблера на машинну мову здійснюється спеціальною програмою, яка називається асемблером і є, по суті, простим транслятором.

Переваги алгоритмічних мов перед машинними

Основні переваги такі:

• алфавіт алгоритмічної мови значно ширший за алфавіт машинної мови, що істотно підвищує наочність тексту програми;

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

• формат пропозицій достатньо гнучкий і зручний для використання, що дозволяє за допомогою однієї пропозиції задати достатньо змістовний етап обробки даних;

• необхідні операції задаються за допомогою загальноприйнятих математичних позначень;

• даним в алгоритмічних мовах привласнюються індивідуальні імена, вибирані програмістом;

• у мові може бути передбачений значно ширший набір типів даних в порівнянні з набором машинних типів даних.

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

Компоненти алгоритмічної мови

Алгоритмічну мову (як і будь-яку іншу мову) утворюють три його складові: алфавіт, синтаксис і семантика.

Алфавіт — це фіксований для даної мови набір основних символів, тобто "букв алфавіту", з яких повинен складатися будь-який текст на цій мові, — ніякі інші символи в тексті не допускаються.

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

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

Поняття використовувані алгоритмічними мовами

Кожне поняття алгоритмічної мови має на увазі деяку синтаксичну одиницю (конструкцію) і визначувані нею властивості програмних об'єктів або процесу обробки даних.

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

Основними поняттями в алгоритмічних мовах зазвичай є наступні.

1.  Імена (ідентифікатори) — уживаються для позначення об'єктів програми (змінних, масивів, функцій і ін.).

2.  Операції. Типи операцій:

• арифметичні операції   +  ,   —     *  ,   /   і ін. ;

• логічні операції   і  ,   або  ,   не  ;

• операції відношення   <  ,   >  ,   <=  ,   >=     =  ,   <>   ;

• операція зчеплення (інакше,   "приєднання",   "конкатенації"  ) символьних значень один з одним з утворенням одного довгого рядка; зображається знаком "+".

3.  Дані — величини, що обробляються програмою. Є три основні види даних: константи, змінні і масиви.

• Константи — це дані, які зафіксовані в тексті програми і не змінюються в процесі її виконання.

Приклади констант:

• числові   7.5  ,   12   ;

• логічні   так (істина),   немає   (брехня);

• символьні (містять рівно один символ)   "А"  ,   "+"   ;

• літерні (містять довільну кількість символів) "a0",  "Мир",  ""  (порожній рядок).

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

• Масиви — послідовності однотипних елементів, число яких фіксоване і яким привласнено одне ім'я. Положення елементу в масиві однозначно визначається його індексами (одним, у разі одновимірного масиву, або декількома, якщо масив багатовимірний). Іноді масиви називають таблицями.

4.  Вирази — призначаються для виконання необхідних обчислень, складаються з констант, змінних, покажчиків функцій (наприклад, exp(x)), об'єднаних знаками операцій.

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

Розрізняють вирази арифметичні, логічні і рядкові.

• Арифметичні вирази служать для визначення одного числового значення.  Наприклад,  (1+sin(x)) /2. Значення цього виразу при x=0 дорівнює 0.5,  а при x=p/2 — одиниці.

• Логічні вирази описують деякі умови, які можуть задовольнятися або не задовольнятися. Таким чином, логічний вираз може набувати тільки два значення —  "істину"  або  "брехню"  (та чи ні). Розглянемо як приклад логічний вираз  x*x + y*y < r*r,  що визначає приналежність крапки з координатами  (x, у)  внутрішньої області круга радіусом  r  з центром на початку координат.  При  x=1,  y=1,  r=2 значення цього виразу —  "істина", а при  x=2,  y=2,  r=1  — "брехня".

• Рядкові (літерні) вирази, значеннями яких є тексти. У рядкові вирази можуть входити літерні і рядкові константи, літерні і рядкові змінні, літерні функції, розділені знаками операції зчеплення. Наприклад, А + У означає приєднання рядка  В  до кінця рядка  А . Якщо   А = "кущ ",   а   В = "зелений",   те значення виразу   А + У   є   "кущ зелений".

5.  Оператори (команди). Оператор — це найбільш крупне і змістовне поняття мови: кожен оператор є закінченою фразою мови і визначає деякий цілком закінчений етап обробки даних. До складу операторів входять:

• ключові слова;

• дані;

• вирази і так далі

Оператори підрозділяються на виконуваних і невиконуваних. Невиконувані оператори призначені для опису даних і структури програми, а виконувані — для виконання різних дій (наприклад, оператор привласнення, оператори введення і виводу, умовний оператор, оператори циклу, оператор процедури і ін.).

Стандартні функції

При вирішенні різних завдань за допомогою комп'ютера буває необхідно обчислити логарифм або модуль числа, синус кута і так далі

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

Таблиця стандартних функцій шкільної алгоритмічної мови

Як аргументи функцій можна використовувати константи, змінні і вирази. Наприклад:

Кожна мова програмування має свій набір стандартних функцій.

Арифметичні вирази

Арифметичні вирази записуються по наступних правилах:

• Не можна опускати знак множення між співмножниками і ставити поряд два знаки операцій.

• Індекси елементів масивів записуються в квадратних (шкільний АЯ, Pascal, З) або круглих (Basic) дужках.

• Для позначення змінних використовуються букви латинського алфавіту.

• Операції виконуються в порядку старшинства: спочатку обчислення функцій, потім піднесення до ступеня, потім множення і ділення і в останню чергу — складання і віднімання.

• Операції одного старшинства виконуються зліва направо. Проте, в шкільній АМ є одне виключення з цього правила: операції піднесення до ступеня виконуються зправа наліво. Так, вираз 2**(3**2) в шкільній АМ обчислюється як 2**(3**2)= 512. У мові Qbasic аналогічний вираз 2^3^2 обчислюється як (2^3)^2 = 64. А в мові Pascal взагалі не передбачена операція піднесення до ступеня, в Pascal x^y записується як exp(y*ln(x)), а x^y^z як exp(exp(z*ln(y))*ln(x)).

Приклади запису арифметичних виразів

Типові помилки в записі виразів: