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

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

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

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

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

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

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

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

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

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

штучні мови

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

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

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

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

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

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