Formele taalkenmerken en voorbeelden

de formele taal is een verzameling taaltekens voor exclusief gebruik in situaties waarin natuurlijke taal niet geschikt is. Over het algemeen is de taal verdeeld in natuurlijk of informeel en kunstmatig. De eerste wordt gebruikt voor veel voorkomende 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 kunstmatige groep. Dit wordt gebruikt, vooral in de formele wetenschappen (degenen wiens werkterrein niet de realiteit van de fysieke wereld is, maar de abstracte wereld). Sommige van deze wetenschappen omvatten logica, wiskunde en computerprogrammering.

In deze zin gebruikt dit soort taal taalcodes die niet natuurlijk zijn (ze hebben geen toepassing binnen de communicatie in de gewone wereld). Op het gebied van de formele wetenschappen is een formele taal een verzameling ketens van symbolen die kunnen worden gereguleerd door wetten die specifiek zijn voor elk van deze wetenschappen.

Nu gebruikt dit type taal een reeks symbolen of letters als een alfabet. Hieruit worden de "ketens van taal" (woorden) gevormd. Deze worden, als ze aan de regels voldoen, beschouwd als "goed gevormde woorden" of "goedgevormde formules".

index

• 1 Kenmerken
  • 1.1 Beperkte omgeving
  • 1.2 A priori grammaticale regels
  • 1.3 Minimale semantische component
  • 1.4 Symbolische taal
  • 1.5 Universaliteit
  • 1.6 Precisie en expressiviteit
  • 1.7 Uitbreidingscapaciteit
• 2 voorbeelden
  • 2.1 Logica
  • 2.2 Wiskunde
  • 2.3 Computerprogrammering
• 3 referenties

features

Beperkte omgeving

Het doel van de formele taal is om gegevens uit te wisselen onder verschillende omgevingscondities dan andere talen. In de programmeertaal bijvoorbeeld, is het einde de communicatie tussen mensen en computers of tussen geautomatiseerde apparaten. Het is geen communicatie tussen mensen.

Het is dus een ad hoc-taal, gemaakt met een specifiek doel en om te functioneren onder zeer specifieke contexten. Het wordt ook niet op een enorme manier gebruikt. Integendeel, het gebruik ervan is beperkt tot degenen die zowel het doel van de taal als zijn specifieke context kennen.

Grammatica regels a priori

De formele taal wordt gevormd door het opstellen van a priori grammaticale regels die de basis vormen. Dus, eerst ontwerpen we de set principes die de combinatie van elementen (syntaxis) zullen bepalen en vervolgens de formules genereren.

Aan de andere kant is de ontwikkeling van formele taal bewust. Dit betekent dat er een aanhoudende inspanning nodig is voor hun leren. In dezelfde volgorde van ideeën leidt het gebruik ervan tot een specialisatie in de regels en conventies van wetenschappelijk gebruik.

Minimale semantische component

De semantische component in formele taal is minimaal. Een bepaalde keten die tot formele taal behoort, heeft op zich geen betekenis.

De semantische lading die ze kunnen hebben komt deels van operators en relaties. Sommige 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 bovenliggend niveau. In formele taal echter niet. In de praktijk ligt de betekenis of interpretatie van de ketens in de theorie die via die formele taal geprobeerd wordt te definiëren.

Dus, wanneer het wordt gebruikt voor lineaire vergelijkingssystemen, heeft het de matrixtheorie als een van zijn semantische waarden. Aan de andere kant heeft ditzelfde systeem de semantische belasting van logische schakelingontwerpen in computergebruik.

Concluderend, de betekenissen van deze ketens zijn afhankelijk van het gebied van de formele wetenschappen waarin ze worden toegepast.

Symbolische taal

De formele taal is volledig symbolisch. Dit is gemaakt van elementen waarvan de missie is om de relatie tussen hen te overbrengen. Deze elementen zijn de formele taaltekenen die, zoals gezegd, zelf geen semantische waarde genereren.

De vorm van constructie van de formele taalsymboliek stelt ons in staat om berekeningen te maken en waarheden vast te stellen, niet afhankelijk van de feiten, maar van hun relaties. Deze symboliek is uniek en verre van elke concrete situatie in de materiële wereld.  

algemeenheid

De formele taal heeft een universeel karakter. In tegenstelling tot de natuurlijke, die gemotiveerd is voor zijn subjectiviteit, maakt hij interpretaties en meerdere dialecten mogelijk, de formele lijkt onveranderd.

