Алгоритмічна мова

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

Алгоритмічні мови визначаються завданням алфавіту (або словника початкових символів), точним описом синтаксису (граматики) і семантики. На основі алгоритмічних мов будуються й мови програмування. У деяких роботах алгоритмічна мова виступає синонімом терміну «мова програмування», іноді ж її відносять до машинонезалежних або проблемно-орієнтованих мов, а іноді об’єднують обидва терміни, кажучи «алгоритмічна мова програмування». Такими мовами є практично усі процедурні (імперативні) мови програмування: COBOL, Algol, FORTRAN, C, Pascal і т.д. Є звичайно мовами високого рівня (МВР) і мовами третього покоління.