Formální jazykové funkce a příklady



jazyk je soubor jazykových značek pro výhradní použití v situacích, kdy přirozený jazyk není vhodný. Obecně řečeno, jazyk je rozdělen na přírodní nebo neformální a umělé. První se používá pro běžné situace každodenního života. Umělé se mezitím používá ve specifických situacích mimo každodenní život.

Tímto způsobem je formální jazyk součástí umělé skupiny. Toto je používáno, obzvláště ve formálních vědách (ti jehož oblast působení není realita fyzického světa ale abstraktní svět). Některé z těchto věd zahrnují logiku, matematiku a počítačové programování.

V tomto smyslu tento jazyk používá jazykové 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, formální jazyk je soubor řetězců symbolů, které mohou být upraveny zákony, které jsou specifické pro každou z těchto věd \ t.

Tento typ jazyka nyní používá sadu symbolů nebo písmen jako abecedu. Odtud se tvoří "řetězce jazyků" (slov). Tyto, jsou-li v souladu s pravidly, jsou považovány za „dobře formulovaná slova“ nebo „dobře formované vzorce“.

Index

  • 1 Charakteristika
    • 1.1 Omezené prostředí
    • 1.2 A priori gramatická pravidla
    • 1.3 Minimální sémantická složka
    • 1.4 Symbolický jazyk
    • 1.5 Univerzálnost
    • 1.6 Přesnost a expresivita
    • 1.7 Rozšiřovací kapacita
  • 2 Příklady
    • 2.1 Logika
    • 2.2 Matematika
    • 2.3 Počítačové programování
  • 3 Odkazy

Vlastnosti

Omezené prostředí

Cílem formálního jazyka je výměna dat za různých podmínek prostředí než jiné jazyky. 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.

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

Pravidla gramatiky a priori

Formální jazyk je tvořen založením a priori gramatických pravidel, která dávají základ. Nejprve tedy navrhneme sadu principů, které budou řídit kombinaci prvků (syntaxe) a pak vygenerovat vzorce.

Na druhé straně je rozvoj formálního jazyka vědomý. To znamená, že pro jejich učení je nutné trvalé úsilí. Ve stejném pořadí myšlenek, jeho použití vede ke specializaci v předpisech a konvencích vědeckého použití.

Minimální sémantická komponenta

Sémantická složka ve formálním jazyce je minimální. Určitý řetězec patřící k formálnímu jazyku nemá sám o sobě žádný význam.

Sémantické zatížení, které mohou mít, pochází částečně od operátorů a vztahů. Některé z nich jsou: rovnost, nerovnost, logické spojky a aritmetické operátory.

V přirozeném jazyce, opakování kombinace “p” a “a” ve slově “otec” má sémantickou hodnotu rodiče. Ve formálním jazyce však ne. V praktické oblasti, význam nebo výklad řetězců spočívá v teorii, která se snaží definovat prostřednictvím tohoto formálního jazyka.

Když se tedy používá pro lineární systémy rovnic, má maticovou teorii jako jednu ze sémantických hodnot. Na druhou stranu, tento stejný systém má sémantické zatížení návrhů logických obvodů ve výpočetní technice.

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

Symbolický jazyk

Formální jazyk je zcela symbolický. To je z prvků, jejichž posláním je zprostředkovat vztah mezi nimi. Tyto prvky jsou formální jazykové znaky, které, jak již bylo zmíněno, samy o sobě nevytvářejí žádnou sémantickou hodnotu.

Forma konstrukce formální jazykové symboliky nám umožňuje provádět výpočty a zakládat pravdy v závislosti na faktech, ale na jejich vztazích. Tato symbolika je jedinečná a daleko od konkrétní situace v hmotném světě.  

Univerzálnost

Formální jazyk má univerzální charakter. Na rozdíl od přirozeného, ​​který je motivován k subjektivitě, umožňuje interpretaci a více dialektů, formální se jeví jako nezměněný.

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

Přesnost a expresivita

Obecně řečeno, formální jazyk je přesný a není příliš výrazný. Její pravidla pro formování zabraňují svým řečníkům vytvářet nové termíny nebo dávat existujícím výrazům nový význam. A nemůže být použit k vyjádření přesvědčení, nálad a psychologických situací.

Rozšiřující kapacita

V opatření, ve kterém bylo dosaženo pokroku v objevování aplikací pro formální jazyk, byl jeho vývoj exponentován. Skutečnost, že může být obsluhována mechanicky bez přemýšlení o jejím obsahu (jeho významech) umožňuje volnou kombinaci jejích symbolů a obsluh.

Teoreticky je rozsah expanze nekonečný. Například nedávná šetření v oblasti výpočetní techniky a výpočetní techniky se týkají obou jazyků (přírodních i formálních) pro praktické účely.

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

Příklady

Logika

V řetězci: (p⋀q) ⋁ (r⋀t) => t písmena p, q, r, t symbolizují tvrzení bez konkrétního významu. Na druhou stranu symboly ⋀, = a => představují konektory, které spojují výroky. V tomto konkrétním příkladu jsou použité konektory "y" (⋀), "o" (⋁), "then" (=>).

Nejbližší překlad do řetězce je: pokud je některý z výrazů v závorkách splněn nebo ne, je t splněno nebo není splněno. Konektory jsou zodpovědné za navázání vztahů mezi výroky, které mohou představovat cokoliv ...

Matematika

V tomto matematickém příkladu A = ❴x | x⦤3⋀x> 2❵ zasáhne množina s názvem "A", která má prvky jména "x". Všechny prvky A souvisejí se symbolikou ❴, |, ⦤, ⋀,>, ❵.

Všechny z nich se zde používají k definování podmínek, které musí elementy "x" splnit, aby mohly být ze sady "A".

Vysvětlení tohoto řetězce je, že prvky této množiny jsou všechny ty, které splňují podmínku, že jsou menší nebo rovna 3 a zároveň větší než 2. Jinými slovy, tento řetězec definuje číslo 3, které je jediným prvkem, který splňuje podmínky.

Počítačové programování

Programovací řádek IF A = ​​0, THEN 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 to podmíněno".

Výrazy "IF", "THEN" a "GOTO" jsou součástí syntaxe operátora. Mezitím zbytek prvků je porovnání a akční hodnoty "A".

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

Odkazy

  1. Collins slovník. (s / f). Definice „formálního jazyka“. Převzato z 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řírodní 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, J. A. (s / f). 12 typů jazyků (a jejich charakteristiky). psicologiaymente.com.
  7. Bel Enguix, G. a Jiménez López, M. D. (s / f). Symposium: Nové aplikace teorie formálních jazyků k lingvistice. Převzato z elvira.lllf.uam.es.