Formella språkfunktioner och exempel



den formellt språk är en uppsättning språkliga tecken för exklusiv användning i situationer där naturligt språk inte är lämpligt. Språket är i allmänhet uppdelat i naturligt eller informellt och artificiellt. Den första används för vanliga situationer i det dagliga livet. Under tiden används den konstgjorda i specifika situationer utanför vardagens räckvidd.

På detta sätt är formellt språk en del av den konstgjorda gruppen. Detta används, särskilt i de formella vetenskaperna (de vars handlingsområde inte är realiteterna i den fysiska världen utan den abstrakta världen). Några av dessa vetenskaper inkluderar logik, matematik och datorprogrammering.

I den meningen använder denna typ av språk språkliga koder som inte är naturliga (de har ingen tillämpning inom kommunikation i den vanliga världen). Inom formella vetenskaper är ett formellt språk en uppsättning symbolkedjor som kan regleras av lagar som är specifika för vart och ett av dessa vetenskaper.

Nu använder denna typ av språk en uppsättning symboler eller bokstäver som ett alfabet. Från detta bildas "språkkedjor" (ord). Dessa, om de överensstämmer med reglerna, anses vara "välformade ord" eller "välformade formler".

index

  • 1 Egenskaper
    • 1.1 Begränsad miljö
    • 1.2 A priori grammatiska regler
    • 1.3 Minsta semantisk komponent
    • 1.4 Symboliskt språk
    • 1,5 universality
    • 1.6 Precision och uttrycksförmåga
    • 1.7 Utbyggnadskapacitet
  • 2 exempel
    • 2.1 Logik
    • 2.2 Matematik
    • 2.3 Datorprogrammering
  • 3 referenser

särdrag

Begränsad miljö

Målet med det formella språket är att utbyta data under olika miljöförhållanden än andra språk. Till exempel i slutet av programmeringsspråket är kommunikationen mellan människor och datorer eller mellan datoriserade enheter. Det är inte en kommunikation mellan människor.

Det är sålunda ett ad hoc-språk, skapat med ett specifikt mål och att fungera under mycket specifika sammanhang. Dessutom används den inte på ett massivt sätt. Tvärtom är dess användning begränsad till dem som känner både språkets mål och dess speciella sammanhang.

Grammatik regler a priori

Det formella språket bildas av inrättandet av a priori grammatiska regler som utgör grunden. Så, först utformar vi uppsättningen principer som kommer att styra kombinationen av element (syntax) och sedan generera formlerna.

Å andra sidan är utvecklingen av formellt språk medvetet. Det innebär att det behövs en långvarig insats för deras lärande. I samma ordning med idéer leder användningen till en specialisering i föreskrifter och konventioner av vetenskaplig användning.

Minsta semantisk komponent

Den semantiska komponenten i formellt språk är minimal. En viss kedja som tillhör det formella språket har ingen betydelse på egen hand.

Den semantiska belastningen som de kan ha kommer delvis från operatörer och relationer. Några av dessa är: jämlikhet, ojämlikhet, logiska kopplingar och aritmetiska operatörer.

I naturligt språk har upprepningen av kombinationen "p" och "a" i ordet "pappa" det semantiska värdet av föräldern. Men i formellt språk gör det inte. På det praktiska området ligger betydelsen eller tolkningen av kedjorna i den teori som försöker definiera genom det formella språket.

Således, när den används för linjära ekvationssystem, har den matristeori som en av dess semantiska värden. Å andra sidan har samma system den semantiska belastningen av logiska kretsmönster i databehandling.

Sammanfattningsvis beror betydelsen av dessa kedjor på området för de formella vetenskaperna där de tillämpas.

Symboliskt språk

Det formella språket är helt symboliskt. Detta är gjord av element vars uppdrag är att förmedla förhållandet mellan dem. Dessa element är de formella språkliga tecknen som, som nämnts, inte genererar något semantiskt värde för sig själva.

Konstruktionen av den formella språksymbologin gör det möjligt för oss att göra beräkningar och fastställa sanningar beroende inte på fakta utan på deras relationer. Denna symbologi är unik och långt ifrån någon konkret situation i den materiella världen.  

universalitet

