De formele taal is een reeks taaltekens die uitsluitend worden gebruikt in situaties waarin natuurlijke taal niet geschikt is. Over het algemeen is taal onderverdeeld in natuurlijk of informeel en kunstmatig. De eerste wordt gebruikt voor veelvoorkomende situaties in het dagelijks leven. Ondertussen wordt het kunstmatige gebruikt in specifieke situaties buiten het dagelijkse leven.
Op deze manier maakt formele taal deel uit van de groep kunstmatige taal. Dit wordt vooral gebruikt in de formele wetenschappen (die waarvan het werkterrein niet de realiteit van de fysieke wereld is, maar van de abstracte wereld). Sommige van deze wetenschappen omvatten logica, wiskunde en computerprogrammering..
In die zin gebruikt dit soort taal taalcodes die niet natuurlijk zijn (ze hebben geen toepassing in communicatie in de gewone wereld). Op het gebied van formele wetenschappen is een formele taal een reeks ketens van symbolen die kunnen worden gereguleerd door wetten die specifiek zijn voor elk van deze wetenschappen..
Dit type taal gebruikt nu een reeks symbolen of letters als alfabet. Hieruit worden de "taalketens" (woorden) gevormd. Deze worden, als ze aan de regels voldoen, beschouwd als 'goed gevormde woorden' of 'goed opgemaakte formules'.
Artikel index
De formele taal is bedoeld om gegevens uit te wisselen onder omgevingsomstandigheden die verschillen van die van andere talen. In programmeertaal is het doel bijvoorbeeld communicatie tussen mensen en computers of tussen computergestuurde apparaten. Het is geen communicatie tussen mensen.
Het is dus een taal AD hoc, gemaakt met een specifiek doel en om te functioneren in zeer specifieke contexten. Het wordt ook niet veel gebruikt. Integendeel, het gebruik ervan is beperkt tot degenen die zowel het doel van de taal als de specifieke context kennen..
Formele taal wordt gevormd door de vaststelling van a priori grammaticale regels die het de basis vormen. Dus eerst wordt de set principes ontworpen die de combinatie van elementen (syntaxis) beheersen en vervolgens worden de formules gegenereerd.
Aan de andere kant is de ontwikkeling van formele taal bewust. Dit betekent dat aanhoudende inspanning vereist is om te leren. In dezelfde geest leidt het gebruik ervan tot een specialisatie in de voorschriften en conventies van wetenschappelijk gebruik.
De semantische component in formele taal is minimaal. Een bepaalde string die tot de formele taal behoort, heeft op zichzelf geen betekenis.
De semantische belasting die ze kunnen hebben, is gedeeltelijk afkomstig van operators en relaties. Enkele hiervan zijn: gelijkheid, ongelijkheid, logische connectieven en rekenkundige operatoren.
In natuurlijke taal heeft de herhaling van de combinatie van "p" en "a" in het woord "papa" de semantische waarde van ouder. In formele taal is dat echter niet het geval. In de praktijk berust de betekenis of interpretatie van de strings in de theorie die men probeert te definiëren door middel van die formele taal.
Dus wanneer het wordt gebruikt voor lineaire stelsels van vergelijkingen, heeft het matrixtheorie als een van de semantische waarden. Aan de andere kant heeft ditzelfde systeem de semantische belasting van logische circuitontwerpen in computers.
Concluderend: de betekenissen van deze ketens zijn afhankelijk van het gebied van de formele wetenschappen waarin ze worden toegepast..
De formele taal is volledig symbolisch. Dit is gemaakt van elementen waarvan de missie is om de relatie tussen hen over te brengen. Deze elementen zijn de formele taaltekens die, zoals gezegd, op zichzelf geen semantische waarde genereren..
De constructievorm van de symbologie van formele taal maakt berekeningen en het vaststellen van waarheden mogelijk, niet afhankelijk van de feiten, maar van hun relaties. Deze symboliek is uniek en ver verwijderd van elke concrete situatie in de materiële wereld..
De formele taal heeft een universeel karakter. In tegenstelling tot de natuurlijke, die, gemotiveerd door zijn subjectiviteit, interpretaties en meerdere dialecten mogelijk maakt, is de formele onveranderlijk.
In feite is het vergelijkbaar voor verschillende soorten gemeenschappen. Zijn uitspraken hebben dezelfde betekenis voor alle wetenschappers, ongeacht de taal die ze spreken.
Over het algemeen is de formele taal nauwkeurig en niet erg expressief. De oprichtingsregels verhinderen dat de sprekers nieuwe termen bedenken of nieuwe betekenissen geven aan bestaande termen. En het kan niet worden gebruikt om overtuigingen, stemmingen en psychologische situaties over te brengen.
Aangezien er vooruitgang is geboekt bij het ontdekken van toepassingen voor formele taal, is de ontwikkeling ervan exponentieel geweest. Het feit dat het mechanisch kan worden bediend zonder na te denken over de inhoud (de betekenis ervan), maakt de vrije combinatie van symbolen en operators mogelijk.
In theorie is de reikwijdte van expansie oneindig. Recent onderzoek op het gebied van informatica en informatica brengt bijvoorbeeld beide talen (natuurlijk en formeel) met elkaar in verband voor praktische doeleinden..
Concreet werken groepen wetenschappers aan manieren om de gelijkwaardigheid tussen hen te verbeteren. Uiteindelijk wordt er gezocht naar het creëren van intelligentie die formele taal kan gebruiken om natuurlijke taal te produceren.
In de string: (p⋀q) ⋁ (r⋀t) => t, symboliseren de letters p, q, r, t proposities zonder enige concrete betekenis. Aan de andere kant vertegenwoordigen de symbolen ⋀, ⋁ en => de connectoren die de proposities met elkaar verbinden. In dit specifieke voorbeeld zijn de gebruikte connectoren "en" (⋀), "of" (⋁), "dan" (=>).
De vertaling die het dichtst bij de string komt, is: als een van de uitdrukkingen tussen haakjes waar is of niet, dan is t waar of niet. De connectoren zijn verantwoordelijk voor het leggen van de relaties tussen de proposities die alles kunnen vertegenwoordigen ...
In dit wiskundige voorbeeld A = ❴x | x⦤3⋀x> 2❵ is een set met naam "A" betrokken die elementen van naam "x" bevat. Alle elementen van A zijn gerelateerd door de symbologie ❴, |, ⦤, ⋀,>, ❵.
Ze worden hier allemaal gebruikt om de voorwaarden te definiëren waaraan de elementen 'x' moeten voldoen om uit de reeks 'A' te komen.
De verklaring van deze ketting is dat de elementen van deze set allemaal voldoen aan de voorwaarde dat ze kleiner zijn dan of gelijk zijn aan 3 en tegelijkertijd groter zijn dan 2. Met andere woorden, deze ketting definieert het getal 3, dat is de enige element dat aan de voorwaarden voldoet.
De programmeerregel IF A = 0, THEN GOTO 30, 5 * A + 1 heeft een variabele "A" die wordt onderworpen aan een evaluatie- en besluitvormingsproces via een operator die bekend staat als "indien voorwaardelijk".
De uitdrukkingen "IF", "THEN" en "GOTO" maken deel uit van de operatorsyntaxis. Ondertussen zijn de rest van de elementen de vergelijkings- en actiewaarden van "A".
De betekenis ervan is: de computer wordt gevraagd om de huidige waarde van "A" te evalueren. Als het gelijk is aan nul, gaat het naar "30" (een andere programmeerregel waar een andere instructie zal zijn). Als het niet nul is, wordt de variabele "A" vermenigvuldigd (*) met de waarde 5 en wordt de waarde 1 toegevoegd (+).
Niemand heeft nog op dit artikel gereageerd.