- vlastnosti
- Obmedzené prostredie
- Gramatika a priori vládne
- Minimálna sémantická zložka
- Symbolický jazyk
- univerzálnosť
- Presnosť a výraznosť
- rozšíriteľnosť
- Príklady
- logika
- matematika
- Počítačové programovanie
- Referencie
Formálny jazyk je množina jazykových značiek výhradne pre použitie v situáciách, kedy prirodzený jazyk nie je vhodné. Vo všeobecnosti sa jazyk delí na prirodzený alebo neformálny a umelý. Prvá sa používa pre bežné každodenné situácie. Medzitým sa umelý materiál používa v konkrétnych situáciách mimo rámca každodenného života.
Týmto spôsobom je formálny jazyk súčasťou skupiny umelých jazykov. Používa sa to najmä vo formálnych vedách (tých, ktorých oblasťou pôsobenia nie sú skutočnosti fyzického sveta, ale abstraktného sveta). Niektoré z týchto vied zahŕňajú logiku, matematiku a počítačové programovanie.
V tomto zmysle tento druh jazyka používa jazykové kódy, ktoré nie sú prirodzené (v rámci komunikácie v bežnom svete nemajú uplatnenie). V oblasti formálnych vied je formálny jazyk skupina reťazcov symbolov, ktoré môžu byť regulované zákonmi, ktoré sú špecifické pre každú z týchto vied.
Tento typ jazyka teraz používa ako abecedu množinu symbolov alebo písmen. Z toho vznikajú „jazykové reťazce“ (slová). Ak sú v súlade s pravidlami, považujú sa za „dobre tvarované slová“ alebo „dobre tvarované vzorce“.
vlastnosti
Obmedzené prostredie
Cieľom formálneho jazyka je výmena údajov za podmienok prostredia odlišných od podmienok iných jazykov. Napríklad v programovacom jazyku je koniec komunikácia medzi ľuďmi a počítačmi alebo medzi počítačovými zariadeniami. Nejde o komunikáciu medzi ľuďmi.
Ide teda o jazyk ad hoc, ktorý bol vytvorený so špecifickým cieľom a má fungovať vo veľmi špecifických kontextoch. Taktiež nie je široko používaný. Naopak, jeho používanie je obmedzené na tých, ktorí poznajú cieľ jazyka a jeho konkrétny kontext.
Gramatika a priori vládne
Formálny jazyk je formovaný vytvorením a priori gramatických pravidiel, ktoré mu dávajú základ. Najprv je navrhnutý súbor princípov, ktoré budú riadiť kombináciu prvkov (syntax) a potom sa vygenerujú vzorce.
Na druhej strane je vývoj formálneho jazyka vedomý. To znamená, že na ich učenie je potrebné trvalé úsilie. Jeho použitie vedie k špecializácii na predpisy a dohovory o vedeckom použití.
Minimálna sémantická zložka
Sémantická zložka vo formálnom jazyku je minimálna. Daný reťazec, ktorý patrí do formálneho jazyka, nemá sám osebe žiadny zmysel.
Sémantické bremeno, ktoré môžu mať, pramení čiastočne od operátorov a vzťahov. Niektoré z nich sú: rovnosť, nerovnosť, logické spojky a aritmetické operátory.
V prirodzenom jazyku má opakovanie kombinácie „p“ a „a“ v slove „papa“ sémantickú hodnotu rodiča. Vo formálnom jazyku to však nie je. V praktickej oblasti spočíva význam alebo interpretácia reťazcov v teórii, ktorú sa človek snaží definovať prostredníctvom tohto formálneho jazyka.
Keď sa teda používa pre lineárne systémy rovníc, má maticovú teóriu ako jednu zo svojich sémantických hodnôt. Na druhej strane má tento istý systém sémantické zaťaženie návrhov logických obvodov vo výpočtoch.
Na záver, význam týchto reťazcov závisí od oblasti formálnej vedy, v ktorej sa uplatňujú.
Symbolický jazyk
Formálny jazyk je úplne symbolický. Vychádza z prvkov, ktorých poslaním je prenášať vzťahy medzi nimi. Tieto prvky sú formálnymi jazykovými znakmi, ktoré, ako už bolo uvedené, sami nevytvárajú sémantickú hodnotu.
Forma konštrukcie symboliky formálneho jazyka umožňuje výpočty a zisťovanie pravdy v závislosti od skutočností, ale od ich vzťahov. Tento symbolizmus je jedinečný a ďaleko od akejkoľvek konkrétnej situácie v hmotnom svete.
univerzálnosť
Formálny jazyk má univerzálny charakter. Na rozdiel od toho prírodného, ktorý, motivovaný svojou subjektívnosťou, umožňuje interpretácie a mnohonásobné dialekty, formálny je nemenný.
V skutočnosti je to podobné pre rôzne typy komunít. Jeho výroky majú rovnaký význam pre všetkých vedcov bez ohľadu na jazyk, ktorým hovoria.
Presnosť a výraznosť
Formálny jazyk je vo všeobecnosti presný a nie príliš výrazný. Pravidlá jej formácie bránia rečníkom v tom, aby razili nové termíny alebo dávali novým významom existujúce termíny. A nemôže sa použiť na vyjadrenie viery, nálady a psychologických situácií.
rozšíriteľnosť
Keďže sa dosiahol pokrok pri objavovaní žiadostí o formálny jazyk, jeho vývoj bol exponenciálny. Skutočnosť, že môže byť ovládaná mechanicky bez premýšľania o jej obsahu (jej významoch), umožňuje bezplatnú kombináciu jej symbolov a operátorov.
Teoreticky je rozsah expanzie nekonečný. Napríklad nedávny výskum v oblasti výpočtovej techniky a informatiky spája jazyky (prirodzené aj formálne) z praktických dôvodov.
Konkrétne skupiny vedcov pracujú na spôsoboch zlepšenia rovnocennosti medzi nimi. Nakoniec sa žiada, aby sa vytvorila inteligencia, ktorá dokáže na vytvorenie prirodzeného jazyka použiť formálny jazyk.
Príklady
logika
V reťazci: (p⋀q) ⋁ (r⋀t) => t písmená p, q, r, t symbolizujú výroky bez konkrétneho významu. Na druhej strane symboly ⋀, ⋁ a => predstavujú konektory, ktoré spájajú návrhy. V tomto konkrétnom príklade sú použité konektory „a“ (⋀), „alebo“ (⋁), „potom“ (=>).
Najbližší preklad do reťazca je: ak je ktorýkoľvek z výrazov v zátvorkách pravdivý alebo nie, potom t je pravdivý alebo nie. Konektory sú zodpovedné za nadviazanie vzťahov medzi návrhmi, ktoré môžu predstavovať čokoľvek.
matematika
V tomto matematickom príklade A = ❴xx⦤3⋀x> 2❵ zasahuje množina s názvom „A“, ktorá obsahuje prvky mena „x“. Všetky prvky A sú spojené symbolom ❴, -, ⦤, ⋀,>, ❵.
Všetky sa tu používajú na definovanie podmienok, ktoré musia prvky „x“ spĺňať, aby mohli pochádzať zo súboru „A“.
Vysvetlenie tohto reťazca je, že prvky tejto množiny sú všetky tie, ktoré spĺňajú podmienku, že sú menšie alebo rovné 3 a súčasne väčšie ako 2. Inými slovami, tento reťazec definuje číslo 3, čo je jediný prvok, ktorý spĺňa podmienky.
Počítačové programovanie
Programovacia linka IF A = 0, THEN GOTO 30, 5 * A + 1 má premennú „A“ podrobenú procesu preskúmania a rozhodovania prostredníctvom operátora známeho ako „ak je podmienená“.
Výrazy „IF“, „THEN“ a „GOTO“ sú súčasťou syntaxe operátora. Medzitým zvyšné prvky predstavujú porovnávacie a akčné hodnoty „A“.
Jeho význam je: počítač je požiadaný o vyhodnotenie aktuálnej hodnoty „A“. Ak sa rovná nule, prejde na „30“ (ďalší programovací riadok, kde bude ďalšia inštrukcia). Ak sa líši od nuly, premenná „A“ sa vynásobí (*) hodnotou 5 a hodnota 1 sa k nej pridá (+).
Referencie
- Collins slovník. (s / f). Vymedzenie pojmu „formálny jazyk“. Prevzaté z webu collinsdictionary.com.
- University of Technology, Sydney. (s / f). Formálny a neformálny jazyk. Prevzaté z uts.edu.au.
- Definícia. (s / f). Definície formálneho jazyka. Prevzaté z definícií.net.
- Technická univerzita v Madride. (s / f). Prírodné jazyky a formálne jazyky. Prevzaté z lorien.die.upm.es.
- Obec Luján. (s / f). Formálny jazyk. Prevzaté z lujan.magnaplus.org.
- Corbin, JA (s / f). 12 druhov jazykov (a ich vlastnosti). psychologiaymente.com.
- Bel Enguix, G. a Jiménez López, MD (s / f). Sympózium: Nové aplikácie teórie formálnych jazykov v lingvistike. Prevzaté z elvira.lllf.uam.es.