ФОРМАЛЬНА МОВА: ХАРАКТЕРИСТИКИ ТА ПРИКЛАДИ - ЛІТЕРАТУРА - 2025

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

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

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

Зараз цей тип мови використовує набір символів або літер як алфавіт. З цього утворюються «мовні ланцюги» (слова). Вони, якщо вони відповідають правилам, вважаються "добре сформованими словами" або "добре сформованими формулами".

характеристики

Обмежене середовище

Формальна мова має на меті обмін даними в екологічних умовах, відмінних від інших інших мов. Наприклад, в мові програмування кінець - це зв'язок між людиною та комп'ютерами або між комп'ютеризованими пристроями. Це не спілкування між людьми.

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

Граматика правила апріорі

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

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

Мінімальний смисловий компонент

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

Семантичне навантаження, яке вони можуть мати, частково пов'язане з операторами та відносинами. Деякі з них: рівність, нерівність, логічні сполучники та арифметичні оператори.

У природній мові повторення поєднання «р» і «а» у слові «тато» має смислове значення батьківського. Однак у формальній мові це не так. У практичній галузі значення або тлумачення ланцюгів полягає в теорії, яку намагаються визначити через цю формальну мову.

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

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

Символічна мова

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

Форма побудови символіки формальної мови дозволяє обчислювати та встановлювати істини залежно не від фактів, а від їх взаємозв'язків. Ця символіка унікальна і далеко не будь-яка конкретна ситуація в матеріальному світі.

Універсальність

Формальна мова має універсальний характер. На відміну від природного, який, вмотивований своєю суб'єктивністю, дозволяє інтерпретувати та численні діалекти, формальний - незмінний.

Насправді він подібний для різних типів громад. Його твердження мають однакове значення для всіх вчених незалежно від мови, якою вони говорять.

Точність та виразність

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

Розширюваність

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

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

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

Приклади

Логіка

У рядку: (p⋀q) ⋁ (r⋀t) => t, букви p, q, r, t символізують пропозиції без конкретного значення. З іншого боку, символи ⋀, ⋁ і => являють собою з'єднувачі, що пов'язують пропозиції. У цьому конкретному прикладі використовуються роз'єми "і" (⋀), "або" (⋁), "тоді" (=>).

Найближчий переклад до рядка: якщо будь-який з виразів у дужках є істинним чи ні, то t є істинним чи ні. З'єднувачі відповідають за встановлення зв’язків між пропозиціями, які можуть представляти що завгодно.

Математика

У цьому математичному прикладі A = ❴xx⦤3⋀x> 2❵ втручається набір з назвою “A”, який містить елементи імені “x”. Усі елементи A пов'язані символікою ❴, -, ⦤, ⋀,>, ❵.

Усі вони використовуються тут для визначення умов, які повинні виконувати елементи "x", щоб вони могли бути з множини "A".

Пояснення цього ланцюга полягає в тому, що елементами цього набору є всі ті, які відповідають умові бути меншим або рівним 3 і в той же час більшим за 2. Іншими словами, цей ланцюг визначає число 3, яке є єдиним елементом, який відповідає умовам.

Комп'ютерне програмування

Рядок програмування IF A = ​​0, ТОГО GOTO 30, 5 * A + 1 має змінну "A", піддану огляду та прийняття рішень через оператора, який називається "якщо це умовно".

Вирази "IF", "THEN" та "GOTO" є частиною синтаксису оператора. Тим часом, решта елементів - це значення порівняння та дії "А".

Його значення полягає в тому, що: комп’ютеру пропонується оцінити поточне значення "A". Якщо він дорівнює нулю, він перейде до "30" (інший рядок програмування, де буде ще одна інструкція). У випадку, якщо вона відрізняється від нуля, то змінна "A" буде помножена (*) на значення 5 і до неї буде додано значення 1 (+).

Список літератури

1. Словник Коллінза (с / ф). Визначення "формальної мови". Взято з collinsdictionary.com.
2. Університет технологій, Сідней. (с / ф). Формальна та неофіційна мова. Взято з uts.edu.au.
3. Визначення. (с / ф). Визначення формальної мови. Взято з визначень.net.
4. Технічний університет Мадрида. (с / ф). Природні мови та формальні мови. Взято з lorien.die.upm.es.
5. Муніципалітет Луяна. (с / ф). Формальна мова. Взято з lujan.magnaplus.org.
6. Корбін, JA (с / ф). 12 типів мови (та їх характеристика). psychologiaymente.com.
7. Bel Enguix, G. та Jiménez López, доктор медицини (з / ф). Симпозіум: Нові додатки теорії формальних мов до лінгвістики. Взято з elvira.lllf.uam.es.