Formelle språkfunksjoner og eksempler



den formelt språk er et sett med språklige tegn for eksklusiv bruk i situasjoner der det naturlige språket ikke passer. Språket er generelt delt inn i naturlig eller uformell og kunstig. Den første brukes til vanlige situasjoner i det daglige livet. I mellomtiden brukes kunstig i spesielle situasjoner utenfor hverdagen.

På denne måten er formelt språk en del av den kunstige gruppen. Dette brukes, spesielt i de formelle vitenskapene (de hvis handlingsområde ikke er realiteten i den fysiske verden, men den abstrakte verden). Noen av disse fagene inkluderer logikk, matematikk og dataprogrammering.

I denne forstand bruker denne typen språk språklige koder som ikke er naturlige (de har ingen søknad innen kommunikasjon i den vanlige verden). På formellvitenskapsområdet er et formelt språk et sett av symbolkjeder som kan reguleres av lover som er spesifikke for hver av disse vitenskapene.

Nå bruker denne typen språk et sett med symboler eller bokstaver som et alfabet. Fra dette blir "språkkæder" (ord) dannet. Disse, hvis de overholder reglene, betraktes som "godt formede ord" eller "velformede formler".

index

  • 1 Egenskaper
    • 1.1 Begrenset miljø
    • 1.2 A priori grammatiske regler
    • 1.3 Minste semantisk komponent
    • 1.4 Symbolsk språk
    • 1,5 universalitet
    • 1.6 Presisjon og uttrykksevne
    • 1.7 Utvidelseskapasitet
  • 2 Eksempler
    • 2.1 Logikk
    • 2.2 Matematikk
    • 2.3 Dataprogrammering
  • 3 referanser

funksjoner

Begrenset miljø

Formålet med det formelle språket er å utveksle data under ulike miljøforhold enn andre språk. For eksempel, i programmeringsspråket, er slutten kommunikasjonen mellom mennesker og datamaskiner eller mellom datastyrt enheter. Det er ikke en kommunikasjon mellom mennesker.

Dermed er det et ad hoc-språk, opprettet med et bestemt mål og å fungere under meget spesifikke sammenhenger. Også, det er ikke brukt på en massiv måte. Tvert imot er bruken begrenset til de som kjenner både språkets mål og sin spesielle kontekst.

Grammatikk regler a priori

Det formelle språket er dannet fra etableringen av a priori grammatiske regler som gir grunnlaget. Så først utformer vi sett med prinsipper som styrer kombinasjonen av elementer (syntaks) og deretter genererer formlene.

På den annen side er utviklingen av formell språk bevisst. Dette betyr at det er behov for en vedvarende innsats for deres læring. I samme rekkefølge av ideer fører bruken til en spesialisering i forskrifter og konvensjoner av vitenskapelig bruk.

Minimum semantisk komponent

Den semantiske komponenten i formell språk er minimal. En bestemt kjede som tilhører formelt språk har ingen betydning på egenhånd.

Den semantiske belastningen de kan ha kommer delvis fra operatører og relasjoner. Noen av disse er: likestilling, ulikhet, logiske forbindelser og aritmetiske operatører.

I naturlig språk har gjentakelsen av kombinasjonen av "p" og "a" i ordet "pappa" den semantiske verdien av foreldre. Men i formelt språk gjør det det ikke. I det praktiske feltet ligger betydningen eller tolkningen av kjedene i teorien som er forsøkt å definere gjennom det formelle språket.

Når den brukes til lineære likestillingssystemer, har den således matrise teori som en av sine semantiske verdier. På den annen side har det samme systemet den semantiske belastningen av logiske kretsdesign i databehandling.

Konklusjonen av disse kjedene er avhengig av området for de formelle vitenskapene de brukes i.

Symbolsk språk

Det formelle språket er helt symbolsk. Dette er laget av elementer som har til formål å formidle forholdet mellom dem. Disse elementene er de formelle språklige tegn som, som nevnt, ikke genererer noen semantisk verdi av seg selv.

Form av bygging av symbolikken i formspråket gjør at beregninger og etablere sannheter avhengig ikke på fakta, men deres relasjoner. Denne symbolikken er unik og langt fra enhver konkret situasjon i den materielle verden.  

universalitet

