Formalne jezikovne značilnosti in primeri



The formalni jezik je niz jezikovnih znakov za izključno uporabo v primerih, ko naravni jezik ni primeren. Na splošno je jezik razdeljen na naravno ali neformalno in umetno. Prvi se uporablja za običajne situacije vsakdanjega življenja. Medtem se umetno uporablja v posebnih situacijah zunaj vsakdanjega življenja.

Tako je formalni jezik del umetne skupine. To se uporablja predvsem v formalnih znanostih (tiste, katerih področje delovanja niso stvarnosti fizičnega sveta, ampak abstraktni svet). 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 (nimajo nobene aplikacije v komunikacijah v običajnem svetu). Na področju formalnih znanosti je formalni jezik niz verig simbolov, ki jih lahko urejajo zakoni, ki so specifični za vsako od teh znanosti..

Ta vrsta jezika zdaj uporablja niz simbolov ali črk kot abecedo. Iz tega nastajajo "verige jezika" (besede). Te, če so v skladu s pravili, se štejejo za "dobro oblikovane besede" ali "dobro oblikovane formule"..

Indeks

  • 1 Značilnosti
    • 1.1 Omejeno okolje
    • 1.2 A priori slovnična pravila
    • 1.3 Minimalna semantična komponenta
    • 1.4 Simbolni jezik
    • 1.5 Univerzalnost
    • 1.6 Natančnost in izraznost
    • 1.7 Razširitvene zmogljivosti
  • 2 Primeri
    • 2.1 Logika
    • 2.2 Matematika
    • 2.3 Računalniško programiranje
  • 3 Reference

Funkcije

Omejeno okolje

Cilj formalnega jezika je izmenjava podatkov pod različnimi okoljskimi pogoji kot drugi jeziki. Na primer, v programskem jeziku je konec komunikacija med ljudmi in računalniki ali med računalniškimi napravami. To ni komunikacija med ljudmi.

Zato je to ad hoc jezik, ustvarjen s posebnim ciljem in deluje v zelo specifičnih kontekstih. Prav tako se ne uporablja na ogromen način. Nasprotno, njegova uporaba je omejena na tiste, ki poznajo cilj jezika in njegov poseben kontekst.

Slovnična pravila a priori

Formalni jezik se oblikuje iz vzpostavitve a priori slovničnih pravil, ki dajejo osnovo. Torej najprej oblikujemo nabor načel, ki bodo urejala kombinacijo elementov (sintaksa) in nato ustvarila formule.

Po drugi strani pa je razvoj formalnega jezika zavesten. To pomeni, da so za njihovo učenje potrebna stalna prizadevanja. V istem zaporedju idej njegova uporaba vodi v specializacijo v predpisih in konvencijah znanstvene uporabe.

Minimalna semantična komponenta

Semantična komponenta v formalnem jeziku je minimalna. Določena veriga, ki pripada formalnemu jeziku, sama po sebi nima pomena.

Semantična obremenitev, ki jo imajo, je delno posledica operaterjev in odnosov. Nekatere od teh so: enakost, neenakost, logični vezni in aritmetični operaterji.

V naravnem jeziku ima ponovitev kombinacije "p" in "a" v besedi "oče" pomensko vrednost staršev. Vendar v formalnem jeziku ne. Na praktičnem področju se smisel ali interpretacija verig nahaja v teoriji, ki jo skušamo definirati skozi ta formalni jezik.

Torej, ko se uporablja za linearne sisteme enačb, ima matrično teorijo kot eno od svojih pomenskih vrednosti. Po drugi strani pa ima isti sistem semantično obremenitev logičnih vezij v računalništvu.

Skratka, pomen teh verig je odvisen od področja formalnih znanosti, v katerem se uporabljajo.

Simbolni jezik

Formalni jezik je popolnoma simboličen. To je narejeno iz elementov, katerih poslanstvo je posredovati odnos med njimi. Ti elementi so formalni jezikovni znaki, ki kot že omenjeno ne ustvarjajo nobene semantične vrednosti.

Oblika oblikovanja formalne jezikovne simbologije nam omogoča, da naredimo izračune in vzpostavimo resnice, ne glede na dejstva, temveč na njihove odnose. Ta simbolika je edinstvena in daleč od vsake konkretne situacije v materialnem svetu.  

