Formálne jazykové funkcie a príklady



formálny jazyk je súbor jazykových znakov určených na výlučné použitie v situáciách, keď prirodzený jazyk nie je vhodný. Vo všeobecnosti je jazyk rozdelený na prírodné alebo neformálne a umelé. Prvý sa používa v bežných situáciách každodenného života. Umelé sa medzitým používa v špecifických situáciách mimo rozsahu každodenného života.

Formálny jazyk je teda súčasťou umelej skupiny. Toto sa používa najmä vo formálnych vedách (tých, ktorých oblasť pôsobenia nie sú realitou 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 jazyk používa jazykové kódy, ktoré nie sú prirodzené (nemajú žiadnu aplikáciu v rámci komunikácie v bežnom svete). V oblasti formálnych vied je formálnym jazykom súbor 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 množinu symbolov alebo písmen ako abecedu. Z tohto sa vytvárajú „reťazce jazyka“ (slová). Ak sú tieto pravidlá v súlade s pravidlami, považujú sa za „dobre formulované slová“ alebo „dobre formované vzorce“..

index

  • 1 Charakteristiky
    • 1.1 Obmedzené prostredie
    • 1.2 A priori gramatické pravidlá
    • 1.3 Minimálna sémantická zložka
    • 1.4 Symbolický jazyk
    • 1.5 Univerzálnosť
    • 1.6 Presnosť a expresivita
    • 1.7 Rozšírenie kapacity
  • 2 Príklady
    • 2.1 Logika
    • 2.2 Matematika
    • 2.3 Počítačové programovanie
  • 3 Odkazy

rysy

Obmedzené prostredie

Cieľom formálneho jazyka je výmena údajov za rôznych environmentálnych podmienok ako iné jazyky. Napríklad v programovacom jazyku je koniec komunikácie medzi ľuďmi a počítačmi alebo medzi počítačovými zariadeniami. Nie je to komunikácia medzi ľuďmi.

Ide teda o ad hoc jazyk vytvorený s konkrétnym cieľom a fungujúci vo veľmi špecifických kontextoch. Tiež sa nepoužíva masívnym spôsobom. Naopak, jeho použitie je obmedzené na tých, ktorí poznajú cieľ jazyka a jeho osobitný kontext.

Pravidlá gramatiky a priori

Formálny jazyk je tvorený zavedením a priori gramatických pravidiel, ktoré dávajú základ. Takže najprv navrhneme množinu princípov, ktoré budú riadiť kombináciu prvkov (syntax) a potom vygenerovať vzorce.

Na druhej strane je rozvoj formálneho jazyka vedomý. To znamená, že na ich učenie je potrebné trvalé úsilie. V rovnakom poradí myšlienok, jeho použitie vedie k špecializácii v nariadeniach a konvenciách vedeckého použitia.

Minimálna sémantická zložka

Sémantická zložka vo formálnom jazyku je minimálna. Určitý reťazec patriaci k formálnemu jazyku nemá žiadny význam.

Sémantická záťaž, ktorú môžu mať, pochádza čiastočne od operátorov a vzťahov. Niektoré z nich sú: rovnosť, nerovnosť, logické prepojenia a aritmetické operátory.

V prirodzenom jazyku má opakovanie kombinácie „p“ a „a“ v slove „otec“ významovú hodnotu rodičov. Avšak vo formálnom jazyku to tak nie je. V praktickej oblasti spočíva význam alebo interpretácia reťazcov v teórii, ktorá sa 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, tento istý systém má sémantické zaťaženie návrhov logických obvodov v počítačoch.

Záverom, významy týchto reťazcov závisia od oblasti formálnych vied, v ktorých sa používajú.

Symbolický jazyk

Formálny jazyk je úplne symbolický. Je to z prvkov, ktorých poslaním je sprostredkovať vzťah medzi nimi. Tieto prvky sú formálne jazykové znaky, ktoré, ako už bolo spomenuté, nevytvárajú žiadnu sémantickú hodnotu.

Forma konštrukcie formálnej jazykovej symboliky nám umožňuje robiť výpočty a zakladať pravdy v závislosti od faktov, ale od ich vzťahov. Táto symbolika 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 prírodného, ​​ktorý je motivovaný k jeho subjektivite, umožňuje interpretácie a viacnásobné dialekty, formálne sa javí ako nezmenené.

V skutočnosti je to podobné pre rôzne typy komunít. Ich prístupy majú rovnaký význam pre všetkých vedcov bez ohľadu na jazyk, ktorým hovoria.

Presnosť a expresivita

Vo všeobecnosti je formálny jazyk presný a nie veľmi výrazný. Jeho pravidlá tvorby bránia svojim rečníkom v tom, aby si vytvorili nové výrazy alebo dávali nové významy existujúcim výrazom. A nemôže byť použitý na vyjadrenie presvedčení, nálad a psychologických situácií.

Rozšírenie kapacity

V opatrení, v ktorom sa dosiahol pokrok pri objavovaní aplikácií pre formálny jazyk, bol jeho vývoj exponentizovaný. Skutočnosť, že sa dá obsluhovať mechanicky bez premýšľania o jej obsahu (jeho význam), umožňuje voľnú kombináciu jej symbolov a operátorov.

Teoreticky je rozsah expanzie nekonečný. Napríklad nedávne výskumy v oblasti výpočtovej techniky a výpočtovej techniky sa vzťahujú na oba jazyky (prírodné aj formálne) na praktické účely.

Konkrétne skupiny vedcov pracujú na spôsoboch, ako zlepšiť ich vzájomnú rovnocennosť. V konečnom dôsledku ide o vytvorenie inteligencie, ktorá môže používať formálny jazyk na produkciu prirodzeného jazyka.

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ú výroky. V tomto konkrétnom príklade sú použité konektory "y" (⋀), "o" (⋁), "then" (=>).

Najbližší preklad do reťazca je: ak je niektorý z výrazov v zátvorkách splnený alebo nie, potom t je splnený alebo nie je splnený. Konektory majú na starosti vytvorenie vzťahov medzi propozíciami, ktoré môžu predstavovať čokoľvek ...

matematický

V tomto matematickom príklade A = ❴x | x⦤3⋀x> 2❵ zasiahne množina s názvom "A", ktorá obsahuje prvky názvu "x". Všetky prvky A súvisia so symbolikou ❴, |, ⦤, ⋀,>, ❵.

Všetky z nich sa tu používajú na definovanie podmienok, ktoré musia elementy "x" spĺňať, aby mohli byť zo súboru "A".

Vysvetlenie tohto reťazca je, že prvky tohto súboru 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, ktoré je jediným prvkom, ktorý spĺňa podmienky.

Počítačové programovanie

Programovacia čiara IF A = ​​0, THEN GOTO 30, 5 * A + 1 má premennú "A" podrobenú procesu kontroly a rozhodovania prostredníctvom operátora známeho ako "ak je to podmienené".

Výrazy "IF", "THEN" a "GOTO" sú súčasťou syntaxe operátora. Medzitým zvyšok prvkov je porovnanie a akčné hodnoty "A".

Jeho význam je: počítač je požiadaný, aby vyhodnotil aktuálnu hodnotu "A". Ak sa rovná nule, prejde na "30" (ďalší riadok programovania, kde bude iná inštrukcia). V prípade, že sa líši od nuly, potom bude premenná "A" vynásobená (*) hodnotou 5 a bude pridaná (+) hodnota 1.

referencie

  1. Collins slovník. (s / f). Definícia „formálneho jazyka“. Prevzaté z collinsdictionary.com.
  2. University of Technology, Sydney. (s / f). Formálny a neformálny jazyk. Prevzaté z uts.edu.au.
  3. Definícia. (s / f). Definície pre formálny jazyk. Prevzaté z definícií.net.
  4. Technická univerzita v Madride. (s / f). Prírodné jazyky a formálne jazyky. Prevzaté z lorien.die.upm.es.
  5. Obec Luján. (s / f). Formálny jazyk Prevzaté z lujan.magnaplus.org.
  6. Corbin, J. A. (s / f). 12 typov jazyka (a ich charakteristiky). psicologiaymente.com.
  7. Bel Enguix, G. a Jiménez López, M. D. (s / f). Sympózium: Nové aplikácie teórie formálnych jazykov na lingvistiku. Prevzaté z elvira.lllf.uam.es.