FORMAI NYELV: JELLEMZŐK ÉS PÉLDÁK - IRODALOM - 2025

A formális nyelv olyan nyelvi jelek halmaza, amelyet kizárólag olyan helyzetekben használnak, amikor a természetes nyelv nem megfelelő. A nyelvet általában természetes vagy informális, valamint mesterséges nyelvre osztják. Az elsőt a mindennapi általános helyzetekben használják. Eközben a mesterségeset a mindennapi élet hatókörén kívüli konkrét helyzetekben használják.

Ilyen módon a formális nyelv a mesterséges nyelvek csoportjának része. Ezt különösen a formális tudományokban használják (azokban, amelyeknek a működési területe nem a fizikai, hanem az absztrakt világ valósága). Ezen tudományok egyike a logika, a matematika és a számítógépes programozás.

Ebben az értelemben ez a nyelv olyan nyelvkódokat használ, amelyek nem természetesek (a hétköznapi kommunikációban nem alkalmazhatók). A formális tudományok területén a formális nyelv egy szimbólumlánc, amely ezeket a tudományokat sajátos törvényekkel szabályozhatja.

Most ez a típusú nyelv szimbólumok vagy betűk halmazát használja ábécéként. Ebből alakulnak ki a "nyelvi láncok" (szavak). Ezeket, ha megfelelnek a szabályoknak, „jól megfogalmazott szavaknak” vagy „jól megfogalmazott képleteknek” kell tekinteni.

jellemzők

Korlátozott környezet

A hivatalos nyelv célja az adatok cseréje a többi nyelvétől eltérő környezeti feltételek mellett. Például, a programozási nyelvben a cél az ember és a számítógép közötti kommunikáció vagy a számítógépes eszközök közötti kommunikáció. Ez nem az emberek közötti kommunikáció.

Tehát ez egy ad hoc nyelv, amelyet meghatározott célkitűzéssel hoztak létre és nagyon specifikus kontextusban kell működni. Ezenkívül nem széles körben használják. Éppen ellenkezőleg, használata csak azok számára korlátozódik, akik ismerik a nyelv célját és sajátos összefüggéseit.

A nyelvtan szabályai priori

A formális nyelv az alapját képező priori nyelvtani szabályok kialakításából származik. Így először megtervezzük azt az alapelveket, amelyek az elemek kombinációját (szintaxist) szabályozzák, majd előállítják a képleteket.

Másrészt a formális nyelv fejlesztése tudatos. Ez azt jelenti, hogy folyamatos erőfeszítésekre van szükség tanulásukhoz. Ugyanígy, felhasználása a tudományos felhasználás szabályainak és egyezményeinek specializálódásához vezet.

Minimális szemantikai elem

A formális nyelv szemantikai komponense minimális. A formális nyelvhez tartozó adott karakterláncnak önmagában nincs értelme.

Az esetleges szemantikai teher részben az operátorokból és a kapcsolatokból származik. Néhány ezek közül: egyenlőség, egyenlőtlenség, logikai összeköttetések és számtani operátorok.

A természetes nyelvben a "p" és "a" kombinációjának ismétlése a "papa" szóban a szülő szemantikai értékét képviseli. A hivatalos nyelvben azonban nem. A gyakorlati területen a láncok értelme vagy értelmezése abban az elméletben rejlik, amelyet meg kell próbálni meghatározni ezen a hivatalos nyelven keresztül.

Tehát, ha lineáris egyenletrendszerekhez használják, akkor a mátrixelmélet egyik szemantikai értéke. Másrészt, ugyanezen rendszernek a logikai áramkörök szemantikai terhelése van a számítástechnikában.

Összegezve, ezeknek a láncoknak a jelentése attól a formális tudománytól függ, amelyben alkalmazzák őket.

Szimbolikus nyelv

A formális nyelv teljesen szimbolikus. Ez olyan elemekből készül, amelyek küldetése az, hogy továbbadják a közöttük fennálló kapcsolatot. Ezek az elemek a formális nyelvi jelek, amelyek - amint már említettük - önmagukban semmiféle semantikus értéket nem teremtenek.

A formális nyelv szimbolikájának felépítésének formája lehetővé teszi számításokat és az igazságok megállapítását, nem a tényektől, hanem a kapcsolatoktól függően. Ez a szimbolizmus egyedülálló és messze van az anyagi világ minden konkrét helyzetétől.

egyetemesség

A formális nyelv univerzális jellegű. A természetes szubjektummal ellentétben, amely szubjektivitása miatt értelmezéseket és több nyelvjárást tesz lehetővé, a formális változatlan is.

