- egenskaber
- Begrænset miljø
- Grammatik regler priori
- Minimal semantisk komponent
- Symbolsk sprog
- universalitet
- Præcision og udtryksevne
- Udvidelsesmuligheder
- eksempler
- Logik
- Math
- Computer programmering
- Referencer
Det formelle sprog er et sæt sproglige tegn, der udelukkende bruges i situationer, hvor naturligt sprog ikke er passende. Generelt er sprog opdelt i naturligt eller uformelt og kunstigt. Den første bruges til almindelige hverdagssituationer. I mellemtiden bruges det kunstige i specifikke situationer uden for hverdagen.
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 realiteterne i den fysiske verden, men i den abstrakte verden). Nogle af disse videnskaber inkluderer logik, matematik og programmering af computere.
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 formelle videnskaber er et formelt sprog et sæt kæder af symboler, der kan reguleres af love, der er specifikke for hvert af disse videnskaber.
Nu bruger denne type sprog et sæt symboler eller bogstaver som et alfabet. Ud fra dette dannes "sprogkæder" (ord). Disse betragtes som "velformede ord" eller "velformede formler", hvis de overholder reglerne.
egenskaber
Begrænset miljø
Det formelle sprog har til formål at udveksle data under miljøforhold, der er forskellige fra andre sprog. I programmeringssprog er slutningen for eksempel kommunikation mellem mennesker og computere eller mellem edb-enheder. Det er ikke en kommunikation mellem mennesker.
Således er det et ad hoc-sprog, skabt med et specifikt mål og at fungere under meget specifikke kontekster. Det er heller ikke meget brugt. Tværtimod, dets anvendelse er begrænset til dem, der kender både sprogets mål og dets særlige kontekst.
Grammatik regler priori
Formelt sprog dannes fra oprettelsen af a priori grammatiske regler, der giver det grundlaget. Således er først sæt af principper, der styrer kombinationen af elementer (syntaks), designet, 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 brugen til en specialisering i forskrifterne og konventionerne for videnskabelig brug.
Minimal semantisk komponent
Den semantiske komponent i formelt sprog er minimal. En given streng, der hører til det formelle sprog, har ingen mening i sig selv.
Den semantiske byrde, de kan have, kommer delvis fra operatører og relationer. Nogle af disse er: lighed, ulighed, logiske forbindelser og aritmetiske operatører.
I naturligt sprog har gentagelsen af kombinationen af "p" og "a" i ordet "papa" forældrenes semantiske værdi. På formelt sprog gør det det imidlertid ikke. På det praktiske område ligger kædenes betydning eller fortolkning i den teori, som man forsøger at definere gennem dette formelle sprog.
Når den anvendes til lineære ligningssystemer, har den matrixteori som en af dens semantiske værdier. På den anden side har dette samme system den semantiske belastning af logiske kredsløbskonstruktioner i computing.
Afslutningsvis afhænger betydningen af disse kæder af det område med formel videnskab, hvori de anvendes.
Symbolsk sprog
Det formelle sprog er helt 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 skaber nogen semantisk værdi af sig selv.
Formen for konstruktion af symbolsk formel sprog tillader beregninger og etablering af sandheder, afhængigt af fakta, men af deres forhold. Denne symbolik er unik og langt fra enhver konkret situation i den materielle verden.
universalitet
Formelt sprog har en universel karakter. I modsætning til den naturlige, der, motiveret af dens subjektivitet, tillader fortolkninger og flere dialekter, er den formelle en uundgåelig.
Faktisk er det ens for forskellige typer samfund. Hans udsagn har samme betydning for alle forskere uanset hvilket sprog de taler.
Præcision og udtryksevne
Generelt er det formelle sprog præcist og ikke meget udtryksfuldt. Dens dannelsesregler forhindrer dens talere i at sammenfatte nye udtryk eller give nye betydninger til eksisterende vilkår. Og det kan ikke bruges til at formidle tro, stemning og psykologiske situationer.
Udvidelsesmuligheder
Da der er gjort fremskridt med opdagelsen af ansøgninger om formelt sprog, har dens udvikling været eksponentiel. Det faktum, at det kan betjenes mekanisk uden at tænke over dets indhold (dets betydning) tillader den frie kombination af dens symboler og operatører.
I teorien er udvidelsesomfanget 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 til at forbedre ækvivalensen mellem dem. I sidste ende er det, der søges, at skabe intelligens, der kan bruge formelt sprog til at producere naturligt sprog.
eksempler
Logik
I strengen: (p⋀q) ⋁ (r⋀t) => t, bogstaverne p, q, r, t symboliserer forslag uden nogen konkret betydning. På den anden side repræsenterer symbolerne ⋀, ⋁ og => de stik, der forbinder forslagene. I dette særlige eksempel er de anvendte stik “og” (⋀), “eller” (⋁), “derefter” (=>).
Den tætteste oversættelse til strengen er: hvis nogen af udtrykkene i parenteser er sandt eller ej, er t sandt eller ej. Stikkene er ansvarlige for at etablere forholdet mellem de forslag, der kan repræsentere noget.
Math
I dette matematiske eksempel A = ❴xx⦤3⋀x> 2❵, griber et sæt med navn "A", der har elementer med navnet "x", ind. Alle elementerne i A er relateret til symbologien ❴, -, ⦤, ⋀,>, ❵.
Alle bruges her til at definere de betingelser, som elementerne "x" skal opfylde, så de kan 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 det eneste element, der opfylder betingelserne.
Computer programmering
Programmeringslinjen IF A = 0, DAN GOTO 30, 5 * A + 1 har en variabel “A” underkastet en gennemgang og beslutningsproces gennem en operatør, der kaldes “hvis betinget”.
Udtrykkene "IF", "THEN" og "GOTO" er en del af operatørsyntaxen. 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). I tilfælde af at det er forskelligt fra nul, multipliceres variablen "A" (*) med værdien 5, og værdien 1 tilføjes (+) til den.
Referencer
- Collins ordbog. (s / f). Definition af 'formelt sprog'. Taget fra collinsdictionary.com.
- University of Technology, Sydney. (s / f). Formelt og uformelt sprog. Taget fra uts.edu.au.
- Definitioner. (s / f). Definitioner for formelt sprog. Taget fra definitionions.net.
- Det tekniske universitet i Madrid. (s / f). Naturlige sprog og formelle sprog. Taget fra lorien.die.upm.es.
- Luján Kommune. (s / f). Det formelle sprog. Taget fra lujan.magnaplus.org.
- Corbin, JA (s / f). De 12 sprogtyper (og deres egenskaber). psychologiaymente.com.
- Bel Enguix, G. og Jiménez López, MD (s / f). Symposium: Nye anvendelser af teorien om formelle sprog til sprogvidenskab. Taget fra elvira.lllf.uam.es.