- značilnosti
- Omejeno okolje
- Slovnica vlada a priori
- Minimalna semantična komponenta
- Simbolični jezik
- Univerzalnost
- Natančnost in ekspresivnost
- Razširljivost
- Primeri
- Logika
- Matematika
- Računalniško programiranje
- Reference
Formalni jezik je skupek jezikovnih znakov izključno uporabo v primerih, ko je v naravnem jeziku ni primerno. Na splošno je jezik razdeljen na naravni ali neformalni in umetni. Prva se uporablja za običajne vsakdanje situacije. Medtem se umetno uporablja v specifičnih situacijah zunaj dosega vsakdanjega življenja.
Na ta način je formalni jezik del skupine umetnih. To se uporablja zlasti v formalnih vedah (tistih, katerih področje delovanja ni realnost fizičnega sveta, ampak abstraktnega sveta). Nekatere od teh znanosti vključujejo logiko, matematiko in računalniško programiranje.

V tem smislu ta vrsta jezika uporablja jezikovne kode, ki niso naravne (v komunikaciji v običajnem svetu nimajo uporabe). Na področju formalnih znanosti je formalni jezik niz verig simbolov, ki jih je mogoče urediti z zakoni, ki so značilni za vsako od teh ved.
Zdaj ta vrsta jezika uporablja niz simbolov ali črk kot abecede. Iz tega se oblikujejo "jezikovne verige" (besede). Če so v skladu s pravili, veljajo za "dobro oblikovane besede" ali "dobro oblikovane formule."
značilnosti
Omejeno okolje
Cilj formalnega jezika je izmenjava podatkov v okoljskih pogojih, ki se razlikujejo od pogojev drugih jezikov. V programskem jeziku je na primer komunikacija med ljudmi in računalniki ali med računalniškimi napravami. To ni komunikacija med ljudmi.
Gre torej za priložnostni jezik, ustvarjen s točno določenim ciljem in ki deluje v zelo specifičnih okoliščinah. Prav tako se ne uporablja široko. Nasprotno, njegova uporaba je omejena na tiste, ki poznajo tako jezik jezika kot njegov poseben kontekst.
Slovnica vlada a priori
Formalni jezik se oblikuje iz vzpostavitve a priori slovničnih pravil, ki mu dajo osnovo. Tako je najprej zasnovan sklop načel, ki bodo urejali kombinacijo elementov (sintaksa) in nato ustvarili formule.
Po drugi strani je zavestni razvoj formalnega jezika. To pomeni, da je za njihovo učenje potrebno trajno prizadevanje. Prav tako njegova uporaba vodi do specializacije predpisov in konvencij znanstvene uporabe.
Minimalna semantična komponenta
Semantična komponenta v formalnem jeziku je minimalna. Dani niz, ki pripada formalnemu jeziku, sam po sebi nima pomena.
Semantično breme, ki ga lahko imajo, deloma izvira iz operaterjev in odnosov. Nekatere od teh so: enakost, neenakost, logične vezi in aritmetični operaterji.
V naravnem jeziku ima ponavljanje kombinacije "p" in "a" v besedi "papa" pomensko vrednost starša. Vendar v formalnem jeziku ne gre. Na praktičnem področju pomen ali razlaga verig leži v teoriji, ki jo človek poskuša opredeliti s tem formalnim jezikom.
Tako ima pri linearnih sistemih enačb matrično teorijo kot eno od svojih pomenskih vrednosti. Po drugi strani ima ta isti sistem semantično obremenitev logičnih vezij pri računanju.
Za zaključek so pomeni teh verig odvisni od področja formalne znanosti, na katerem se uporabljajo.
Simbolični jezik
Formalni jezik je popolnoma simboličen. To je narejeno iz elementov, katerih poslanstvo je prenašati odnos med njimi. Ti elementi so formalni jezikovni znaki, ki, kot rečeno, sami po sebi ne ustvarjajo nobene pomenske vrednosti.
Oblika konstrukcije simbologije formalnega jezika omogoča izračune in ugotavljanje resnic ne glede na dejstva, temveč na njihove odnose. Ta simbolika je edinstvena in daleč od kakršnih koli konkretnih razmer v materialnem svetu.
Univerzalnost
Formalni jezik ima univerzalen značaj. Za razliko od naravnega, ki ga motivira njegova subjektivnost, omogoča interpretacije in več narečij, je formalno nespremenljivo.
V resnici je podobno za različne vrste skupnosti. Njegove izjave imajo enak pomen za vse znanstvenike, ne glede na jezik, ki ga govorijo.
Natančnost in ekspresivnost
Na splošno je formalni jezik natančen in ne zelo izrazit. Pravila njegovega oblikovanja preprečujejo svojim govorcem, da bi navajali nove izraze ali dajali nove pomene obstoječim izrazom. In ga ni mogoče uporabiti za prenos prepričanj, razpoloženja in psiholoških situacij.
Razširljivost
Ko je bil dosežen napredek pri odkrivanju prošenj za formalni jezik, je bil njegov razvoj eksponenten. Dejstvo, da je z njim mogoče upravljati mehanično, ne da bi razmišljal o njegovi vsebini (njenih pomenih), omogoča prosto kombinacijo njegovih simbolov in operaterjev.
Teoretično je obseg širitve neskončen. Na primer, nedavne raziskave na področju računalništva in informatike povezujejo oba jezika (naravni in formalni) v praktične namene.
Konkretno skupine znanstvenikov delujejo na načine za izboljšanje enakovrednosti med njimi. Na koncu je treba ustvariti inteligenco, ki lahko uporablja formalni jezik za ustvarjanje naravnega jezika.
Primeri
Logika
V nizu: (p⋀q) ⋁ (r⋀t) => t, črke p, q, r, t simbolizirajo predloge brez konkretnega pomena. Po drugi strani simboli ⋀, ⋁ in => predstavljajo priključke, ki povezujejo propozicije. V tem konkretnem primeru so uporabljeni priključki "in" (⋀), "ali" (⋁), "potem" (=>).
Najbližji prevod nizu je: če je kateri koli od izrazov v oklepajih resničen ali ne, potem je t resničen ali ne. Povezovalci so zadolženi za vzpostavljanje odnosov med predlogi, ki lahko predstavljajo karkoli.
Matematika
V tem matematičnem primeru A = ❴xx⦤3⋀x> 2❵ se vmeša niz z imenom „A“, ki vsebuje elemente imena „x“. Vsi elementi A so povezani s simbologijo ❴, -, ⦤, ⋀,>, ❵.
Vsi tukaj se uporabljajo za določitev pogojev, ki jih morajo elementi "x" izpolnjevati, da so lahko iz niza "A".
Pojasnilo te verige je, da so elementi tega niza vsi, ki izpolnjujejo pogoj, da je manjši ali enak 3 in hkrati večji od 2. Z drugimi besedami, ta veriga določa številko 3, ki je edini element, ki izpolnjuje pogoje.
Računalniško programiranje
Programska vrstica IF A = 0, TAKO GOTO 30, 5 * A + 1 ima spremenljivko "A", ki je predmet pregleda in odločanja prek operaterja, imenovanega "če je pogojen".
Izrazi "ČE", "THEN" in "GOTO" so del sintakse operaterja. Medtem so preostali elementi primerjalne in dejanske vrednosti "A".
Njegov pomen je: računalnik je pozvan, naj oceni trenutno vrednost "A". Če je enaka nič, bo prešla na "30" (drugo programsko vrstico, kjer bo še eno navodilo). Če se razlikuje od nič, se spremenljivka "A" pomnoži (*) z vrednostjo 5 in vrednost 1 ji doda (+).
Reference
- Collinsov slovar. (s / ž). Opredelitev „formalnega jezika“. Vzeto s spletnega mesta collinsdictionary.com.
- University of Technology, Sydney. (s / ž). Formalni in neformalni jezik. Vzeto iz uts.edu.au.
- Opredelitve. (s / ž). Opredelitve za formalni jezik. Vzeti iz definicije.net.
- Tehniška univerza v Madridu. (s / ž). Naravni jeziki in formalni jeziki. Vzeti iz lorien.die.upm.es.
- Občina Luján. (s / ž). Formalni jezik. Vzeti z lujan.magnaplus.org.
- Corbin, JA (s / ž). 12 vrst jezika (in njihove značilnosti). psychologiaymente.com.
- Bel Enguix, G. in Jiménez López, dr. Med. Simpozij: Nove aplikacije teorije formalnih jezikov v jezikoslovju. Vzeti iz elvira.lllf.uam.es.
