Формальні і природні мови: приклади

Що таке мова? Це питання можна задати різним людям і отримати абсолютно несподівані відповіді. Але навряд чи хтось відразу скаже про мови природні і формальні. Визначення і приклади подібних систем рідко приходять в голову при такому питанні. І все ж - що це за класифікація? І що тоді вважати мовою?

Відео: Лекція 8: Формальні граматики

Про історію мов і їх вивченні

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

На жаль, у зв`язку з тим, що з зародження перших систем пройшло багато часу, тепер важко сказати, як все сталося. Є маса гіпотез, які говорять як про розвиток мови з більш примітивних систем спілкування, так і про його майже випадкове виникнення в якості унікального явища. Зрозуміло, перший варіант має набагато більше прихильників і є практично загальноприйнятим.

Приблизно такі ж суперечки йдуть про те, чому на сьогоднішній день є так багато мов. Хтось вважає, що вони все походять від однієї системи, а хтось наполягає на розвитку з декількох незалежних вогнищ. Але мова в даному випадку йде тільки про природні мови, приклади яких знайомі кожному. Саме вони використовуються для людського спілкування. Але є й інші, несхожі на них. І тоді виникає питання "що вважати мовою".

сутність

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

Є кілька концепцій на цю тему. Деякі лінгвісти розглядають мову як біологічне явище, інші - як психічний. Згідно ще одному популярному думку, він належить до сфери інтересів соціологів. Нарешті, є і дослідники, що сприймають його лише як особливу систему знаків. Як би там не було, очевидно, що в даному випадку маються на увазі лише природні мови. Приклади концепцій, які включали б ще й формальну категорію, поки не існують, лінгвістика фактично їх ігнорує.

Завдання і функції

Для чого ж потрібні мови? Лінгвісти виділяють ряд базових функцій:

• Номінатівная, тобто називним. Мова використовується для найменування різних об`єктів, подій, явищ і т. Д.
• Комунікативна, тобто функція спілкування. Під цим розуміють виконання мети передачі інформації.
• Експресивна. Тобто мова служить також для вираження емоційного стану мовця.

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

Класифікація

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

Відео: Антон Плешивцев - Розбираємо природні мови на Lisp # 39; е

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

природні

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

Вся ця велика категорія поділяється на три великих частини:

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

Відео: Лекція 22: Формальна семантика мов функціонального програмування

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

формальні

Мови, які вимагають чіткості в запису і не можуть бути сприйняті суб`єктивно, з`явилися теж дуже давно. Вони відрізняються бездоганною логічністю і однозначністю. І вони теж бувають різними. Але всім їм притаманні два основних принципи: абстрагування і строгість суджень.

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

Які ж можуть бути приклади? Формальні мови включають в себе "королеву наук" математику, а слідом за нею хімію, фізику і частково біологію. Якої б національності не були вчені, але формули і записи реакцій вони завжди зрозуміють. І для математики абсолютно не важливо, що позначає те чи інше число: кількість яблук на дереві або молекул в грамі речовини. Так само як і при розрахунку сили тертя фізики не беруть до уваги колір об`єкта або ще якісь несуттєві в даний момент властивості. Так і проявляється абстрагування.

З появою електроніки вкрай актуальним стало і питання спілкування між людиною і машиною, яка розуміє лише нулі і одиниці. Оскільки прийняття цієї системи людиною було б занадто незручним і зробило б роботу надто складною, було вирішено створити проміжні системи спілкування. Так і з`явилися мови програмування. Зрозуміло, їх теж потрібно вчити, але вони сильно полегшили розуміння між людьми і електронікою. На жаль, для здійснення цієї функції зовсім не годяться багатозначні, хоч і більш звичні природні мови.

приклади

Знову говорити про природні мовах просто немає сенсу, лінгвістика вивчає їх дуже давно і просунулася в цьому досить. У той же час дослідники обходять стороною категорію формальних. Тільки недавно, коли вони стали дуже актуальними, почали з`являтися перші наукові роботи по ним, теорії і зрозумілі приклади. Формальні мови створюються штучно і зазвичай носять міжнародний характер. Вони можуть бути як вузькоспеціалізованими, так і зрозумілими всім або хоча б більшості.

Відео: Лекція 6 | Формальні мови та синтаксичний аналіз | Олександр Охотин | Лекторіум

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

Зрозуміло, сюди ж відноситься вже згадана математика, правила запису в якій вкрай суворі. Усе точні науки теж можна умовно зарахувати до цієї категорії. Нарешті, це мови програмування. І про них, ймовірно, варто поговорити докладніше.

Використання

Те, що штовхає вперед розвиток і вивчення формальних мов - це, безумовно, технічний прогрес. Обчислювальні системи, електронні прилади - сьогодні майже кожна річ є комп`ютером в мініатюрі. І якщо вони розуміють лише двійковий код, то люди зазвичай сприймають лише природні мови. Приклади різних способів і спроб знайти якийсь компроміс закінчилися ідеєю створення проміжної системи спілкування. Згодом їх з`явилося досить багато. Так що сьогодні програмування - це фактично робота перекладача з комп`ютерного на людський і навпаки.

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