FORMÁLNÍ JAZYK: CHARAKTERISTIKA A PŘÍKLADY - LITERATURA - 2026

Formální jazyk je množina jazykových značek výhradně pro použití v situacích, kdy přirozený jazyk není vhodné. Obecně je jazyk rozdělen na přirozený nebo neformální a umělý. První se používá pro běžné každodenní situace. Mezitím se umělá látka používá v konkrétních situacích mimo rámec každodenního života.

Tímto způsobem je formální jazyk součástí skupiny umělých. Používá se to zejména ve formálních vědách (ty, jejichž působištěm není realita fyzického světa, ale abstraktního světa). Některé z těchto věd zahrnují logiku, matematiku a počítačové programování.

V tomto smyslu tento druh jazyka používá lingvistické kódy, které nejsou přirozené (v běžné komunikaci nemají žádnou aplikaci). V oblasti formálních věd je formální jazyk soubor řetězců symbolů, které lze regulovat zákony, které jsou specifické pro každou z těchto věd.

Nyní tento typ jazyka používá sadu symbolů nebo písmen jako abecedu. Z toho vznikají „jazykové řetězce“ (slova). Pokud jsou v souladu s pravidly, jsou považována za „dobře tvarovaná slova“ nebo „dobře tvarovaná vzorce“.

vlastnosti

Omezené prostředí

Účelem formálního jazyka je výměna údajů za podmínek prostředí odlišných od podmínek jiných jazyků. Například v programovacím jazyce je konec komunikace mezi lidmi a počítači nebo mezi počítačovými zařízeními. Nejedná se o komunikaci mezi lidmi.

Jedná se tedy o jazyk ad hoc, vytvořený se specifickým cílem a fungující ve velmi specifických kontextech. Také to není široce používáno. Naopak, jeho použití je omezeno na ty, kteří znají jak cíl jazyka, tak jeho konkrétní kontext.

Gramatika a priori vládne

Formální jazyk je tvořen vytvořením a priori gramatických pravidel, která mu dávají základ. Nejprve je tedy navržena sada principů, které budou řídit kombinaci prvků (syntaxe), a poté jsou vygenerovány vzorce.

Na druhé straně je vývoj formálního jazyka vědomý. To znamená, že pro jejich učení je zapotřebí trvalé úsilí. Stejně tak jeho použití vede ke specializaci na předpisy a konvence vědeckého použití.

Minimální sémantická složka

Sémantická složka ve formálním jazyce je minimální. Daný řetězec, který patří do formálního jazyka, nemá sám o sobě žádný význam.

Sémantická zátěž, kterou mohou mít, pochází částečně od operátorů a vztahů. Mezi ně patří: rovnost, nerovnost, logické spojky a aritmetické operátory.

V přirozeném jazyce má opakování kombinace „p“ a „a“ ve slově „papa“ sémantickou hodnotu rodiče. Ve formálním jazyce to však není. V praktické oblasti spočívá význam nebo interpretace řetězců v teorii, kterou se člověk snaží definovat prostřednictvím tohoto formálního jazyka.

Při použití pro lineární soustavy rovnic má maticovou teorii jako jednu ze svých sémantických hodnot. Na druhé straně má tentýž systém sémantické zatížení návrhů logických obvodů při práci na počítači.

Závěrem lze říci, že význam těchto řetězců závisí na oblasti formální vědy, v níž jsou aplikovány.

Symbolický jazyk

Formální jazyk je zcela symbolický. Toto je vytvořeno z prvků, jejichž posláním je přenášet vztah mezi nimi. Tyto prvky jsou formální lingvistické znaky, které, jak již bylo zmíněno, samy nevyvolávají žádnou sémantickou hodnotu.

Forma konstrukce symboliky formálního jazyka umožňuje výpočty a stanovení pravdy v závislosti na faktech, ale na jejich vztazích. Tato symbolika je jedinečná a zdaleka není v žádné konkrétní situaci v hmotném světě.

Univerzálnost

Formální jazyk má univerzální charakter. Na rozdíl od toho přirozeného, ​​který, motivovaný svou subjektivitou, umožňuje interpretace a vícenásobné dialekty, formální je neměnný.

