De 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. I allmänhet är språket uppdelat i naturligt eller informellt och artificiellt. Den första används för vanliga situationer i det dagliga livet. Under tiden används det konstgjorda i specifika situationer utanför vardagen.
På detta sätt är formellt språk en del av gruppen konstgjorda. Detta används särskilt i de formella vetenskaperna (de vars handlingsområde inte är verkligheten i den fysiska världen utan i 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 området formell vetenskap är ett formellt språk en uppsättning symbolkedjor 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 ett alfabet. Ur detta bildas "språkkedjorna" (ord). Dessa, om de överensstämmer med reglerna, anses vara "välformade ord" eller "välformade formler".
Artikelindex
Formalspråket syftar till att utbyta data under miljöförhållanden som skiljer sig från andra språk. I programmeringsspråket är slutet till exempel kommunikation mellan människor och datorer eller mellan datoriserade enheter. Det är inte en kommunikation mellan människor.
Så det är ett språk ad hoc, skapas med ett specifikt mål och att fungera under mycket specifika sammanhang. Det används inte heller mycket. Tvärtom är dess användning begränsat till dem som känner till både språkets syfte och dess speciella sammanhang..
Formellt språk bildas genom inrättandet av a priori grammatiska regler som ger grunden. Således utformas först principuppsättningen som styr kombinationen av element (syntax) och sedan genereras formlerna.
Å andra sidan är utvecklingen av formellt språk medvetet. Detta innebär att det krävs långvarig ansträngning för deras lärande. På samma sätt leder dess användning till en specialisering i regler och konventioner för vetenskapligt bruk.
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 belastningen 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.
I naturligt språk har upprepningen av kombinationen "p" och "a" i ordet "papa" det semantiska värdet av förälder. Men på formellt språk gör det inte. I det praktiska fältet ligger betydelsen eller tolkningen av strängarna i den teori som man försöker definiera genom det formella språket.
När den används för linjära ekvationssystem har den således matristeori som en av sina semantiska värden. Å andra sidan har samma system den semantiska belastningen på logiska kretskonstruktioner i datorer.
Sammanfattningsvis beror betydelsen av dessa kedjor på området för formell vetenskap där de används..
Det formella språket är helt symboliskt. Detta är gjord av element vars uppgift ä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 det formella språkets symbologi möjliggör beräkningar och fastställande av sanningar beroende inte på fakta utan på deras förhållanden. Denna symbolik är unik och långt ifrån alla konkreta situationer i den materiella världen..
Det formella språket har en universell karaktär. Till skillnad från den naturliga, som, motiverad av sin subjektivitet, tillåter tolkningar och flera dialekter, är den formella oföränderlig.
I själva verket är det liknande för olika typer av samhällen. Hans uttalanden har samma betydelse för alla forskare oavsett vilket språk de talar.
I allmänhet är det formella språket exakt och inte särskilt uttrycksfullt. Dess formningsregler hindrar dess talare från att skapa 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.
Eftersom framsteg har gjorts i upptäckten av ansökningar om formellt språk har dess utveckling varit exponentiell. Det faktum att den kan manövreras mekaniskt utan att tänka på dess innehåll (dess betydelse) möjliggör en fri kombination av dess symboler och operatörer.
I teorin är expansionens omfattning oändlig. Till exempel relaterar ny forskning inom dator- och informatik 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.
I strängen: (p⋀q) ⋁ (r⋀t) => t symboliserar bokstäverna p, q, r, t propositioner utan någon konkret betydelse. Å andra sidan representerar symbolerna ⋀, ⋁ och => kontakterna som länkar propositionerna. I det här exemplet är de anslutningar som används “och” (⋀), “eller” (⋁), “då” (=>).
Den närmaste översättningen till strängen är: om något av uttrycken inom parentes är sant eller inte, så är t sant eller inte. Kontaktdonen är ansvariga för att skapa relationer mellan propositionerna som kan representera vad som helst ...
I detta matematiska exempel A = ❴x | x⦤3⋀x> 2❵ är en uppsättning med namnet "A" involverad som har element av namnet "x". Alla element i A är relaterade med symbologin ❴, |, ⦤, ⋀,>, ❵.
Alla används här för att definiera de villkor som elementen "x" måste uppfylla för att de ska vara från uppsättningen "A".
Förklaringen till denna kedja är att elementen i denna uppsättning är alla som uppfyller villkoret att vara mindre än eller lika med 3 och samtidigt större än 2. Med andra ord definierar denna kedja talet 3, vilket är enda element som uppfyller villkoren.
Programmeringslinjen IF A = 0, DAN GOTO 30, 5 * A + 1 har en variabel "A" som genomgår en gransknings- och beslutsprocess genom en operatör som kallas "om villkorad".
Uttrycken "IF", "THEN" och "GOTO" är en del av operatörens syntax. Under tiden är resten av elementen jämförelsen och åtgärdsvärdena för "A".
Dess betydelse är: datorn ombeds att utvärdera det aktuella värdet av "A". Om det är lika med noll går det till "30" (en annan programmeringsrad där det kommer att finnas en annan instruktion). Om det skiljer sig från noll multipliceras variabeln “A” (*) med värdet 5 och värdet 1 läggs till (+).
Ingen har kommenterat den här artikeln än.