Značajke i primjeri formalnog jezika

formalnog jezika je skup jezičnih znakova za isključivu uporabu u situacijama kada prirodni jezik nije prikladan. Općenito, jezik se dijeli na prirodni ili neformalni i umjetni. Prvi se koristi za uobičajene situacije svakodnevnog života. U međuvremenu, umjetno se koristi u specifičnim situacijama izvan opsega svakodnevnog života.

Tako je formalni jezik dio umjetne skupine. To se koristi, osobito u formalnim znanostima (onima čije područje djelovanja nisu stvarnosti fizičkog svijeta nego apstraktni svijet). Neke od tih znanosti uključuju logiku, matematiku i računalno programiranje.

U tom smislu, ova vrsta jezika koristi jezične kodove koji nisu prirodni (nemaju primjenu u komunikacijama u običnom svijetu). U području formalnih znanosti, formalni jezik je skup lanaca simbola koji se mogu regulirati zakonima koji su specifični za svaku od tih znanosti..

Sada, ova vrsta jezika koristi skup simbola ili slova kao abecedu. Iz ovoga nastaju "lanci jezika" (riječi). Ako se pridržavaju pravila, to se smatra "dobro oblikovanim riječima" ili "dobro oblikovanim formulama"..

indeks

• 1 Značajke
  • 1.1 Ograničeno okruženje
  • 1.2 A priori gramatička pravila
  • 1.3 Minimalna semantička komponenta
  • 1.4 Simbolički jezik
  • 1.5 Univerzalnost
  • 1.6 Preciznost i izražajnost
  • 1.7 Kapacitet proširenja
• 2 Primjeri
  • 2.1 Logika
  • 2.2 Matematika
  • 2.3 Računalno programiranje
• 3 Reference

značajke

Ograničeno okruženje

Cilj formalnog jezika je razmjena podataka u različitim uvjetima okoliša od drugih jezika. Na primjer, u programskom jeziku kraj je komunikacija između ljudi i računala ili između kompjutorskih uređaja. To nije komunikacija između ljudi.

Dakle, to je ad hoc jezik, stvoren sa specifičnim ciljem i koji funkcionira u vrlo specifičnim kontekstima. Također, ne koristi se na masivan način. Naprotiv, njegova je uporaba ograničena na one koji poznaju i cilj jezika i njegov specifični kontekst.

Gramatička pravila a priori

Formalni jezik nastaje iz uspostavljanja a priori gramatičkih pravila koja daju temelj. Dakle, najprije dizajniramo skup načela koja će upravljati kombinacijom elemenata (sintaksa) i zatim generirati formule.

S druge strane, razvoj formalnog jezika je svjestan. To znači da su za njihovo učenje potrebni trajni napori. U istom redoslijedu ideja, njegova uporaba dovodi do specijalizacije u propisima i konvencijama znanstvene uporabe.

Minimalna semantička komponenta

Semantička komponenta u formalnom jeziku je minimalna. Određeni lanac koji pripada formalnom jeziku nema svoj značaj.

Semantičko opterećenje koje mogu imati dijelom dolazi od operatera i odnosa. Neki od njih su: jednakost, nejednakost, logičke poveznice i aritmetički operatori.

U prirodnom jeziku, ponavljanje kombinacije "p" i "a" u riječi "tata" ima značenjsku vrijednost roditelja. Međutim, u formalnom jeziku ne. U praktičnom području značenje ili tumačenje lanaca leži u teoriji koja se pokušava definirati kroz taj formalni jezik.

Dakle, kada se koristi za linearne sustave jednadžbi, ona ima teoriju matrice kao jednu od svojih semantičkih vrijednosti. S druge strane, isti sustav ima semantičko opterećenje logičkih sklopova u računalstvu.

U zaključku, značenja tih lanaca ovise o području formalnih znanosti u kojima se primjenjuju.

Simbolički jezik

Formalni jezik je potpuno simboličan. To je načinjeno od elemenata čija je misija prenijeti odnos između njih. Ovi elementi su formalni jezični znakovi koji, kao što je spomenuto, sami po sebi ne generiraju nikakvu semantičku vrijednost.

Oblik konstrukcije formalne jezične simbologije omogućuje nam izračunavanje i utvrđivanje istina, ne ovisno o činjenicama, već o njihovim odnosima. Ova simbologija je jedinstvena i daleko od svake konkretne situacije u materijalnom svijetu.  

univerzalnost

