The formální jazyk je sada jazykových znaků pro výlučné použití v situacích, kdy přirozený jazyk není vhodný. Obecně se jazyk dělí na přirozený nebo neformální a umělý. První se používá pro běžné situace v každodenním životě. Umělé se mezitím používá ve specifických situacích mimo rámec každodenního života.
Tímto způsobem je formální jazyk součástí skupiny umělých. Toto se používá zejména ve formálních vědách (těch, jejichž pole působnosti není realitou 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é (nemají žádnou aplikaci v rámci komunikace v běžném světě). 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á jako abecedu sadu symbolů nebo písmen. Z toho se tvoří „jazykové řetězce“ (slova). Pokud jsou v souladu s pravidly, jsou považována za „dobře tvarovaná slova“ nebo „dobře formulované vzorce“.
Rejstřík článků
Formální jazyk si klade za cíl vyměňovat si údaje za podmínek prostředí odlišných od 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. Není to komunikace mezi lidmi.
Je to tedy jazyk ad hoc, vytvořeny se specifickým cílem a fungovat ve velmi specifických kontextech. Také není široce používán. Naopak, jeho použití je omezeno na ty, kteří znají jak cíl jazyka, tak jeho konkrétní kontext..
Formální jazyk se formuje vytvořením apriorních gramatických pravidel, která mu dávají základ. Nejprve je tedy navržena sada principů, kterými se bude řídit kombinace prvků (syntaxe), a poté se vygenerují vzorce.
Na druhé straně je rozvoj formálního jazyka vědomý. To znamená, že pro jejich učení je nutné trvalé úsilí. Stejně tak jeho použití vede ke specializaci na předpisy a konvence vědeckého použití.
Sémantická složka ve formálním jazyce je minimální. Daný řetězec patřící do formálního jazyka sám o sobě nemá žádný význam.
Sémantické zatížení, které mohou mít, pochází částečně z operátorů a vztahů. Některé z nich jsou: 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 neplatí. 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.
Když se tedy použije pro lineární systémy rovnic, má jako jednu ze svých sémantických hodnot teorii matic. Na druhou stranu má stejný systém sémantické zatížení návrhů logických obvodů ve výpočtech.
Závěrem lze říci, že významy těchto řetězců závisí na oblasti formálních věd, ve které jsou aplikovány..
Formální jazyk je naprosto symbolický. Toto je vytvořeno z prvků, jejichž posláním je přenášet vztah mezi nimi. Tyto prvky jsou formálními lingvistickými znaky, které, jak již bylo zmíněno, samy o sobě negenerují žádnou sémantickou hodnotu..
Forma konstrukce symboliky formálního jazyka umožňuje výpočty a stanovení pravd v závislosti na faktech, nikoli na jejich vztazích. Tato symbolika je jedinečná a vzdálená jakékoli konkrétní situaci v hmotném světě..
Formální jazyk má univerzální charakter. Na rozdíl od přirozeného, který motivovaný svou subjektivitou umožňuje interpretace a více dialektů, formální je neměnný.
Ve skutečnosti je to 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í.
Formální jazyk je obecně přesný a málo expresivní. Pravidla jeho formování brání řečníkům zavádět nové výrazy nebo dávat stávající významy nový význam. A nelze jej použít k vyjádření přesvědčení, nálad a psychologických situací.
Jak bylo dosaženo pokroku v objevování aplikací pro formální jazyk, jeho vývoj byl exponenciální. Skutečnost, že jej lze ovládat mechanicky bez přemýšlení o jeho obsahu (jeho významech), umožňuje volnou kombinaci jeho 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řírodní i formální) pro praktické účely..
Skupiny vědců konkrétně pracují na způsobech, jak zlepšit jejich rovnocennost. Nakonec se hledá vytvoření inteligence, která by mohla používat formální jazyk k produkci přirozeného jazyka.
V řetězci: (p⋀q) ⋁ (r⋀t) => t písmena p, q, r, t symbolizují propozice bez konkrétního významu. Na druhou stranu symboly ⋀, ⋁ a => představují konektory, které propojují propozice. V tomto konkrétním příkladu jsou použité konektory „a“ (⋀), „nebo“ (⋁), „then“ (=>).
Nejbližší překlad k řetězci je: pokud je některý z výrazů v závorkách pravdivý nebo ne, pak t je pravdivý nebo ne. Konektory mají na starosti vytváření vztahů mezi propozicemi, které mohou představovat cokoli ...
V tomto matematickém příkladu A = ❴x | x⦤3⋀x> 2❵ je zahrnuta sada se jménem „A“, která má prvky názvu „x“. Všechny prvky A souvisejí se symbolikou ❴, |, ⦤, ⋀,>, ❵.
Všechny zde slouží k definování podmínek, které musí splňovat prvky „x“, aby mohly být ze sady „A“.
Vysvětlení tohoto řetězce spočívá v tom, že prvky této sady jsou všechny prvky, které splňují podmínku menší nebo rovné 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.
Programovací linka IF A = 0, POTOM GOTO 30, 5 * A + 1 má proměnnou „A“ podrobenou procesu kontroly 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átoru. Mezitím jsou zbývajícími prvky porovnání a akční hodnoty „A“.
Jeho význam je: počítač je vyzván k 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, bude proměnná „A“ vynásobena (*) hodnotou 5 a bude přidána hodnota 1 (+).
Zatím žádné komentáře