ФОРМАЛНИ ЈЕЗИК: КАРАКТЕРИСТИКЕ И ПРИМЕРИ - ЛИТЕРАТУРА - 2025

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

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

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

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

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

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

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

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

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

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

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

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

Семантичка компонента у формалном језику је минимална. Дати низ који припада формалном језику сам по себи нема значења.

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

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

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

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

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

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

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

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

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

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

Прецизност и експресивност

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

Проширивост

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

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

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

Примери

Логика

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

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

Матх

У овом математичком примеру А = ❴кк⦤3⋀к> 2❵, интервенише скуп са именом „А“ који садржи елементе имена „к“. Сви елементи А повезани су симболиком ❴, -, ⦤, ⋀,>, ❵.

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

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

Рачунарско програмирање

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

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

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

Референце

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