Jaa:
Muodolliset kielen ominaisuudet ja esimerkit
muodollinen kieli on joukko kielimerkkejä, joita käytetään yksinomaan tilanteissa, joissa luonnollinen kieli ei ole sopiva. Yleensä kieli on jaettu luonnolliseen tai epäviralliseen ja keinotekoiseen. Ensimmäistä käytetään tavallisissa arjen tilanteissa. Samalla keinotekoista käytetään erityistilanteissa arjen ulkopuolella.
Näin muodollinen kieli on osa keinotekoista ryhmää. Tätä käytetään erityisesti muodollisissa tieteissä (ne, joiden toimintakenttä eivät ole fyysisen maailman todellisuutta vaan abstraktia maailmaa). Jotkut näistä tieteistä sisältävät logiikan, matematiikan ja tietokoneohjelmoinnin.
Tässä mielessä tällainen kieli käyttää kielellisiä koodeja, jotka eivät ole luonnollisia (niillä ei ole sovellusta viestinnässä tavallisessa maailmassa). Muodollisten tieteiden alalla muodollinen kieli on joukko symboleja, joita voidaan säännellä kullekin tieteenalalle ominaisia lakeja..
Tämäntyyppinen kieli käyttää aakkosina joukkoa symboleja tai kirjaimia. Tästä muodostuu "kielen ketjut" (sanat). Näitä, jos ne ovat sääntöjen mukaisia, pidetään "hyvin muotoiltuina sanoina" tai "hyvin muotoiltuina kaavoina".
indeksi
- 1 Ominaisuudet
- 1.1 Rajoitettu ympäristö
- 1.2 Ensisijaiset kielioppisäännöt
- 1.3 Minimaalinen semanttinen komponentti
- 1.4 Symbolinen kieli
- 1.5 Yleisyys
- 1.6 Tarkkuus ja ilmeikkyys
- 1.7 Laajennuskapasiteetti
- 2 Esimerkkejä
- 2.1 Logiikka
- 2.2 Matematiikka
- 2.3 Tietokoneohjelmointi
- 3 Viitteet
piirteet
Rajoitettu ympäristö
Virallisen kielen tavoitteena on vaihtaa tietoja eri ympäristöolosuhteissa kuin muut kielet. Esimerkiksi ohjelmointikielessä loppu on ihmisten ja tietokoneiden välinen yhteydenpito tai tietokoneistettujen laitteiden välillä. Se ei ole ihmisten välistä viestintää.
Niinpä se on ad hoc -kieli, joka on luotu tietyllä tavoitteella ja joka toimii hyvin erityisissä yhteyksissä. Sitä ei myöskään käytetä massiivisesti. Päinvastoin, sen käyttö rajoittuu vain niihin, jotka tuntevat sekä kielen tavoitteen että sen nimenomaisen kontekstin.
Kielioppisäännöt a priori
Muodollinen kieli muodostuu sellaisen priori-kielioppisäännön perustamisesta, joka antaa perusta. Ensin suunnittelemme periaatteiden joukon, joka ohjaa elementtien yhdistelmää (syntaksia) ja muodosta sitten kaavat.
Toisaalta muodollisen kielen kehittäminen on tietoinen. Tämä tarkoittaa, että heidän oppimiseen tarvitaan jatkuvaa työtä. Samassa järjestyksessä sen käyttö johtaa erikoistumiseen tieteelliseen käyttöön liittyviin määräyksiin ja yleissopimuksiin.
Minimaalinen semanttinen komponentti
Semanttinen komponentti virallisessa kielessä on minimaalinen. Tietylle viralliselle kielelle kuuluvalla ketjulla ei ole merkitystä yksin.
Semanttinen kuormitus, joka heillä saattaa olla, johtuu osittain operaattoreista ja suhteista. Jotkut näistä ovat: tasa-arvo, eriarvoisuus, loogiset liitännät ja aritmeettiset operaattorit.
Luonnollisessa kielessä "p": n ja "a": n yhdistelmän toistaminen sanassa "isä" on vanhemman semanttinen arvo. Virallisella kielellä se ei kuitenkaan ole. Käytännön alalla ketjujen merkitys tai tulkinta on siinä teoriassa, jota yritetään määritellä kyseisen muodollisen kielen kautta.
Siten, kun sitä käytetään lineaarisissa yhtälöjärjestelmissä, sillä on matriisiteoria yhtenä sen semanttisista arvoista. Toisaalta samalla järjestelmällä on loogisen piirin rakenteiden semanttinen kuormitus tietojenkäsittelyssä.
Yhteenvetona voidaan todeta, että näiden ketjujen merkitykset riippuvat niiden muodollisten tieteiden alueesta, joissa niitä käytetään.
Symbolinen kieli
Muodollinen kieli on täysin symbolinen. Tämä tehdään elementeistä, joiden tehtävänä on välittää niiden välinen suhde. Nämä elementit ovat muodollisia kielimerkkejä, jotka, kuten edellä mainittiin, eivät tuota semanttista arvoa itsestään.
Muodollisen kielen symbologian rakentamisen muoto antaa meille mahdollisuuden tehdä laskelmia ja vahvistaa totuuksia riippuen tosiasioista, mutta niiden suhteista. Tämä symbologia on ainutlaatuinen ja kaukana konkreettisesta tilanteesta aineellisessa maailmassa.
yleisyys
Virallisella kielellä on yleinen luonne. Toisin kuin luonnollinen, joka on motivoitunut sen subjektiivisuuteen, tulkinnat ja monikielet ovat muodollisia, mutta muodollinen näyttää muuttumattomana.
Itse asiassa se on samanlainen eri yhteisöille. Niiden lähestymistavoilla on sama merkitys kaikille tiedemiehille riippumatta siitä, mitä kieltä he puhuvat.
Tarkkuus ja ilmeikkyys
Yleisesti ottaen muodollinen kieli on täsmällinen eikä kovin ilmeikäs. Sen muodostamissäännöt estävät puhujia asettamasta uusia ehtoja tai antamaan uusia merkityksiä nykyisille termeille. Sitä ei voi käyttää uskomusten, mielialojen ja psykologisten tilanteiden välittämiseen.
Laajennuskapasiteetti
Toimenpiteessä, jossa virallista kieltä koskevien hakemusten löytämisessä on edistytty, sen kehitystä on kehitetty. Se, että sitä voidaan käyttää mekaanisesti ajattelematta sen sisältöä (sen merkityksiä), sallii sen symbolien ja toimijoiden vapaan yhdistelmän.
Teoriassa laajentumisen laajuus on ääretön. Esimerkiksi tietojenkäsittelyn ja tietojenkäsittelyn alalla äskettäin tehdyt tutkimukset liittyvät sekä luonnollisiin että muodollisiin kieliin käytännön tarkoituksiin.
Erityisesti tutkijoiden ryhmät työskentelevät keinoja parantaa niiden välistä vastaavuutta. Lopulta pyritään luomaan älykkyyttä, joka voi käyttää muodollista kieltä luonnollisen kielen tuottamiseksi.
esimerkit
logiikka
Merkkijono: (p⋀q) ⋁ (r⋀t) => t, kirjaimet p, q, r, t symboloivat ehdotuksia ilman konkreettista merkitystä. Toisaalta symbolit ⋀, ⋁ ja => edustavat liittimiä, jotka yhdistävät ehdotukset. Tässä nimenomaisessa esimerkissä käytettävät liittimet ovat "y" (⋀), "o" (⋁), "sitten" (=>).
Lähin käännös merkkijonoon on: jos jokin suluissa olevista ilmaisuista täyttyy vai ei, niin t on täytetty tai ei täyty. Liitännät ovat vastuussa sellaisten ehdotusten välisten suhteiden luomisesta, jotka voivat edustaa mitä tahansa ...
matemaattinen
Tässä matemaattisessa esimerkissä A = ❴x | x⦤3⋀x> 2❵ esiintyy joukko nimi "A", jossa on nimiä "x". Kaikki A-elementit liittyvät symbologiaan ❴, |, ⦤, ⋀,>, ❵.
Kaikkia niitä käytetään tässä määrittelemään olosuhteet, jotka elementtien "x" on täytettävä, jotta ne voivat olla joukossa "A".
Tämän ketjun selitys on, että tämän sarjan elementit ovat kaikkia niitä, jotka täyttävät edellytyksen, joka on pienempi tai yhtä suuri kuin 3 ja samanaikaisesti suurempi kuin 2. Toisin sanoen tämä ketju määrittelee numeron 3, joka on ainoa elementti, joka on täyttää ehdot.
Tietokoneohjelmointi
Ohjelmointilinjalla IF A = 0, TÄSTÄ GOTO 30, 5 * A + 1 on muuttuja "A", joka toimitetaan tarkastelu- ja päätöksentekoprosessille operaattorin kautta, joka tunnetaan nimellä "jos ehdollinen".
Ilmaukset "IF", "THEN" ja "GOTO" ovat osa operaattorin syntaksia. Samalla muut osat ovat "A": n vertailu- ja toiminta-arvoja..
Sen merkitys on: tietokonetta pyydetään arvioimaan "A": n nykyistä arvoa. Jos se on nolla, se siirtyy "30": een (toinen ohjelmointirivi, jossa on toinen ohje). Jos se eroaa nollasta, muuttuja "A" kerrotaan (*) arvolla 5 ja lisätään (+) arvo 1.
viittaukset
- Collins-sanakirja. (s / f). "Virallisen kielen" määritelmä. Otettu osoitteesta collinsdictionary.com.
- Teknillinen yliopisto, Sydney. (s / f). Muodollinen ja epävirallinen kieli. Otettu osoitteesta uts.edu.au.
- Määritelmät. (s / f). Määritelmät viralliselle kielelle. Otettu määritelmistä.net.
- Madridin teknillinen yliopisto. (s / f). Luonnolliset kielet ja muodolliset kielet. Otettu osoitteesta lorien.die.upm.es.
- Lujánin kunta. (s / f). Muodollinen kieli Otettu lujan.magnaplus.org.
- Corbin, J. A. (s / f). 12 kielen tyyppiä (ja niiden ominaisuuksia). psicologiaymente.com.
- Bel Enguix, G. ja Jiménez López, M. D. (s / f). Symposium: Virallisten kielten teorian uudet sovellukset kielitieteeseen. Otettu osoitteesta elvira.lllf.uam.es.