Valójában hasonló a különféle típusú közösségeknél. Nyilatkozatainak ugyanaz a jelentése minden tudós számára, függetlenül attól, milyen nyelven beszélnek.

Pontosság és kifejezőképesség

Általában a formális nyelv pontos és nem túl kifejező. Alapítási szabályai megakadályozzák, hogy hangszórói új kifejezéseket derítsenek ki, vagy új megfogalmazást kapjanak a meglévő kifejezésekre. És nem használható hiedelmek, hangulatok és pszichológiai helyzetek közvetítésére.

Bővíthetőség

Mivel előrelépés történt a hivatalos nyelvre vonatkozó alkalmazások felfedezésében, fejlesztése exponenciális volt. Az a tény, hogy mechanikusan működtethető anélkül, hogy tartalmára (jelentésére) gondolkodna, lehetővé teszi szimbólumok és operátorok szabad kombinációját.

Az elméletben a kiterjesztés terjedelme végtelen. Például a számítástechnika és az informatika területén a közelmúltban végzett kutatások mind a (természetes és formális) nyelveket gyakorlati célokra érintik.

Konkrétan a tudóscsoportok azon dolgoznak, hogy javítsák egymás közötti egyenértékűséget. Végül arra törekszenek, hogy olyan intelligenciát hozzunk létre, amely formális nyelvet használhat a természetes nyelv előállításához.

Példák

Logika

A karakterláncban: (p⋀q) ⋁ (r⋀t) => t, a p, q, r, t betűk szimbolizálják a javaslatokat konkrét jelentés nélkül. Másrészt a ⋀, ⋁ és => szimbólumok jelölik a javaslatokat összekötő csatlakozókat. Ebben a példában a használt csatlakozók „és” (⋀), „vagy” (⋁), „majd” (=>).

A karakterlánchoz legközelebb eső fordítás: ha a zárójelben szereplő kifejezések bármelyike ​​igaz vagy nem, akkor t igaz vagy sem. A csatlakozók felelnek az állítások közötti kapcsolatok létrehozásáért, amelyek bármit képviselhetnek.

Math

Ebben az A = ❴xx⦤3⋀x> 2❵ matematikai példában az „A” névvel rendelkező halmaz, amely „x” név elemekkel rendelkezik, beavatkozik. Az A összes elemét a ❴, -, ⦤, ⋀,>, ❵ szimbólum kapcsolja össze.

Mindegyiket itt használjuk azon feltételek meghatározására, amelyeknek az "x" elemeknek teljesülniük kell, hogy azok az "A" halmazból legyenek.

A lánc magyarázata az, hogy a halmaz elemei mindazok, amelyek megfelelnek annak a feltételnek, hogy 3-nál kisebb vagy azzal egyenlő, és ugyanakkor nagyobb, mint 2. Más szavakkal 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ép programozás

A programozási sor IF A = ​​0, Akkor GOTO 30, 5 * A + 1 változó „A” változóval van ellátva, amelyet felülvizsgálati és döntéshozatali folyamatnak vetnek alá, ha „feltételes” operátornak hívják.

Az "IF", "THEN" és "GOTO" kifejezések az operátor szintaxisának részét képezik. Eközben a többi elem az "A" összehasonlító és működési értékei.

Jelentése: A számítógépet felkérik, hogy értékelje az "A" jelenlegi értékét. Ha nulla, akkor a "30" értékre kerül (egy másik programozási sor, ahol egy másik utasítás lesz). Ha ez eltér a nullától, akkor az "A" változót megszorozzák (*) az 5-ös értékkel, és az 1-es értéket hozzáadják (+).

Irodalom

1. Collins szótár. (s / f). A „formális nyelv” meghatározása. Készült a collinsdictionary.com webhelyről.
2. Sydney Műszaki Egyetem. (s / f). Formai és informális nyelv. Az uts.edu.au oldalról
3. Definíciók. (s / f). A formális nyelv meghatározása. Átvett a defines.net-ből.
4. Madridi Műszaki Egyetem. (s / f). Természetes nyelvek és formális nyelvek. A lorien.die.upm.es oldalról származik.
5. Luján önkormányzat. (s / f). A formális nyelv. Átvett a lujan.magnaplus.org oldalról.
6. Corbin, JA (s / f). A 12 nyelvtípus (és jellemzőik). psychologiaymente.com.
7. Bel Enguix, G. és Jiménez López, MD (s / f). Szimpózium: A formális nyelvek elméletének új alkalmazásai a nyelvészetben. Átvett az elvira.lllf.uam.es oldalról.