In feite is het vergelijkbaar voor verschillende soorten gemeenschappen. Hun benaderingen hebben dezelfde betekenis voor alle wetenschappers, ongeacht de taal die zij spreken.

Precisie en expressiviteit

Over het algemeen is de formele taal nauwkeurig en niet erg expressief. De regels van vorming ervan voorkomen dat de sprekers nieuwe termen bedenken of nieuwe betekenissen aan bestaande voorwaarden geven. En het kan niet worden gebruikt om overtuigingen, stemmingen en psychologische situaties over te brengen.

Uitbreidingscapaciteit

In de mate waarin vooruitgang is geboekt bij de ontdekking van toepassingen voor formele taal, is de ontwikkeling ervan exponentieel geworden. Het feit dat het mechanisch kan worden bediend zonder na te denken over de inhoud (de betekenissen) maakt de vrije combinatie van symbolen en operatoren mogelijk.

In theorie is de reikwijdte van expansie oneindig. Recente onderzoeken op het gebied van computergebruik en computergebruik hebben bijvoorbeeld betrekking op zowel talen (natuurlijk als formeel) voor praktische doeleinden.

Specifiek, groepen wetenschappers werken aan manieren om de gelijkwaardigheid tussen hen te verbeteren. Uiteindelijk wordt er naar gestreefd intelligentie te creëren die formele taal kan gebruiken om natuurlijke taal te produceren.

Voorbeelden

logica

In de string: (p⋀q) ⋁ (r⋀t) => t symboliseren de letters p, q, r, proposities zonder concrete betekenis. Aan de andere kant vertegenwoordigen de symbolen ⋀, ⋁ en => de connectoren die de proposities verbinden. In dit specifieke voorbeeld zijn de connectors die worden gebruikt "y" (⋀), "o" (⋁), "then" (=>).

De dichtstbijzijnde vertaling van de string is: als een van de expressies tussen haakjes is voldaan of niet, dan wordt aan t wel of niet voldaan. De connectoren zijn verantwoordelijk voor het vaststellen van de relaties tussen de proposities die alles kunnen vertegenwoordigen ...

wiskundig

In dit wiskundige voorbeeld A = ❴x | x⦤3⋀x> 2❵ grijpt een set met de naam "A" met elementen van de naam "x" in. Alle elementen van A zijn gerelateerd aan de symbologie ❴, |, ⦤, ⋀,>, ❵.

Ze worden allemaal hier gebruikt om de voorwaarden te definiëren waaraan de elementen "x" moeten voldoen, zodat ze van de set "A" kunnen zijn.

De verklaring van deze keten is dat de elementen van deze reeks alle zijn die voldoen aan de voorwaarde dat ze kleiner zijn dan of gelijk aan 3 en tegelijkertijd groter dan 2. Met andere woorden, deze keten definieert het getal 3 dat het enige element is dat voldoet aan de voorwaarden.

Computerprogrammering

De programmalijn IF A = ​​0, DAN GOTO 30, 5 * A + 1 heeft een variabele "A" voorgelegd aan een proces van beoordeling en besluitvorming door een operator die bekend staat als "if conditional".

De uitdrukkingen "ALS", "DAN" en "GOTO" maken deel uit van de operatorsyntaxis. Ondertussen zijn de rest van de elementen de vergelijkings- en actiewaarden van "A".

Zijn betekenis 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 programmeringsregel waar een andere instructie zal zijn). In het geval dat het anders is dan nul, dan wordt de variabele "A" vermenigvuldigd (*) met de waarde 5 en wordt (+) de waarde 1 toegevoegd.

referenties

1. Collins-woordenboek. (s / f). Definitie van 'formele taal'. Genomen uit collinsdictionary.com.
2. University of Technology, Sydney. (s / f). Formele en informele taal. Afkomstig van uts.edu.au.
3. Definities. (s / f). Definities voor formele taal. Ontleend aan definitions.net.
4. Technische Universiteit van Madrid. (s / f). Natuurlijke talen en formele talen. Afkomstig van lorien.die.upm.es.
5. Gemeente Luján. (s / f). De formele taal Genomen van lujan.magnaplus.org.
6. Corbin, J.A. (s / f). De 12 soorten taal (en hun kenmerken). psicologiaymente.com.
7. Bel Enguix, G. en Jiménez López, M. D. (s / f). Symposium: nieuwe toepassingen van de theorie van formele talen voor taalkunde. Ontleend aan elvira.lllf.uam.es.