De formelt språk er et sett med språklige tegn for eksklusiv bruk i situasjoner der naturlig språk ikke er egnet. Generelt er språk delt inn i naturlig eller uformell og kunstig. Den første brukes til vanlige situasjoner i det daglige. I mellomtiden brukes det kunstige i spesifikke situasjoner utenfor hverdagens omfang.
På denne måten er formelt språk en del av gruppen kunstige. Dette brukes spesielt i den formelle vitenskapen (de hvis handlingsfelt ikke er realitetene i den fysiske verden, men i den abstrakte verden). Noen av disse vitenskapene inkluderer logikk, matematikk og dataprogrammering..
I denne forstand bruker denne typen språk språklige koder som ikke er naturlige (de har ingen anvendelse innen kommunikasjon i den vanlige verden). Innen formelle vitenskaper er et formelt språk et sett med kjeder av symboler som kan reguleres av lover som er spesifikke for hver av disse vitenskapene..
Nå bruker denne typen språk et sett med symboler eller bokstaver som et alfabet. Fra dette dannes "språkkjedene" (ord). Disse, hvis de overholder reglene, betraktes som "velformede ord" eller "velformede formler".
Artikkelindeks
Formalspråket tar sikte på å utveksle data under andre miljøforhold enn andre språk. For eksempel i programmeringsspråk er slutten kommunikasjon mellom mennesker og datamaskiner eller mellom datastyrte enheter. Det er ikke en kommunikasjon mellom mennesker.
Så det er et språk ad hoc, skapt med et bestemt mål og å fungere under veldig spesifikke sammenhenger. Dessuten er det ikke mye brukt. Tvert imot er bruken av den begrenset til de som kjenner både språket og dets spesielle kontekst..
Formelt språk dannes fra etableringen av a priori grammatiske regler som gir det grunnlaget. Dermed blir først prinsippsettet som styrer kombinasjonen av elementer (syntaks) designet, og deretter genereres formlene.
På den annen side er utviklingen av formelt språk bevisst. Dette betyr at det kreves vedvarende innsats for læringen. På samme måte fører bruken til en spesialisering i regelverk og konvensjoner for vitenskapelig bruk.
Den semantiske komponenten i formelt språk er minimal. En gitt streng som tilhører det formelle språket har ingen betydning i seg selv.
Den semantiske belastningen de kan ha, kommer delvis fra operatører og relasjoner. Noen av disse er: likestilling, ulikhet, logiske tilkoblinger og regneoperatører.
På naturlig språk har gjentakelsen av kombinasjonen av "p" og "a" i ordet "papa" den semantiske verdien av foreldre. Imidlertid gjør det ikke på formelt språk. I det praktiske feltet ligger betydningen eller tolkningen av strengene i teorien som man prøver å definere gjennom det formelle språket.
Dermed, når den brukes til lineære ligningssystemer, har den matriksteori som en av sine semantiske verdier. På den annen side har det samme systemet den semantiske belastningen av logiske kretsdesign i databehandling.
Avslutningsvis avhenger betydningen av disse kjedene av området for formell vitenskap der de brukes..
Formalspråket er totalt symbolsk. Dette er laget av elementer hvis oppgave er å overføre forholdet mellom dem. Disse elementene er de formelle språklige tegnene som, som nevnt, ikke genererer noen semantisk verdi av seg selv..
Formen for konstruksjon av symbologien til det formelle språket tillater beregninger og etablering av sannheter, avhengig av fakta, men av forholdet mellom dem. Denne symbolikken er unik og langt borte fra enhver konkret situasjon i den materielle verden..
Formalspråket har en universell karakter. I motsetning til den naturlige, som, motivert av subjektiviteten, tillater tolkninger og flere dialekter, er den formelle uforanderlig.
Faktisk er det likt for forskjellige typer samfunn. Hans uttalelser har samme betydning for alle forskere uavhengig av språket de snakker.
Generelt er det formelle språket presist og lite uttrykksfullt. Dannelsesreglene hindrer høyttalerne i å lage nye vilkår eller gi eksisterende betydninger nye betydninger. Og det kan ikke brukes til å formidle tro, stemninger og psykologiske situasjoner.
Etter hvert som det er gjort fremgang i oppdagelsen av applikasjoner for formelt språk, har utviklingen vært eksponentiell. Det faktum at den kan betjenes mekanisk uten å tenke på innholdet (dens betydninger) tillater den gratis kombinasjonen av symboler og operatører.
I teorien er omfanget av utvidelse uendelig. For eksempel, nylig forskning innen databehandling og informatikk relaterer begge språkene (naturlige og formelle) for praktiske formål..
Spesielt jobber grupper av forskere med måter å forbedre ekvivalensen mellom dem. Til slutt er det som søkes å skape intelligens som kan bruke formelt språk for å produsere naturlig språk.
I strengen: (p⋀q) ⋁ (r⋀t) => t symboliserer bokstavene p, q, r, t proposisjoner uten noen konkret betydning. På den annen side representerer symbolene ⋀, ⋁ og => kontaktene som knytter proposisjonene. I dette spesifikke eksemplet er kontaktene som brukes “og” (⋀), “eller” (⋁), “deretter” (=>).
Den nærmeste oversettelsen til strengen er: hvis noen av uttrykkene i parentes er sanne eller ikke, så er t sant eller ikke. Kontaktene har ansvaret for å etablere forholdet mellom forslagene som kan representere hva som helst ...
I dette matematiske eksemplet A = ❴x | x⦤3⋀x> 2❵ er et sett med navnet “A” involvert som har elementer av navnet “x”. Alle elementene i A er beslektet av symbologien ❴, |, ⦤, ⋀,>, ❵.
Alle brukes her for å definere betingelsene som elementene "x" må oppfylle for at de skal være fra settet "A".
Forklaringen på denne kjeden er at elementene i dette settet er alle de som oppfyller betingelsen om å være mindre enn eller lik 3 og samtidig større enn 2. Med andre ord definerer denne kjeden tallet 3, som er eneste element som oppfyller vilkårene.
Programmeringslinjen IF A = 0, DAN GOTO 30, 5 * A + 1 har en variabel "A" utsatt for en gjennomgang og beslutningsprosess gjennom en operatør kjent som "hvis betinget".
Uttrykkene "IF", "THEN" og "GOTO" er en del av operatørens syntaks. I mellomtiden er resten av elementene sammenlignings- og handlingsverdiene til "A".
Betydningen er: datamaskinen blir bedt om å evaluere den nåværende verdien av "A". Hvis det er lik null, vil det gå til "30" (en annen programmeringslinje der det vil være en annen instruksjon). Hvis den er forskjellig fra null, vil variabelen “A” multipliseres (*) med verdien 5 og verdien 1 vil bli lagt til (+).
Ingen har kommentert denne artikkelen ennå.