Det formelt sprog er et sæt sproglige tegn til eksklusiv brug i situationer, hvor naturligt sprog ikke er egnet. Generelt er sprog opdelt i naturligt eller uformelt og kunstigt. Den første bruges til almindelige situationer i det daglige liv. I mellemtiden bruges det kunstige i specifikke situationer uden for hverdagens rækkevidde.
På denne måde er formelt sprog en del af gruppen af kunstige. Dette bruges især i de formelle videnskaber (dem, hvis handlingsfelt ikke er realiteten i den fysiske verden, men i den abstrakte verden). Nogle af disse videnskaber inkluderer logik, matematik og computerprogrammering..
I denne forstand bruger denne form for sprog sproglige koder, der ikke er naturlige (de har ingen anvendelse inden for kommunikation i den almindelige verden). Inden for formel videnskab er et formelt sprog et sæt symbolkæder, der kan reguleres af love, der er specifikke for hver af disse videnskaber..
Nu bruger denne type sprog et sæt symboler eller bogstaver som et alfabet. Ud fra dette dannes "sprogkæderne" (ord). Disse, hvis de overholder reglerne, betragtes som "velformede ord" eller "velformede formler".
Artikelindeks
Formalsproget har til formål at udveksle data under andre miljømæssige forhold end andre sprog. For eksempel i programmeringssprog er slutningen kommunikation mellem mennesker og computere eller mellem computeriserede enheder. Det er ikke en kommunikation mellem mennesker.
Så det er et sprog ad hoc, skabt med et specifikt mål og til at fungere under meget specifikke sammenhænge. Det er heller ikke meget brugt. Tværtimod er dets anvendelse begrænset til dem, der kender både formålet med sproget og dets særlige sammenhæng..
Formelt sprog dannes ved etablering af a priori grammatiske regler, der giver det grundlaget. Således designes først sæt af principper, der styrer kombinationen af elementer (syntaks), og derefter genereres formlerne.
På den anden side er udviklingen af formelt sprog bevidst. Dette betyder, at der kræves vedvarende indsats for deres læring. På samme måde fører dets anvendelse til en specialisering i forskrifterne og konventionerne om videnskabelig anvendelse.
Den semantiske komponent i det formelle sprog er minimal. En given streng, der hører til det formelle sprog, har ingen betydning i sig selv.
Den semantiske belastning, de kan have, kommer delvist fra operatører og relationer. Nogle af disse er: lighed, ulighed, logiske forbindelser og aritmetiske operatorer.
I det naturlige sprog har gentagelsen af kombinationen af "p" og "a" i ordet "papa" den semantiske værdi af forælder. Men på formelt sprog gør det det ikke. I det praktiske felt ligger betydningen eller fortolkningen af strengene i den teori, som man forsøger at definere gennem det formelle sprog.
Når det således bruges til lineære ligningssystemer, har det matrixteori som en af dets semantiske værdier. På den anden side har det samme system den semantiske belastning af logiske kredsløbsdesign i computing.
Afslutningsvis afhænger betydningen af disse kæder af det område, hvor de formelle videnskaber anvendes..
Det formelle sprog er totalt symbolsk. Dette er lavet af elementer, hvis mission er at overføre forholdet mellem dem. Disse elementer er de formelle sproglige tegn, der som nævnt ikke genererer nogen semantisk værdi i sig selv..
Konstruktionsformen for det formelle sprogs symbologi tillader beregninger og etablering af sandheder afhængigt af fakta, men af deres forhold. Denne symbolik er unik og langt væk fra enhver konkret situation i den materielle verden..
Det formelle sprog har en universel karakter. I modsætning til den naturlige, som, motiveret af sin subjektivitet, tillader fortolkninger og flere dialekter, er den formelle uforanderlig.
Faktisk er det ens for forskellige typer samfund. Hans udsagn har den samme betydning for alle forskere uanset hvilket sprog de taler.
Generelt er det formelle sprog præcist og ikke særlig udtryksfuldt. Dannelsesreglerne forhindrer dets højttalere i at opfinde nye udtryk eller give eksisterende betydninger nye betydninger. Og det kan ikke bruges til at formidle tro, humør og psykologiske situationer.
Da der er gjort fremskridt med at finde applikationer til formelt sprog, har dets udvikling været eksponentiel. Det faktum, at det kan betjenes mekanisk uden at tænke på dets indhold (dets betydning) tillader den gratis kombination af dets symboler og operatorer.
I teorien er omfanget af ekspansion uendeligt. For eksempel vedrører nyere forskning inden for computing og informatik begge sprog (naturlige og formelle) til praktiske formål..
Specifikt arbejder grupper af forskere på måder at forbedre ækvivalensen mellem dem. I sidste ende søges det at skabe intelligens, der kan bruge formelt sprog til at producere et naturligt sprog.
I strengen: (p⋀q) ⋁ (r⋀t) => t symboliserer bogstaverne p, q, r, t propositioner uden nogen konkret betydning. På den anden side repræsenterer symbolerne ⋀, ⋁ og => de stik, der forbinder propositionerne. I dette særlige eksempel er de anvendte stik “og” (⋀), “eller” (⋁), “derefter” (=>).
Den nærmeste oversættelse til strengen er: hvis nogen af udtrykkene i parentes er sande eller ej, så er t sandt eller ej. Stikkene har ansvaret for at etablere forholdet mellem forslagene, der kan repræsentere alt ...
I dette matematiske eksempel A = ❴x | x⦤3⋀x> 2❵ er et sæt med navnet “A” involveret, der har elementer med navnet “x”. Alle elementer i A er relateret med symbologien ❴, |, ⦤, ⋀,>, ❵.
Alle bruges her til at definere de betingelser, som elementerne "x" skal opfylde for at de skal være fra sættet "A".
Forklaringen på denne kæde er, at elementerne i dette sæt er alle dem, der opfylder betingelsen om at være mindre end eller lig med 3 og på samme tid større end 2. Med andre ord definerer denne kæde tallet 3, som er kun element, der opfylder betingelserne.
Programmeringslinjen IF A = 0, DAN GOTO 30, 5 * A + 1 har en variabel "A" udsat for en gennemgang og beslutningsproces gennem en operatør kendt som "hvis betinget".
Udtrykkene "IF", "THEN" og "GOTO" er en del af operatørens syntaks. I mellemtiden er resten af elementerne sammenlignings- og handlingsværdierne for "A".
Dens betydning er: computeren bliver bedt om at evaluere den aktuelle værdi af "A". Hvis det er lig med nul, går det til "30" (en anden programmeringslinje, hvor der vil være en anden instruktion). Hvis det adskiller sig fra nul, multipliceres variablen “A” (*) med værdien 5, og værdien 1 tilføjes (+).
Endnu ingen kommentarer