FORMALNI JEZIK: KARAKTERISTIKE I PRIMJERI - KNJIŽEVNOST - 2025

Formalni jezik je set jezičnih znakova isključivo koriste u situacijama u kojima prirodni jezik nije prikladno. Općenito, jezik je podijeljen na prirodni ili neformalni i umjetni. Prva se koristi za uobičajene svakodnevne situacije. U međuvremenu se umjetno koristi u specifičnim situacijama izvan okvira svakodnevnog života.

Na ovaj je način formalni jezik dio skupine umjetnih. To se koristi, posebno, u formalnim znanostima (onima čije polje djelovanja nije stvarnost fizičkog svijeta, nego apstraktnog svijeta). 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 unutar komunikacije 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 abecede. Iz toga se stvaraju "jezični lanci" (riječi). Oni se, ako su u skladu s pravilima, smatraju "dobro oblikovanim riječima" ili "dobro oblikovanim formulama".

karakteristike

Ograničeno okruženje

Formalni jezik ima za cilj razmjenu podataka u uvjetima zaštite okoliša različitima od ostalih jezika. Na primjer, u programskom jeziku kraj je komunikacija između ljudi i računala ili između računalnih uređaja. To nije komunikacija među ljudima.

Dakle, to je ad hoc jezik, stvoren s određenim ciljem i koji djeluje u vrlo specifičnim okvirima. Također, nije široko korišten. Suprotno tome, njegova upotreba ograničena je na one koji poznaju i jezik jezika i njegov kontekst.

Gramatika apriori vlada

Formalni jezik nastaje iz uspostavljanja a priori gramatičkih pravila koja mu daju osnovu. Tako se najprije osmisli skup principa koji će upravljati kombinacijom elemenata (sintaksa), a zatim se generiraju formule.

S druge strane, razvoj formalnog jezika je svjestan. To znači da je za njihovo učenje potreban uporni napor. Isto tako, njegova upotreba dovodi do specijalizacije propisa i konvencija znanstvene uporabe.

Minimalna semantička komponenta

Semantička komponenta u formalnom jeziku je minimalna. Dati niz koji pripada formalnom jeziku sam po sebi nema značenja.

Semantički teret koji mogu imati dijelom dolazi iz operatora i odnosa. Neki od njih su: jednakost, nejednakost, logičke veze i aritmetički operatori.

U prirodnom jeziku, ponavljanje kombinacije "p" i "a" u riječi "papa" ima semantičku vrijednost roditelja. Međutim, formalno to nije slučaj. Na praktičnom polju, značenje ili interpretacija lanaca nalazi se u teoriji koju čovjek pokušava definirati kroz ovaj formalni jezik.

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

Zaključno, značenja ovih lanaca ovise o području formalne znanosti u kojoj se primjenjuju.

Simbolički jezik

Formalni je jezik potpuno simboličan. To je napravljeno od elemenata čija je misija prenošenje odnosa među njima. Ti su elementi formalni jezični znakovi koji, kao što je spomenuto, sami po sebi ne stvaraju nikakvu semantičku vrijednost.

Oblik konstrukcije simbologije formalnog jezika omogućava proračune i utvrđivanje istina, ne ovisno o činjenicama, već o njihovim odnosima. Ta je simbolika jedinstvena i daleko je od bilo kakve konkretne situacije u materijalnom svijetu.

Univerzalnost

Formalni jezik ima univerzalni karakter. Za razliku od prirodnog, koji, motiviran svojim subjektivnošću, omogućava tumačenja i više dijalekata, formalni je nepromjenjiv.

Zapravo je slično za različite vrste zajednica. Njegove izjave imaju isto značenje za sve znanstvenike bez obzira na jezik kojim govore.

Preciznost i ekspresivnost

Općenito, formalni je jezik precizan i ne baš ekspresivan. Pravila njegova formiranja sprječavaju njegove govornike da stvaraju nove pojmove ili daju nova značenja postojećim izrazima. I ne može se koristiti za prenošenje uvjerenja, raspoloženja i psiholoških situacija.

proširivost

Kako je ostvaren napredak u otkrivanju aplikacija za formalni jezik, njegov je razvoj bio eksponencijalan. Činjenica da se njime može upravljati mehanički, bez razmišljanja o sadržaju (njezinim značenjima) omogućuje slobodnu kombinaciju njegovih simbola i operatora.

U teoriji, opseg ekspanzije je beskonačan. Na primjer, nedavna istraživanja u području računarstva i informatike odnose se na oba jezika (prirodni i formalni) u praktične svrhe.

Konkretno, skupine znanstvenika rade na načinima poboljšanja ekvivalencije među njima. Na kraju, ono što se traži jest stvoriti inteligenciju 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 prijedloge bez ikakvog konkretnog značenja. S druge strane, simboli ⋀, ⋁ i => predstavljaju priključke koji povezuju prijedloge. U ovom se konkretnom primjeru koriste priključci "i" (⋀), "ili" (⋁), "zatim" (=>).

Najbliži prijevod niza je: ako je neki izraz u zagradama točan ili ne, t je istinit ili nije. Priključci su zaduženi za uspostavljanje odnosa između prijedloga koji mogu predstavljati bilo što.

matematika

U ovom matematičkom primjeru A = ❴xx⦤3⋀x> 2❵, intervenira skup s imenom „A“ koji ima elemente naziva „x“. Svi elementi A povezani su simbolikom ❴, -, ⦤, ⋀,>, ❵.

Svi oni ovdje se koriste za definiranje uvjeta koje elementi "x" moraju ispuniti da bi mogli biti iz skupa "A".

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

Programiranje računala

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

Izrazi "IF", "THEN" i "GOTO" dio su sintage operatera. U međuvremenu, ostali elementi su usporedne i djelotvorne vrijednosti "A".

Značenje je sljedeće: računalo se traži da ocijeni trenutnu vrijednost "A". Ako je jednaka nuli, prijeći će na "30" (drugi programski redak gdje će biti druga upute). U slučaju da je različita od nule, varijabla "A" će se pomnožiti (*) s vrijednošću 5 i vrijednost 1 će joj se dodati (+).

Reference

1. Collinsov rječnik. (s / ž). Definicija 'formalnog jezika'. Preuzeto s collinsdictionary.com.
2. University of Technology, Sydney. (s / ž). Formalni i neformalni jezik. Preuzeto sa uts.edu.au.
3. Definicije. (s / ž). Definicije za formalni jezik. Preuzeto s definicija.net.
4. Tehničko sveučilište u Madridu. (s / ž). Prirodni jezici i formalni jezici. Preuzeto sa lorien.die.upm.es.
5. Općina Luján. (s / ž). Formalni jezik. Preuzeto s lujan.magnaplus.org.
6. Corbin, JA (s / ž). 12 vrsta jezika (i njihove karakteristike). psychologiaymente.com.
7. Bel Enguix, G. i Jiménez López, dr. Med. (S / ž). Simpozij: Nove primjene teorije formalnih jezika na lingvistiku. Preuzeto iz elvira.lllf.uam.es.