Del:
Formelle sprogfunktioner og eksempler
den formelt sprog er et sæt sproglige tegn til eksklusiv brug i situationer, hvor det naturlige sprog ikke er hensigtsmæssigt. Sproget er generelt opdelt i naturligt eller uformelt og kunstigt. Den første bruges til almindelige situationer i det daglige liv. I mellemtiden anvendes den kunstige i særlige situationer uden for hverdagen.
På denne måde er formelt sprog en del af den kunstige gruppe. Dette bruges, især i de formelle videnskaber (dem hvis indsatsområde ikke er realiteterne i den fysiske verden, men den abstrakte verden). Nogle af disse videnskaber omfatter logik, matematik og computer programmering.
På denne måde anvender denne slags 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 hver af disse videnskaber.
Nu bruger denne type sprog et sæt symboler eller bogstaver som et alfabet. Herfra dannes "sprogkæder" (ord). Disse, hvis de overholder reglerne, betragtes som "velformulerede ord" eller "velformede formler".
indeks
- 1 kendetegn
- 1.1 Begrænset miljø
- 1.2 A priori grammatiske regler
- 1.3 Minimum semantisk komponent
- 1.4 Symbolsk sprog
- 1,5 universalitet
- 1.6 Præcision og udtryksevne
- 1.7 Udvidelseskapacitet
- 2 Eksempler
- 2.1 Logik
- 2.2 Matematik
- 2.3 Computer programmering
- 3 referencer
funktioner
Begrænset miljø
Formålet med det formelle sprog er at udveksle data under forskellige miljøforhold end andre sprog. For eksempel i slutningen af programmeringssproget er kommunikationen mellem mennesker og computere eller mellem computeriserede enheder. Det er ikke en kommunikation mellem mennesker.
Det er således et ad hoc-sprog, der er oprettet med et specifikt mål og at fungere under meget specifikke sammenhænge. Det bruges også ikke på en massiv måde. Tværtimod er brugen begrænset til dem, der kender både sprogets mål og dets særlige sammenhæng.
Grammatik regler a priori
Det formelle sprog er dannet af etableringen af a priori grammatiske regler, der giver grundlaget. Så først designer vi sæt af principper, der styrer kombinationen af elementer (syntaks) og derefter genererer formlerne.
På den anden side er udviklingen af formelt sprog bevidst. Det betyder, at der er behov for en vedvarende indsats for deres læring. I samme rækkefølge fører ideen til en specialisering i forskrifter og konventioner af videnskabelig anvendelse.
Minimum semantisk komponent
Den semantiske komponent i formelt sprog er minimal. En bestemt kæde tilhørende formelle sprog har ingen betydning alene.
Den semantiske belastning, de måtte have, kommer dels fra operatører og relationer. Nogle af disse er: ligestilling, ulighed, logiske forbindelser og aritmetiske operatører.
I naturligt sprog har gentagelsen af kombinationen "p" og "a" i ordet "far" den semantiske værdi af forældre. Men i formelt sprog gør det det ikke. På det praktiske område ligger betydningen eller fortolkningen af kæderne i den teori, der er forsøgt at definere gennem det formelle sprog.
Når den anvendes til lineære ligningssystemer, har den således matrixteori som en af dets semantiske værdier. På den anden side har det samme system den semantiske belastning af logiske kredsløbsdesign i databehandling.
Afslutningsvis afhænger betydningen af disse kæder på området for de formelle videnskaber, hvori de anvendes.
Symbolsk sprog
Det formelle sprog er helt symbolsk. Dette er lavet af elementer, hvis mission er at formidle forholdet mellem dem. Disse elementer er de formelle sproglige tegn, der som nævnt ikke genererer nogen semantisk værdi alene.
Den formelle konstruktion af den formelle sprog symbologi giver os mulighed for at lave beregninger og etablere sandheder, der ikke afhænger af fakta, men om deres forhold. Denne symbologi er unik og langt fra enhver konkret situation i den materielle verden.
universalitet
Det formelle sprog har en universel karakter. I modsætning til den naturlige, der motiveres til dens subjektivitet tillader fortolkninger og flere dialekter, forekommer den formelle uændret.
Faktisk er det ens for forskellige typer lokalsamfund. Deres tilgange har samme betydning for alle videnskabsfolk uanset hvilket sprog de taler.
Præcision og udtryksevne
Generelt er det formelle sprog præcist og ikke meget udtryksfuldt. Dens regler for dannelse forhindrer dets højttalere i at samle nye vilkår eller give nye betydninger til eksisterende udtryk. Og det kan ikke bruges til at formidle tro, humør og psykiske situationer.
Udvidelseskapacitet
I den foranstaltning, hvor der er gjort fremskridt med opdagelsen af ansøgninger om formelt sprog, er udviklingen blevet eksponeret. Den kendsgerning, at den kan betjenes mekanisk uden at tænke på dens indhold (dets betydninger) tillader den frie kombination af dets symboler og operatører.
I teorien er omfanget af ekspansion uendeligt. For eksempel relaterer de seneste undersøgelser inden for computing og computing begge sprog (naturligt og formelt) til praktiske formål.
Specifikt arbejder forskergrupper på måder at forbedre ækvivalensen mellem dem. I sidste ende er det, der forfølges, at skabe intelligens, der kan bruge formelt sprog til at producere naturligt sprog.
eksempler
logik
I strengen: (p⋀q) ⋁ (r⋀t) => t symboliserer bogstaverne p, q, r, t propositioner uden konkret betydning. På den anden side repræsenterer symbolerne ⋀, ⋁ og => de stik, der forbinder propositionerne. I dette særlige eksempel er forbindelserne, der anvendes, "y" (⋀), "o" (⋁), "then" (=>).
Den nærmeste oversættelse til strengen er: Hvis nogen af udtrykkene inden for parentes er opfyldt eller ej, bliver t opfyldt eller ikke opfyldt. Konnektorerne har ansvaret for at etablere relationerne mellem de propositioner, der kan repræsentere noget ...
matematisk
I dette matematiske eksempel A = ❴x | x⦤3⋀x> 2 inter intervenerer et sæt med navn "A", der har elementer af navn "x". Alle elementer i A er relateret af symbolen ❴, |, ⦤, ⋀,>, ❵.
Alle bruges her til at definere de betingelser, som elementerne "x" skal opfylde, så de kan være af sæt "A".
Forklaringen på denne kæde er, at elementerne i dette sæt er dem, der opfylder betingelsen om at være mindre end eller lig med 3 og samtidig større end 2. Med andre ord, denne streng definerer antallet 3, som er det eneste element opfylder betingelserne.
Computer programmering
Programmeringslinjen IF A = 0, THEN GOTO 30, 5 * A + 1 har en variabel "A" indsendt til en proces med gennemgang og beslutningstagning 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 aktionsværdierne for "A".
Dens betydning er: computeren bliver bedt om at evaluere den aktuelle værdi af "A". Hvis det er lig med nul, vil det gå til "30" (en anden programmeringslinje, hvor der vil være en anden instruktion). Hvis den er forskellig fra nul, multipliceres variablen "A" (*) med værdien 5 og vil blive tilføjet (+) værdien 1.
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. Hentet fra definitions.net.
- Technical University of Madrid. (s / f). Naturlige sprog og formelle sprog. Taget fra lorien.die.upm.es.
- Luján Kommune. (s / f). Det formelle sprog Modtaget fra lujan.magnaplus.org.
- Corbin, J.A. (s / f). De 12 sprogtyper (og deres egenskaber). psicologiaymente.com.
- Bel Enguix, G. og Jiménez López, M. D. (s / f). Symposium: Nye anvendelser af teorien om formelle sprog til lingvistik. Taget fra elvira.lllf.uam.es.