Univerzalnost

Formalni jezik je univerzalen. Za razliko od naravnega, da motivirani na svojo subjektivnost omogoča interpretacije in več dialektov, se formalna zdi nespremenjena.

Pravzaprav je podoben za različne vrste skupnosti. Njihovi pristopi imajo enak pomen za vse znanstvenike, ne glede na jezik, ki ga govorijo.

Natančnost in izraznost

Na splošno je formalni jezik natančen in ne izrazit. Njegova pravila oblikovanja preprečujejo govorcem, da bi kovali nove izraze ali dajo obstoječim izrazom nove pomene. In ne more se uporabiti za posredovanje prepričanj, razpoloženj in psiholoških situacij.

Razširitvene zmogljivosti

V ukrepu, v katerem je bil dosežen napredek pri odkrivanju aplikacij za formalni jezik, je bil njegov razvoj eksponenten. Dejstvo, da ga je mogoče upravljati mehansko brez razmišljanja o njegovi vsebini (njeni pomeni), omogoča prosto kombinacijo njenih simbolov in operaterjev.

V teoriji je obseg širitve neskončen. Na primer, nedavne raziskave na področju računalništva in računalništva povezujejo oba jezika (naravna in formalna) za praktične namene.

Natančneje, skupine znanstvenikov delajo na načinih, kako izboljšati enakovrednost med njimi. Na koncu se zasleduje ustvarjanje inteligence, 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 pa simboli ⋁, ⋁ in => predstavljajo spojnike, ki povezujejo predloge. V tem posebnem primeru so uporabljeni priključki "y" (⋀), "o" (⋁), "then" (=>).

Najbližji prevod nizu je: če je kateri koli izraz v oklepaju izpolnjen ali ne, potem je izpolnjen ali ni izpolnjen. Konektorji so zadolženi za vzpostavitev razmerij med predlogi, ki lahko predstavljajo karkoli ...

Matematika

V tem matematičnem primeru A = ❴x | x⦤3⋀x> 2❵, intervenira niz z imenom "A", ki ima elemente imena "x". Vsi elementi A so povezani z simbologijo |, |, ⦤, ⋀,>,.

Vsi tukaj se uporabljajo za definiranje pogojev, ki jih morajo izpolnjevati elementi "x", tako da so lahko iz niza "A"..

Razlaga te verige je, da so elementi tega množice vsi tisti, ki izpolnjujejo pogoj, da so manjši ali enaki 3 in hkrati večji od 2. Z drugimi besedami, ta veriga definira številko 3, ki je edini element, ki izpolnjuje pogoje.

Računalniško programiranje

Programska vrstica IF A = ​​0, Nato GOTO 30, 5 * A + 1 ima spremenljivko "A", ki se predloži procesu pregleda in odločanja prek operaterja, znanega kot "če je pogojno".

Izrazi "IF", "THEN" in "GOTO" so del sintakse operaterja. Medtem so ostali elementi primerjava in akcijske vrednosti "A".

Njegov pomen je: računalnik mora oceniti trenutno vrednost "A". Če je enak nič, bo šel na "30" (druga vrstica programiranja, kjer bo še eno navodilo). V primeru, da se razlikuje od nič, bo spremenljivka "A" pomnožena (*) z vrednostjo 5 in bo dodana (+) vrednost 1.

Reference

  1. Collinsov slovar. (s / f). Opredelitev „formalnega jezika“. Vzeto iz collinsdictionary.com.
  2. Univerza za tehnologijo, Sydney. (s / f). Formalni in neformalni jezik. Vzeto iz uts.edu.au.
  3. Definicije (s / f). Definicije za formalni jezik. Vzeto iz definitions.net.
  4. Tehnična univerza v Madridu. (s / f). Naravni jeziki in formalni jeziki. Vzeto iz lorien.die.upm.es.
  5. Občina Luján. (s / f). Formalni jezik Vzeto iz lujan.magnaplus.org.
  6. Corbin, J.A. (s / f). 12 vrst jezikov (in njihove značilnosti). psicologiaymente.com.
  7. Bel Enguix, G. in Jiménez López, M. D. (s / f). Simpozij: Nove uporabe teorije formalnih jezikov v jezikoslovju. Vzeto iz elvira.lllf.uam.es.