Det formella språket har en universell karaktär. Till skillnad från det naturliga, som motiveras till sin subjektivitet tillåter tolkningar och flera dialekter, förefaller den formella oförändrad.

Det är faktiskt lika för olika typer av samhällen. Deras metoder har samma betydelse för alla forskare, oavsett vilket språk de talar.

Precision och uttrycksförmåga

I allmänhet är det formella språket exakt och inte särskilt uttrycksfullt. Dess bildningsregler förhindrar att högtalarna uttrycker nya villkor eller ger nya betydelser till befintliga villkor. Och det kan inte användas för att förmedla övertygelser, humör och psykiska situationer.

Expansionsförmåga

I den åtgärd som framsteg har gjorts vid upptäckten av ansökningar om formellt språk har dess utveckling exponerats. Att det kan drivas mekaniskt utan att tänka på innehållet (dess innebörd) möjliggör den fria kombinationen av dess symboler och operatörer.

I teorin är omfattningen av expansionen oändlig. Exempelvis relaterar de senaste undersökningarna inom datateknik och databehandling både språk (naturligt och formellt) för praktiska ändamål.

Specifikt arbetar forskargrupper på sätt att förbättra ekvivalensen mellan dem. I slutändan är det som eftersträvas att skapa intelligens som kan använda formellt språk för att producera naturligt språk.

exempel

logik

I strängen: (p⋀q) ⋁ (r⋀t) => t symboliserar bokstäverna p, q, r, t propositioner utan någon konkret mening. Å andra sidan representerar symbolerna ⋀, ⋁ och => de kontakter som förbinder propositionerna. I det här exemplet är de anslutna datorerna "y" (⋀), "o" (⋁), "then" (=>).

Närmaste översättning till strängen är: om något av uttrycken inom parentes är uppfyllt eller inte, är t uppfyllt eller inte uppfyllt. Anslutningarna ansvarar för att upprätta relationerna mellan de propositioner som kan representera någonting ...

matematisk

I detta matematiska exempel A = ❴x | x⦤3⋀x> 2 inter ingriper en uppsättning med namn "A" som har element av namn "x". Alla element i A är relaterade till symbolen ❴, |, ⦤, ⋀,>, ❵.

Alla används här för att definiera de villkor som elementen "x" måste uppfylla så att de kan vara av uppsättningen "A".

Förklaringen av denna kedja är att elementen i denna uppsättning är alla som uppfyller villkoren att vara mindre än eller lika med 3 och samtidigt större än 2. Med andra ord definierar kedjan numret 3 som är det enda elementet som uppfyller villkoren.

Datorprogrammering

Programmeringslinjen IF A = ​​0, THEN GOTO 30, 5 * A + 1 har en variabel "A" som skickas till en process för granskning och beslutsfattande genom en operatör som kallas "om villkorat".

Uttrycken "IF", "THEN" och "GOTO" är en del av operatörssyntaxen. Under tiden är resten av elementen jämförelse- och verkningsvärdena för "A".

Dess mening är: datorn är ombedd att utvärdera det aktuella värdet av "A". Om det är lika med noll går det till "30" (en annan programmeringslinje där det kommer att finnas en annan instruktion). Om det skiljer sig från noll, multipliceras variabeln "A" (*) med värdet 5 och läggs till (+) värdet 1.

referenser

  1. Collins Dictionary. (s / f). Definition av "formellt språk". Hämtad från collinsdictionary.com.
  2. University of Technology, Sydney. (s / f). Formellt och informellt språk. Hämtad från uts.edu.au.
  3. Definitioner. (s / f). Definitioner för formellt språk. Hämtad från definitions.net.
  4. Tekniska universitetet i Madrid. (s / f). Naturliga språk och formella språk. Hämtad från lorien.die.upm.es.
  5. Kommunen Luján. (s / f). Det formella språket Hämtad från lujan.magnaplus.org.
  6. Corbin, J.A. (s / f). De 12 typerna av språk (och deras egenskaper). psicologiaymente.com.
  7. Bel Enguix, G. och Jiménez López, M. D. (s / f). Symposium: Nya tillämpningar av teorin om formella språk till lingvistik. Hämtad från elvira.lllf.uam.es.