Карактеристике и примери формалног језика

Тхе формалном језику је скуп језичких знакова за искључиву употребу у ситуацијама када природни језик није прикладан. Уопштено говорећи, језик је подељен на природни или неформални и вештачки. Први се користи за уобичајене ситуације свакодневног живота. У међувремену, вештачко се користи у специфичним ситуацијама ван домашаја свакодневног живота.

На тај начин, формални језик је део вештачке групе. Ово се користи, посебно у формалним наукама (онима чије поље дјеловања није реалност физичког свијета него апстрактни свијет). Неке од ових наука укључују логику, математику и компјутерско програмирање.

У овом смислу, ова врста језика користи лингвистичке кодове који нису природни (они немају примену у комуникацијама у обичном свету). У области формалних наука, формални језик је скуп ланаца симбола који се могу регулисати законима који су специфични за сваку од ових наука.

Сада, овај тип језика користи скуп симбола или слова као абецеду. Из овога настају "ланци језика" (ријечи). Ове, ако се придржавају правила, сматрају се "добро обликованим ријечима" или "добро обликованим формулама".

Индек

• 1 Карактеристике
  • 1.1 Ограничено окружење
  • 1.2 А приори граматичка правила
  • 1.3 Минимална семантичка компонента
  • 1.4 Симболички језик
  • 1.5 Универзалност
  • 1.6 Прецизност и изражајност
  • 1.7 Капацитет проширења
• 2 Примери
  • 2.1 Логика
  • 2.2 Математика
  • 2.3 Рачунарско програмирање
• 3 Референце

Феатурес

Ограничено окружење

Циљ формалног језика је размјена података под различитим околинским увјетима у односу на друге језике. На пример, у програмском језику, крај је комуникација између људи и рачунара или између компјутерских уређаја. То није комуникација између људи.

Дакле, то је ад хоц језик, створен са специфичним циљем и који функционише у веома специфичним контекстима. Такође, не користи се масовно. Напротив, његова употреба је ограничена на оне који познају и циљ језика и његов специфични контекст.

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

Формални језик се формира из успостављања а приори граматичких правила која дају основу. Дакле, прво дизајнирамо скуп принципа који ће управљати комбинацијом елемената (синтакса) и онда генерисати формуле.

С друге стране, развој формалног језика је свестан. То значи да је потребан континуиран напор за њихово учење. У истом поретку идеја, његова употреба доводи до специјализације у прописима и конвенцијама научне употребе.

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

Семантичка компонента у формалном језику је минимална. Одређени ланац који припада формалном језику нема свој значај.

Семантичко оптерећење које могу имати дијелом долази од оператера и односа. Неки од њих су: једнакост, неједнакост, логичке везе и аритметички оператори.

У природном језику, понављање комбинације "п" и "а" у ријечи "тата" има семантичку вриједност родитеља. Међутим, у формалном језику то не значи. У практичној области, значење или тумачење ланаца лежи у теорији која се покушава дефинисати кроз тај формални језик.

Дакле, када се користи за линеарне системе једначина, она има теорију матрице као једну од својих семантичких вредности. С друге стране, овај исти систем има семантичко оптерећење логичких кола у рачунарству.

У закључку, значења ових ланаца зависе од области формалних наука у којој се примењују.

Симболички језик

Формални језик је потпуно симболичан. Ово је направљено од елемената чија је мисија да пренесу однос између њих. Ови елементи су формални језички знаци који, као што је поменуто, сами по себи не генеришу никакву семантичку вредност.

Облик конструкције симбологије формалног језика омогућава нам да направимо калкулације и утврдимо истине не зависно од чињеница већ од њихових односа. Ова симбологија је јединствена и далеко од било какве конкретне ситуације у материјалном свету.  

Универзалност

Формални језик има универзални карактер. За разлику од природног, мотивисаног за своју субјективност, дозвољава интерпретације и вишеструке дијалекте, формални се чини непромењеним.

У ствари, то је слично за различите типове заједница. Њихови приступи имају исто значење за све научнике без обзира на језик који говоре.

Прецизност и изражајност

Уопштено говорећи, формални језик је прецизан и не изразито изражајан. Његова правила формирања спречавају говорнике да склапају нове термине или дају нова значења постојећим терминима. И не може се користити за преношење веровања, расположења и психолошких ситуација.

Капацитет проширења

У мјери у којој је постигнут напредак у откривању апликација за формални језик, његов развој је експониран. Чињеница да се њоме може управљати механички без размишљања о њеном садржају (значењу) омогућава слободну комбинацију њених симбола и оператора.

У теорији, обим експанзије је бесконачан. На пример, најновија истраживања у области рачунарства и рачунарства односе се на оба језика (природна и формална) у практичне сврхе.

Конкретно, групе научника раде на начинима да побољшају еквиваленцију између њих. На крају, оно што се тежи јесте да се створи интелигенција која може да користи формални језик за производњу природног језика.

Примери

Логика

У низу: (п⋀к) ⋀ (р⋀т) => т, слова п, к, р, т симболизирају пропозиције без икаквог конкретног значења. С друге стране, симболи ⋁, ⋁ и => представљају конекторе који повезују пропозиције. У овом конкретном примеру, конектори који се користе су "и" (⋀), "о" (⋁), "тхен" (=>).

Најближи превод низу је: ако је било који од израза у заградама испуњен или не, онда је задовољен или није испуњен. Конектори су задужени за успостављање односа између пропозиција које могу представљати било шта ...

Математика

У овом математичком примеру А = |к | к⦤3⋀к> 2❵, интервенише скуп са именом "А" који има елементе имена "к". Сви елементи А су повезани симбологијом |, |, ⦤, ⋀,>,.

Сви они се овде користе да би дефинисали услове које елементи "к" морају испунити тако да могу бити од скупа "А".

Објашњење овог ланца је да су елементи овог скупа сви они који испуњавају услов да буду мањи или једнаки 3 и истовремено већи од 2. Другим речима, овај ланац дефинише број 3 који је једини елемент који испуњава услове.

Компјутерско програмирање

Програмска линија ИФ А = 0, ТАКО ГОТО 30, 5 * А + 1 има варијаблу "А" која се подноси процесу прегледа и одлучивања преко оператора познатог као "ако је условно".

Изрази "ИФ", "ТХЕН" и "ГОТО" су део синтаксе оператора. У међувремену, остали елементи су поређење и акционе вредности "А".

Његово значење је: од рачунара се тражи да процени тренутну вредност "А". Ако је једнака нули, она ће ићи на "30" (друга линија програмирања у којој ће бити још једна инструкција). У случају да се разликује од нуле, тада ће се варијабла "А" множити (*) са вредношћу 5 и биће додата (+) вредност 1.

Референце

1. Цоллинс Дицтионари. (с / ф). Дефиниција 'формалног језика'. Преузето из цоллинсдицтионари.цом.
2. Университи оф Тецхнологи, Сиднеи. (с / ф). Формални и неформални језик. Преузето из утс.еду.ау.
3. Дефинитионс (с / ф). Дефиниције за формални језик. Такен фром дефинитионс.нет.
4. Технички универзитет у Мадриду. (с / ф). Природни језици и формални језици. Преузето из лориен.дие.упм.ес.
5. Општина Лујан. (с / ф). Формални језик Преузето са лујан.магнаплус.орг.
6. Цорбин, Ј.А. (с / ф). 12 типова језика (и њихове карактеристике). псицологиаименте.цом.
7. Бел Енгуик, Г. и Јименез Лопез, М. Д. (с / ф). Симпозијум: Нове примене теорије формалних језика у лингвистици. Преузето из елвира.лллф.уам.ес.