- kjennetegn
- Begrenset miljø
- Grammatikk regler a priori
- Minimal semantisk komponent
- Symbolsk språk
- universalitet
- Presisjon og uttrykksevne
- Utvidelses
- eksempler
- Logikk
- Matte
- Dataprogramering
- referanser
Det formelle språket er et sett med språklige tegn som eksklusiv bruk i situasjoner der naturlig språk ikke er passende. Generelt er språket delt inn i naturlig eller uformell og kunstig. Den første brukes til vanlige hverdagssituasjoner. I mellomtiden brukes det kunstige i spesifikke situasjoner utenfor hverdagen.
På denne måten er formelt språk en del av gruppen av kunstige. Dette brukes spesielt i de formelle vitenskapene (de hvis handlingsfelt ikke er realitetene i den fysiske verden, men i den abstrakte verden). Noen av disse vitenskapene inkluderer logikk, matematikk og dataprogrammering.
Slik sett bruker denne typen språk språklige koder som ikke er naturlige (de har ingen anvendelse innen kommunikasjon i den vanlige verden). Innen formelle vitenskaper er et formelt språk et sett med symbolkjeder som kan reguleres av lover som er spesifikke for hvert av disse vitenskapene.
Nå bruker denne typen språk et sett med symboler eller bokstaver som et alfabet. Fra dette dannes "språkkjeder" (ord). Disse, hvis de overholder reglene, regnes som "velformede ord" eller "velformede formler."
kjennetegn
Begrenset miljø
Det formelle språket tar sikte på å utveksle data under andre miljøforhold enn andre språk. For eksempel, i programmeringsspråk, er slutten kommunikasjon mellom mennesker og datamaskiner eller mellom datastyrte enheter. Det er ikke en kommunikasjon mellom mennesker.
Dermed er det et ad hoc-språk, skapt med et spesifikt mål og å fungere under veldig spesifikke sammenhenger. Den er heller ikke mye brukt. Tvert imot, bruken av den er begrenset til de som kjenner både språkets mål og den spesielle konteksten.
Grammatikk regler a priori
Formelt språk dannes fra etablering av a priori grammatiske regler som gir det grunnlaget. Dermed blir først settet med prinsipper som vil styre kombinasjonen av elementer (syntaks) designet, og deretter genereres formlene.
På den annen side er utviklingen av formelt språk bevisst. Dette betyr at det kreves vedvarende innsats for å lære dem. På samme måte fører bruken til en spesialisering i forskriftene og konvensjonene for vitenskapelig bruk.
Minimal semantisk komponent
Den semantiske komponenten i formelt språk er minimal. En gitt streng som tilhører det formelle språket har ingen mening i seg selv.
Den semantiske belastningen de kan ha kommer delvis fra operatører og forhold. Noen av disse er: likhet, ulikhet, logiske tilkoblinger og aritmetiske operatører.
I naturlig språk har repetisjonen av kombinasjonen "p" og "a" i ordet "papa" den semantiske verdien av foreldre. Men i formelt språk gjør det det ikke. På det praktiske området ligger betydningen eller tolkningen av kjedene i teorien som man prøver å definere gjennom dette formelle språket.
Således, når den brukes til lineære ligningssystemer, har den matrise-teori som en av dens semantiske verdier. På den annen side har det samme systemet den semantiske belastningen med logiske kretsdesign i databehandling.
Avslutningsvis er betydningen av disse kjedene avhengig av området med formell vitenskap som de brukes i.
Symbolsk språk
Det formelle språket er helt symbolsk. Dette er laget av elementer hvis oppgave er å overføre forholdet mellom dem. Disse elementene er de formelle språklige tegnene som, som nevnt, ikke genererer noen semantisk verdi av seg selv.
Konstruksjonsformen for symbologien til det formelle språket tillater beregninger og fastslå sannheter avhengig ikke av fakta, men av deres forhold. Denne symbolikken er unik og langt fra noen konkret situasjon i den materielle verden.
universalitet
Formelt språk har en universell karakter. I motsetning til den naturlige, som, motivert av dens subjektivitet, tillater tolkninger og flere dialekter, er den formelle en ufravikelig.
Faktisk er det likt for forskjellige typer samfunn. Uttalelsene hans har samme betydning for alle forskere uavhengig av hvilket språk de snakker.
Presisjon og uttrykksevne
Generelt sett er det formelle språket presist og lite uttrykksfullt. Dens dannelsesregler forhindrer at foredragsholderne kan slå sammen nye termer eller gi nye betydninger til eksisterende vilkår. Og den kan ikke brukes til å formidle tro, stemninger og psykologiske situasjoner.
Utvidelses
Ettersom det er gjort fremskritt i oppdagelsen av søknader om formelt språk, har utviklingen vært eksponentiell. Det faktum at det kan betjenes mekanisk uten å tenke på innholdet (dets betydninger) tillater den frie kombinasjonen av dens symboler og operatører.
I teorien er omfanget av utvidelsen uendelig. For eksempel relaterer nyere forskning innen databehandling og informatikk begge språkene (naturlige og formelle) til praktiske formål.
Konkret jobber grupper av forskere på måter å forbedre ekvivalensen mellom dem. Til slutt er det som søkes å skape intelligens som kan bruke formelt språk for å produsere naturlig språk.
eksempler
Logikk
I strengen: (p⋀q) ⋁ (r⋀t) => t, bokstavene p, q, r, t symboliserer proposisjoner uten noen konkret betydning. På den annen side representerer symbolene ⋀, ⋁ og => kontaktene som knytter forslagene. I dette spesifikke eksemplet er kontaktene som brukes “og” (⋀), “eller” (⋁), “da” (=>).
Den nærmeste oversettelsen til strengen er: hvis noen av uttrykkene i parentes er sanne eller ikke, så er t sant eller ikke. Kontaktene har ansvaret for å etablere forholdet mellom proposisjonene som kan representere hva som helst.
Matte
I dette matematiske eksemplet A = ❴xx⦤3⋀x> 2❵, griper et sett med navn "A" som har elementer med navnet "x" inn. Alle elementene i A er relatert av symbologien ❴, -, ⦤, ⋀,>, ❵.
Alle brukes her for å definere betingelsene som elementene "x" må oppfylle, slik at de kan være fra settet "A".
Forklaringen på 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 tallet 3, som er det eneste elementet som oppfyller vilkårene.
Dataprogramering
Programmeringslinjen IF A = 0, DAN GOTO 30, 5 * A + 1 har en variabel “A” utsatt for en gjennomgang og beslutningsprosess gjennom en operatør kjent som “hvis betinget”.
Uttrykkene "IF", "THEN" og "GOTO" er del av operatørsyntaxen. I mellomtiden er resten av elementene sammenlignings- og handlingsverdiene til "A".
Dets betydning er: datamaskinen blir bedt om å vurdere den nåværende verdien av "A". Hvis den er lik null, vil den gå til "30" (en annen programmeringslinje der det vil være en annen instruksjon). I tilfelle det er forskjellig fra null, vil variabelen "A" bli multiplisert (*) med verdien 5 og verdien 1 vil bli lagt til (+) til den.
referanser
- Collins ordbok. (s / f). Definisjon av "formelt språk". Hentet fra collinsdictionary.com.
- University of Technology, Sydney. (s / f). Formelt og uformelt språk. Hentet fra uts.edu.au.
- Definisjoner. (s / f). Definisjoner for formelt språk. Hentet fra definitions.net.
- Tekniske universitet i Madrid. (s / f). Naturlige språk og formelle språk. Hentet fra lorien.die.upm.es.
- Luján kommune. (s / f). Det formelle språket. Hentet fra lujan.magnaplus.org.
- Corbin, JA (s / f). De 12 språkstypene (og deres egenskaper). psychologiaymente.com.
- Bel Enguix, G. og Jiménez López, MD (s / f). Symposium: Nye anvendelser av teorien om formelle språk på språkvitenskap. Hentet fra elvira.lllf.uam.es.