Formalni jezik ima univerzalni karakter. Za razliku od prirodnog, ono motivirano svojom subjektivnošću dopušta interpretacije i višestruke narječje, formalno se čini nepromijenjenim.

Zapravo, sličan je za različite vrste zajednica. Njihovi pristupi imaju isto značenje za sve znanstvenike bez obzira na jezik koji govore.

Preciznost i izražajnost

Općenito govoreći, formalni jezik je precizan i ne izražajan. Njegova pravila formiranja sprječavaju govornike od sklapanja novih pojmova ili davanja novih značenja postojećim pojmovima. I ne može se koristiti za prenošenje uvjerenja, raspoloženja i psiholoških situacija.

Kapacitet proširenja

U mjeri u kojoj je postignut napredak u otkrivanju aplikacija za formalni jezik, njegov razvoj je eksponentiran. Činjenica da se njome može upravljati mehanički bez razmišljanja o njezinu sadržaju (značenju) omogućuje slobodnu kombinaciju njezinih simbola i operatora.

U teoriji, opseg ekspanzije je beskonačan. Primjerice, nedavna istraživanja u području računanja i računanja povezuju oba jezika (prirodna i formalna) u praktične svrhe.

Konkretno, skupine znanstvenika rade na načinima poboljšanja ekvivalencije među njima. Na kraju se nastoji stvoriti inteligencija koja može koristiti formalni jezik za proizvodnju prirodnog jezika.

Primjeri

logika

U nizu: (p⋀q) ⋀ (r⋀t) => t, slova p, q, r, t simboliziraju propozicije bez ikakvog konkretnog značenja. S druge strane, simboli ⋁, ⋁ i => predstavljaju konektore koji povezuju propozicije. U ovom primjeru, upotrijebljeni konektori su "y" (⋀), "o" (⋁), "then" (=>).

Najbliži prijevod nizu je: ako je bilo koji od izraza u zagradama ispunjen ili ne, tada je zadovoljen ili nije ispunjen. Konektori su zaduženi za uspostavljanje odnosa između tvrdnji koje mogu predstavljati bilo što ...

matematički

U ovom matematičkom primjeru A = |x | x⦤3⋀x> 2❵, intervenira skup s imenom "A" koji ima elemente imena "x". Svi elementi A povezani su simbologijom |, |, ⦤, ⋀,>,.

Svi se ovdje koriste za definiranje uvjeta koje elementi "x" moraju ispuniti tako da mogu biti skupa "A".

Objašnjenje ovog lanca je da su elementi tog skupa svi oni koji ispunjavaju uvjet da su manji ili jednaki 3 i istovremeno veći od 2. Drugim riječima, ovaj lanac definira broj 3 koji je jedini element koji ispunjava uvjete.

Računalno programiranje

Programska linija IF A = ​​0, TAKO GOTO 30, 5 * A + 1 ima varijablu "A" koja se podnosi procesu pregleda i odlučivanja putem operatora poznatog kao "ako je uvjetno".

Izrazi "IF", "THEN" i "GOTO" dio su sintakse operatora. U međuvremenu, ostali elementi su usporedba i akcijske vrijednosti "A".

Njegovo značenje je: od računala se traži da procijeni trenutnu vrijednost "A". Ako je jednaka nuli, ona će ići na "30" (druga linija programiranja gdje će biti još jedna instrukcija). U slučaju da se razlikuje od nule, tada će se varijabla "A" pomnožiti (*) s vrijednošću 5 i dodati (+) vrijednost 1.

reference

1. Collinsov rječnik. (s / f). Definicija 'formalnog jezika'. Preuzeto iz collinsdictionary.com.
2. Tehnološko sveučilište, Sydney. (s / f). Formalni i neformalni jezik. Preuzeto iz uts.edu.au.
3. Definicije. (s / f). Definicije za formalni jezik. Preuzeto iz definitions.net.
4. Tehničko sveučilište u Madridu. (s / f). Prirodni jezici i formalni jezici. Preuzeto iz lorien.die.upm.es.
5. Općina Luján. (s / f). Formalni jezik Preuzeto s lujan.magnaplus.org.
6. Corbin, J.A. (s / f). 12 vrsta jezika (i njihove karakteristike). psicologiaymente.com.
7. Bel Enguix, G. i Jiménez López, M.D. (s / f). Simpozij: Nove primjene teorije formalnih jezika u lingvistici. Preuzeto iz elvira.lllf.uam.es.