Формальні мовні особливості та приклади

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

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

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

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

Індекс

• 1 Характеристики
  • 1.1 Обмежена обстановка
  • 1.2 Априорні граматичні правила
  • 1.3 Мінімальний семантичний компонент
  • 1.4 Символічна мова
  • 1.5 Універсальність
  • 1.6 Точність і виразність
  • 1.7 Розширення потужності
• 2 Приклади
  • 2.1 Логіка
  • 2.2 Математика
  • 2.3 Комп'ютерне програмування
• 3 Посилання

Особливості

Обмежена обстановка

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

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

Правила граматики апріорі

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Потенціал розширення

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

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

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

Приклади

Логіка

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

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

Математика

У цьому математичному прикладі A = |x | x⦤3⋀x> 2❵, інтервентується набір з назвою "A", що має елементи назви "x". Всі елементи A пов'язані символікою |, |, ⦤, ⋀,>,.

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

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

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

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

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

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

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

1. Словник Коллінз. (s / f). Визначення «формальної мови». Взяті з collinsdictionary.com.
2. Технологічний університет, Сідней. (s / f). Формальна та неформальна мова. Взяті з uts.edu.au.
3. Визначення (s / f). Визначення для формальної мови. Взяті з definitions.net.
4. Мадридський технічний університет. (s / f). Природні мови та формальні мови. Взяті з lorien.die.upm.es.
5. Муніципалітет Luján. (s / f). Формальна мова Взяті з lujan.magnaplus.org.
6. Corbin, J. A. (s / f). 12 типів мови (та їх характеристики). psicologiaymente.com.
7. Bel Enguix, G. та Jiménez López, M. D. (s / f). Симпозіум: Нові застосування теорії формальних мов до мовознавства. Взяті з elvira.lllf.uam.es.