- egenskaper
- Begränsad miljö
- Grammatik reglerar a priori
- Minimal semantisk komponent
- Symboliskt språk
- Universalitet
- Precision och uttrycksfullhet
- utbyggbarhet
- exempel
- Logik
- Matematik
- Dataprogramering
- referenser
Det formella språket är en uppsättning språkliga tecken som exklusivt används i situationer där naturligt språk inte är lämpligt. I allmänhet är språket indelat i naturligt eller informellt och konstgjort. Den första används för vanliga vardagssituationer. Samtidigt används det konstgjorda i specifika situationer utanför vardagen.
På detta sätt är formellt språk en del av gruppen av konstgjorda. Detta används särskilt i de formella vetenskaperna (de vars handlingsfält inte är verkligheten i den fysiska världen utan i den abstrakta världen). Vissa 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 området för formella vetenskaper är ett formellt språk en uppsättning kedjor av symboler som kan regleras av lagar som är specifika för var och en av dessa vetenskaper.
Nu använder denna typ av språk en uppsättning symboler eller bokstäver som alfabet. Från detta bildas "språkkedjor" (ord). Dessa, om de följer reglerna, betraktas som "välformade ord" eller "välformade formler."
egenskaper
Begränsad miljö
Det formella språket syftar till att utbyta data under miljöförhållanden som skiljer sig från andra språk. Till exempel i programmeringsspråk är slutet kommunikation mellan människor och datorer eller mellan datoriserade enheter. Det är inte en kommunikation mellan människor.
Således är det ett ad hoc-språk, skapat med ett specifikt mål och att fungera under mycket specifika sammanhang. Dessutom används den inte mycket. Tvärtom är dess användning begränsad till dem som känner till både språkets mål och dess speciella sammanhang.
Grammatik reglerar a priori
Formellt språk bildas från upprättandet av a priori grammatiska regler som ger det grunden. Således designas först uppsättningen principer som kommer att styra kombinationen av element (syntax) och sedan genereras formlerna.
Å andra sidan är utvecklingen av det formella språket medvetet. Detta innebär att en långvarig ansträngning krävs för deras lärande. På samma sätt leder användningen till en specialisering i regler och konventioner för vetenskaplig användning.
Minimal semantisk komponent
Den semantiska komponenten i formellt språk är minimal. En given sträng som tillhör det formella språket har ingen mening i sig.
Den semantiska bördan de kan ha kommer delvis från operatörer och relationer. Några av dessa är: jämlikhet, ojämlikhet, logiska anslutningar och aritmetiska operatörer.
På naturligt språk har upprepningen av kombinationen av "p" och "a" i ordet "pappa" det semantiska värdet av förälder. Men i formellt språk gör det inte. Inom det praktiska området ligger betydelsen eller tolkningen av kedjorna i teorin som man försöker definiera genom detta formella språk.
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 kretsdesign vid datoranvändning.
Sammanfattningsvis beror betydelsen av dessa kedjor på det område med formell vetenskap där de tillämpas.
Symboliskt språk
Det formella språket är helt symboliskt. Detta är gjord av element vars uppdrag är att överföra förhållandet mellan dem. Dessa element är de formella språkliga tecknen som, som nämnts, inte genererar något semantiskt värde av sig själva.
Formen för konstruktion av symbologin för det formella språket gör det möjligt att beräkna och fastställa sanningar beroende inte på fakta utan på deras förhållanden. Denna symbolik är unik och långt ifrån konkret situation i den materiella världen.
Universalitet
Formellt språk har en universell karaktär. Till skillnad från den naturliga, som, motiverad av dess subjektivitet, tillåter tolkningar och flera dialekter, är den formella en undantaglig.
I själva verket är det liknande för olika typer av samhällen. Hans uttalanden har samma betydelse för alla forskare oavsett språk de talar.
Precision och uttrycksfullhet
I allmänhet är det formella språket exakt och inte särskilt uttrycksfullt. Dess bildningsregler förhindrar dess talare från att sammanfatta nya termer eller ge nya betydelser till befintliga termer. Och det kan inte användas för att förmedla övertygelser, stämningar och psykologiska situationer.
utbyggbarhet
Eftersom framsteg har gjorts i upptäckten av ansökningar om formellt språk har dess utveckling varit exponentiell. Det faktum att det kan manövreras mekaniskt utan att tänka på dess innehåll (dess betydelse) möjliggör den fria kombinationen av dess symboler och operatörer.
I teorin är omfattningen av expansionen oändlig. Till exempel har ny forskning inom datoranvändning och informatik relaterat till båda språken (naturliga och formella) för praktiska ändamål.
Specifikt arbetar grupper av forskare på sätt att förbättra likvärdigheten 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, bokstäverna p, q, r, t symboliserar förslag utan någon konkret betydelse. Å andra sidan representerar symbolerna ⋀, ⋁ och => anslutningarna som länkar förslagen. I det här exemplet är anslutningarna som används "och" (⋀), "eller" (⋁), "då" (=>).
Den närmaste översättningen till strängen är: om något av uttryck inom parentes är sant eller inte, så är t sant eller inte. Anslutningarna ansvarar för att upprätta förhållandena mellan förslagen som kan representera vad som helst.
Matematik
I detta matematiska exempel A = ❴xx⦤3⋀x> 2❵ ingriper en uppsättning med namnet “A” som har element med namnet “x”. Alla element i A är relaterade till symbolen ❴, -, ⦤, ⋀,>, ❵.
Alla används här för att definiera villkoren som elementen "x" måste uppfylla så att de kan vara från uppsättningen "A".
Förklaringen till denna kedja är att elementen i denna uppsättning är alla de som uppfyller villkoret att vara mindre än eller lika med 3 och samtidigt större än 2. Med andra ord definierar denna kedja siffran 3, som är det enda elementet som uppfyller villkoren.
Dataprogramering
Programmeringslinjen IF A = 0, DAN GOTO 30, 5 * A + 1 har en variabel “A” som utsätts för en översyn och beslutsprocess genom en operatör som kallas ”om villkorad”.
Uttrycket "IF", "THEN" och "GOTO" är en del av operatörens syntax. Samtidigt är resten av elementen jämförelsen och handlingsvärdena för "A".
Dess betydelse är: datorn uppmanas att utvärdera det aktuella värdet på "A". Om den är lika med noll går den till "30" (en annan programmeringslinje där det kommer att finnas en annan instruktion). Om det skiljer sig från noll, kommer variabeln "A" att multipliceras (*) med värdet 5 och värdet 1 läggs till (+) till det.
referenser
- Collins Dictionary. (s / f). Definition av "formellt språk". Hämtad från collinsdiction.com.
- University of Technology, Sydney. (s / f). Formellt och informellt språk. Hämtad från uts.edu.au.
- Definitioner. (s / f). Definitioner för formellt språk. Hämtad från definitions.net.
- Madrid tekniska universitet. (s / f). Naturliga språk och formella språk. Hämtad från lorien.die.upm.es.
- Lujáns kommun. (s / f). Det formella språket. Hämtad från lujan.magnaplus.org.
- Corbin, JA (s / f). De 12 typerna av språk (och deras egenskaper). psychologiaymente.com.
- Bel Enguix, G. och Jiménez López, MD (s / f). Symposium: Nya tillämpningar av teorin om formella språk på lingvistik. Hämtad från elvira.lllf.uam.es.