Részvény:
Formális nyelvi jellemzők és példák
az hivatalos nyelv a nyelvi jelek halmaza, amely kizárólag olyan helyzetekben használható, ahol a természetes nyelv nem megfelelő. Általában a nyelv természetes vagy informális és mesterséges. Az elsőt a mindennapi élet általános helyzeteire használják. Eközben a mesterséget a mindennapi élet körén kívül eső speciális helyzetekben használják.
Ily módon a formális nyelv része a mesterséges csoportnak. Ezt használják, különösen a formális tudományokban (azok, akiknek cselekvési területe nem a fizikai világ valósága, hanem az absztrakt világ). E tudományok közül néhány a logika, a matematika és a számítógépes programozás.
Ebben az értelemben ez a fajta nyelv olyan nyelvi kódokat alkalmaz, amelyek nem természetesek (a közönséges kommunikációban nincsenek alkalmazások). A formális tudományok területén a hivatalos nyelv olyan szimbólumok láncainak halmaza, amelyeket az egyes tudományok sajátos törvényei szabályozhatnak..
Ez a fajta nyelv a szimbólumok vagy betűk egy sorát használja ábécé formájában. Ebből alakulnak ki a "nyelvi láncok" (szavak). Ezek, ha megfelelnek a szabályoknak, "jól megfogalmazott szavaknak" vagy "jól megformált képleteknek" tekinthetők..
index
- 1 Jellemzők
- 1.1 Korlátozott környezet
- 1.2 A priori nyelvtani szabályok
- 1.3 Minimális szemantikai komponens
- 1.4 Szimbolikus nyelv
- 1.5 Az egyetemesség
- 1.6 Pontosság és expresszivitás
- 1.7 Bővítési kapacitás
- 2 Példák
- 2.1 Logika
- 2.2 Matematika
- 2.3 Számítógépes programozás
- 3 Referenciák
jellemzői
Korlátozott környezet
A hivatalos nyelv célja az, hogy a különböző nyelveken eltérő adatokat cseréljenek más nyelveken. Például a programozási nyelvben az emberek és a számítógépek közötti kommunikáció vagy a számítógépes eszközök közötti kommunikáció vége. Nem az emberek közötti kommunikáció.
Így ez egy ad hoc nyelv, amelyet egy konkrét céllal hoztak létre és nagyon specifikus környezetben működnek. Továbbá, ez nem használatos masszív módon. Éppen ellenkezőleg, annak használata csak azok számára érhető el, akik ismerik mind a nyelvi célt, mind az adott környezetet.
A nyelvtani szabályok a priori
A formális nyelv az alapot adó, előzetes nyelvtani szabályok létrehozásából származik. Tehát először megtervezzük azokat az elveket, amelyek az elemek (szintaxis) kombinációját szabályozzák, majd létrehozzák a képleteket.
Másrészt a formális nyelv fejlesztése tudatos. Ez azt jelenti, hogy a tanuláshoz tartós erőfeszítésre van szükség. Ugyanebben az ötletrendben a használat a szakirodalom és a tudományos célú egyezmények szakosodásához vezet.
Minimális szemantikai összetevő
A formális nyelv szemantikai komponense minimális. A formális nyelvhez tartozó bizonyos láncnak önmagában nincs jelentősége.
A szemantikai terhelés részben az üzemeltetők és a kapcsolatokból származik. Ezek közül néhány az egyenlőség, az egyenlőtlenség, a logikai kapcsolatok és az aritmetikai operátorok.
A természetes nyelvben a "p" és "a" kombináció ismétlése a "apa" szóban a szülő szemantikai értékével rendelkezik. Formális nyelven azonban nem. A gyakorlati területen a láncok jelentése vagy értelmezése abban az elméletben van, amely megpróbálta meghatározni ezt a formális nyelvet.
Így, ha egyenlet lineáris rendszereihez használják, akkor a mátrixelmélet egyik szemantikai értéke. Másrészt ugyanez a rendszer a számítástechnikai logikai áramkörök szemantikai terhelésével rendelkezik.
Összefoglalva, ezeknek a láncoknak a jelentése a formális tudományok területétől függ, amelyben alkalmazzák őket.
Szimbolikus nyelv
A hivatalos nyelv teljesen szimbolikus. Ez olyan elemekből áll, amelyek küldetése az, hogy közvetítsék a köztük lévő kapcsolatot. Ezek az elemek a formális nyelvi jelek, amelyek, mint már említettük, önmagukban sem generálnak semantikus értéket.
A formális nyelv szimbólumok építésének formája lehetővé teszi számítások elvégzését és az igazságok megállapítását, nem a tényektől, hanem a kapcsolataiktól. Ez a szimbolika egyedülálló és messze van az anyagi világ konkrét helyzetétől.
egyetemesség
A hivatalos nyelv egyetemes jellegű. Ellentétben a természettel, amely a szubjektivitását motiválja, lehetővé teszi az értelmezéseket és a többszörös dialektusokat, a formális változás változatlan.
Valójában a különböző közösségek esetében hasonló. Megközelítésük ugyanolyan jelentőséggel bír minden tudós számára, függetlenül attól, hogy milyen nyelven beszél.
Pontosság és expresszivitás
Általában a hivatalos nyelv pontos és nem kifejezetten kifejező. A formáció szabályai megakadályozzák, hogy a hangszórók új kifejezéseket alkossanak, vagy új jelentéseket adjanak a meglévő kifejezéseknek. És nem használható hiedelmek, hangulatok és pszichológiai helyzetek közvetítésére.
Bővítési kapacitás
Az intézkedés, amelyben a formális nyelv iránti kérelmek felfedezésében történt előrehaladás, kifejlődött. Az a tény, hogy mechanikusan működtethető anélkül, hogy gondolnánk a tartalomra (annak jelentéseire), lehetővé teszi a szimbólumok és operátorok szabad kombinációját.
Elméletileg a terjeszkedés hatóköre végtelen. Például a számítástechnika és a számítástechnika területén végzett közelmúltbeli vizsgálatok gyakorlati célból mindkét (természetes és formális) nyelvet érintik.
Pontosabban, a tudósok csoportjai arra törekednek, hogy javítsák a közöttük fennálló egyenértékűséget. A végső soron az a cél, hogy olyan intelligenciát hozzunk létre, amely a hivatalos nyelvet a formális nyelv használatával tudja használni.
Példák
logika
A sztringben: (p⋀q) ⋁ (r⋀t) => t, a p, q, r, t betűk konkrét jelentés nélkül szimbolizálják a javaslatokat. Másrészről a ⋀, ⋁ és => szimbólumok jelölik azokat a csatlakozókat, amelyek összekapcsolják a javaslatokat. Ebben a példában a használt csatlakozók "y" (⋀), "o" (⋁), "majd" (=>).
A string legközelebbi fordítása: ha a zárójelben szereplő kifejezések bármelyike teljesül, vagy nem, akkor t teljesül vagy nem teljesül. A csatlakozók felelősek a kapcsolatok kialakításáért a javaslatok között, amelyek bármit képviselhetnek ...
matematikai
Ebben az A = ❴x | x⦤3⋀x> 2❵ matematikai példában az "A" nevű készlet "x" elnevezésű csoportja lép fel. Az A összes elemét a ❴, |, ⦤, ⋀,>, ❵ szimbolika hozza összefüggésbe..
Mindezeket itt használják, hogy meghatározzák azokat az feltételeket, amelyeknek az "x" elemeknek meg kell felelniük ahhoz, hogy az "A" halmaz legyen..
Ennek a láncnak a magyarázata az, hogy ennek a halmaznak az elemei mindazok, amelyek teljesítik a 3-as vagy annál kisebb és ugyanakkor 2-nél nagyobb feltételeket. Más szóval, ez a lánc a 3-as számot határozza meg, amely az egyetlen elem, amely megfelel a feltételeknek.
Számítógépes programozás
Az IF A = 0 programozási sor, majd GOTO 30, 5 * A + 1 változó „A” változóval van ellátva, amely egy „felülvizsgálati és döntéshozatali” folyamathoz folyamodik egy üzemeltetőn keresztül, ha „feltételes” néven ismert..
Az "IF", "THEN" és "GOTO" kifejezések a kezelői szintaxis részét képezik. Eközben a többi elem az "A" összehasonlító és cselekvési értékei..
Ennek jelentése: a számítógépet felkérik, hogy értékelje az "A" aktuális értékét. Ha ez nullával egyenlő, akkor a "30" -ra megy (egy másik programozási sor, ahol egy másik utasítás lesz). Abban az esetben, ha ez nullától eltér, akkor az "A" változó (*) az 5-ös értékkel növekszik, és hozzáadódik (+) az 1-es értékhez..
referenciák
- Collins szótár. (s / f). A „hivatalos nyelv” meghatározása. A collinsdictionary.com oldalról.
- Műszaki Egyetem, Sydney. (s / f). Formális és informális nyelv. Az uts.edu.au.
- Meghatározások. (s / f). A hivatalos nyelv definíciói. Definitions.net.
- Madridi Műszaki Egyetem. (s / f). Természetes nyelvek és hivatalos nyelvek. Készült a lorien.die.upm.es fájlból.
- Luján település. (s / f). A hivatalos nyelv Készült a lujan.magnaplus.org webhelyről.
- Corbin, J. A. (s / f). A 12 nyelvtípus (és azok jellemzői). psicologiaymente.com.
- Bel Enguix, G. és Jiménez López, M. D. (s / f). Szimpózium: A nyelvek elméletének új alkalmazásai a nyelvészet számára. Elvira.lllf.uam.es.