Що значить мову?

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

• розмовні мови;
• мови малюнків, креслень, схем;
• мови мистецтва (музики, живопису, архітектури, скульптури і т.д.);
• мови науки (математики, біології, хімії і т.д.);
• мови міміки і жестів;
• алгоритмічні мови (мови програмування, блок-схеми).
• спеціальні мови (Есперанто, азбука Морзе, азбука Брайля для сліпих).

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

Мови відрізняються один від одного:

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

Розглянемо види мов.

Природні мови

Що значить мову природний? Це звичайнісінькі «розмовні» мови, стихійно складаються протягом тривалого часу. Така мова служить для повсякденного спілкування і його основними функціями є:

• функція спілкування (комунікативна);
• пізнавальна функція (когнітивна);
• функція формування особистості (емоційна);
• функція впливу (директивна)

Штучні мови

Що значить мова штучний? Такі мови створюються людьми для певних цілей або для спеціальних груп людей: абетка Брайля для сліпих, морський семафор, мова програмування. Однозначна визначеність кожного слова, правил освіти пропозицій і правил для додання їм значень є відмінною рисою штучних мов. Будь-яка мова має набір певних правил. Це можуть бути строго сформульовані (формалізовані) правила або можуть допускатися різні варіанти їх використання.

Формальний (формалізований) мову

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

Формальні мови в основному будуються за такою схемою:

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

Формальні мови знайшли широке застосування в науці і техніці. Вони часто конструюються на основі мови математики. У ХХ столітті формальні мови стали стрімко розвиватися. Значну роль серед формальних мов грають мову математики і логіки та мови програмування. Останні виникли на початку 50-х років минулого століття.

Мови програмування

Мов програмування налічується кілька тисяч. Їх можна класифікувати по-різному. Одні автори розбивають всі мови програмування на:

• декларативні,
• процедурні.

Інші автори класифікують мови програмування на:

• функціональні,
• процедурні,
• об'єктно-орієнтовані,
• логічні.

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