Det formelle språket har en universell karakter. I motsetning til den naturlige, som motivert til subjektiviteten tillater tolkninger og flere dialekter, ser det formelle ut uendret.

Faktisk er det likt for ulike typer lokalsamfunn. Deres tilnærminger har samme betydning for alle forskere uansett hvilket språk de snakker.

Presisjon og uttrykksevne

Generelt er det formelle språket presist og ikke veldig uttrykksfulle. Dens formasjonsregler forhindrer at høyttalerne møter nye vilkår eller gir nye betydninger til eksisterende vilkår. Og det kan ikke brukes til å formidle tro, humør og psykiske situasjoner.

Utvidelseskapasitet

I den grad det har vært fremgang i oppdagelsen av søknader om formspråk, har det blitt exponentiated utvikling. Som kan drives mekanisk uten å tenke innholdet (betydninger) tillater fri kombinasjon av symboler og operatører.

I teorien er omfanget av ekspansjon uendelig. For eksempel relaterer de siste undersøkelsene innen databehandling og databehandling både språk (naturlig og formell) til praktiske formål.

Spesifikt arbeider grupper av forskere med måter å forbedre ekvivalensen mellom dem. Til slutt er det som forfølges å skape intelligens som kan bruke formelt språk til å produsere naturlig språk.

eksempler

logikk

I strengen: (p⋀q) ⋁ (r⋀t) => t symboliserer bokstavene p, q, r, t proposisjoner uten konkret betydning. På den annen side representerer symbolene ⋀, ⋁ og => kontaktene som forbinder proposisjonene. I dette spesielle eksempelet er forbindelsene som brukes, "y" (⋀), "o" (⋁), "then" (=>).

Den nærmeste oversettelsen til strengen er: hvis noen av uttrykkene i parentes er oppfylt eller ikke, blir t oppfylt eller ikke oppfylt. Koblingene har ansvaret for å etablere forholdet mellom proposisjonene som kan representere noe ...

matematisk

I dette matematiske eksempelet A = ❴x | x⦤3⋀x> 2 inter inngår et sett med navn "A" som har elementer av navn "x". Alle elementene i A er relatert til symbolen ❴, |, ⦤, ⋀,>, ❵.

Alle brukes her for å definere betingelsene som elementene "x" må oppfylle slik at de kan være av settet "A".

Forklaringen av denne kjeden er at elementene i dette settet er alle de som oppfyller betingelsen om å være mindre enn eller lik 3 og samtidig større enn 2. Med andre ord definerer denne kjeden nummer 3 som er det eneste elementet som oppfyller vilkårene.

Dataprogrammering

Programmeringslinjen IF A = ​​0, THEN GOTO 30, 5 * A + 1 har en variabel "A" sendt til en prosess med gjennomgang og beslutningstaking gjennom en operatør kjent som "hvis betinget".

Uttrykkene "IF", "THEN" og "GOTO" er en del av operatørens syntaks. I mellomtiden er resten av elementene sammenlignings- og virkningsverdiene for "A".

Dens betydning er: datamaskinen blir bedt om å evaluere dagens verdi av "A". Hvis det er lik null, går det til "30" (en annen programmeringslinje der det vil være en annen instruksjon). I tilfelle det er forskjellig fra null, blir variabelen "A" multiplisert (*) med verdien 5 og vil bli lagt til (+) verdien 1.

referanser

  1. Collins Dictionary. (s / f). Definisjon av 'formelt språk'. Hentet fra collinsdictionary.com.
  2. University of Technology, Sydney. (s / f). Formelt og uformelt språk. Tatt fra uts.edu.au.
  3. Definisjoner. (s / f). Definisjoner for formelt språk. Hentet fra definitions.net.
  4. Teknisk universitet i Madrid. (s / f). Naturlige språk og formelle språk. Hentet fra lorien.die.upm.es.
  5. Luján kommune. (s / f). Det formelle språket Hentet fra lujan.magnaplus.org.
  6. Corbin, J.A. (s / f). De 12 typene språk (og deres egenskaper). psicologiaymente.com.
  7. Bel Enguix, G. og Jiménez López, M. D. (s / f). Symposium: Nye anvendelser av teorien om formelle språk til lingvistikk. Hentet fra elvira.lllf.uam.es.