Ve skutečnosti je podobný pro různé typy komunit. Jeho výroky mají stejný význam pro všechny vědce bez ohledu na jazyk, kterým mluví.

Přesnost a expresivita

Obecně je formální jazyk přesný a není příliš výrazný. Její pravidla formace brání řečníkům v tom, aby vytvořili nové termíny nebo dali novým významům existujícím termínům. A nelze jej použít k vyjádření víry, nálady a psychologických situací.

Rozšiřitelnost

Vzhledem k tomu, že bylo dosaženo pokroku při objevování žádostí o formální jazyk, byl jeho vývoj exponenciální. Skutečnost, že může být ovládána mechanicky bez přemýšlení o jejím obsahu (jejích významech), umožňuje bezplatnou kombinaci jejích symbolů a operátorů.

Teoreticky je rozsah expanze nekonečný. Například nedávný výzkum v oblasti výpočetní techniky a informatiky spojuje oba jazyky (přirozené i formální) pro praktické účely.

Konkrétně skupiny vědců pracují na způsobech, jak mezi nimi zlepšit rovnocennost. Nakonec se hledá inteligence, která může používat formální jazyk k vytváření přirozeného jazyka.

Příklady

Logika

V řetězci: (p⋀q) ⋁ (r⋀t) => t písmena p, q, r, t symbolizují výroky bez konkrétního významu. Na druhé straně symboly ⋀, ⋁ a => představují konektory, které spojují návrhy. V tomto konkrétním příkladu jsou použité konektory „a“ ​​(⋀), „nebo“ (⋁), „then“ (=>).

Nejbližší překlad do řetězce je: pokud je jakýkoli z výrazů v závorkách pravdivý nebo ne, pak t je pravdivý nebo ne. Konektory mají na starosti navazování vztahů mezi návrhy, které mohou představovat cokoli.

Matematika

V tomto matematickém příkladu A = ❴xx⦤3⋀x> 2❵ zasahuje sada s názvem „A“, která obsahuje prvky názvu „x“. Všechny prvky A jsou spojeny symbolikou ❴, -, ⦤, ⋀,>, ❵.

Všechny se zde používají k definování podmínek, které musí prvky „x“ splňovat, aby mohly být ze sady „A“.

Vysvětlení tohoto řetězce je, že prvky této sady jsou všechny ty, které splňují podmínku, že jsou menší nebo rovno 3 a současně větší než 2. Jinými slovy, tento řetězec definuje číslo 3, což je jediný prvek, který splňuje podmínky.

Programování

Programovací řádek IF A = ​​0, THEN GOTO 30, 5 * A + 1 má proměnnou „A“ podrobenou procesu přezkumu a rozhodování prostřednictvím operátora známého jako „pokud je podmíněný“.

Výrazy "IF", "THEN" a "GOTO" jsou součástí syntaxe operátora. Mezitím jsou zbývající prvky porovnávacími a akčními hodnotami "A".

Jeho význam je: počítač je požádán o vyhodnocení aktuální hodnoty "A". Pokud se rovná nule, přejde na „30“ (další programovací řádek, kde bude další instrukce). V případě, že se liší od nuly, pak se proměnná „A“ vynásobí (*) hodnotou 5 a hodnota 1 se k ní přidá (+).

Reference

1. Collins slovník. (s / f). Definice „formálního jazyka“. Převzato z webu Collinsdictionary.com.
2. University of Technology, Sydney. (s / f). Formální a neformální jazyk. Převzato z uts.edu.au.
3. Definice. (s / f). Definice formálního jazyka. Převzato z definic.net.
4. Technická univerzita v Madridu. (s / f). Přirozené jazyky a formální jazyky. Převzato z lorien.die.upm.es.
5. Obec Luján. (s / f). Formální jazyk. Převzato z lujan.magnaplus.org.
6. Corbin, JA (s / f). 12 typů jazyka (a jejich vlastnosti). psychologiaymente.com.
7. Bel Enguix, G. a Jiménez López, MD (s / f). Symposium: Nové aplikace teorie formálních jazyků v lingvistice. Převzato z elvira.lllf.uam.es.