від машинних мов:
? алгоритмічний мову володіє набагато більшими виразними можливостями, тобто його алфавіт значно ширше алфавіту машинної мови, що істотно підвищує наочність тексту програми;
? набір операцій, допустимих для використання, не залежить від набору машинних операцій, а вибирається з міркувань зручності формулювання алгоритмів розв'язання задач певного класу;
? формат пропозицій досить гнучкий і зручний для використання, що дозволяє за допомогою однієї пропозиції задати досить змістовний етап обробки даних;
? необхідні операції задаються в зручному для людини вигляді, наприклад, за допомогою загальноприйнятих математичних позначень;
? для завдання операндів операцій, використовуваним в алгоритмі даними присвоюються унікальні імена, обирані програмістом, і посилання на операнди виробляється, в основному, за іменами;
? в мові може бути передбачений значно ширший набір типів даних у порівнянні з набором машинних типів даних.
З перерахованого вище випливає, що алгоритмічний мову значною мірою є машинно-незалежним.
Для опису синтаксису алгоритмічної мови використовується спеціальний метамова, що дозволяє в компактній формі відобразити всі особливості конкретних конструкцій алгоритмічної мови. Ми скористаємося для цих цілей металінгвістіческая формулами Бекуса-Наура (мова БНФ). p align="justify"> При описі синтаксису мови використовуються деякі його поняття: визначивши найпростіші з них, з їх допомогою можна вже досить просто визначити більш складні поняття тощо, поки не буде визначено найбільш складне поняття - програма. З точки зору синтаксису кожне визначається поняття (але не основний символ) є метапеременная мови БНФ, значенням якої може бути будь-яка конструкція (тобто послідовність основних символів) з деякого фіксованого для цього поняття набору конструкцій. p align="justify"> Для кожного поняття мови повинна існувати єдина метаформула, в лівій частині якої вказується визначається поняття (метапеременная мови БНФ), а права частина формули тим чи іншим способом задає всі безліч значень цієї метапеременной (всі допустимі конструкції, які об'єднуються в це поняття). Всі метапеременние полягають у спеціальні кутові дужки <і>, які не належать алфавітом визначається мови, тобто є метасимвол, наприклад, вираз, число і т.д. Основні ж символи мови вказуються безпосередньо. Ліва і права частини метаформули розділяються спеціальним знаком :: =, зміст якого можна інтерпретувати як В«за визначенням єВ». Зазвичай в якості значень метапеременной може прийматися будь-яка з декількох допустимих конструкцій. Всі допустимі конструкції вказуються в правій частині формули і розділяються метасимволом В«|В», зміст якого можна передати словом В«абоВ» (В«абоВ»). Крім перерахування всіх можливих значень метапеременной в правій частині метаформ...