Formalni jezici: primjeri. Znakovi formalnog jezika

21. stoljeće - vrijeme kada je posjedovanje informacija najvažnija konkurentska prednost u bilo kojem području. Međutim, ono neće donijeti nikakvu korist ako nije izraženo na jeziku koji razumiju osobe kojima je dodijeljen ili kojem nedostaje tumač koji je sposoban prenijeti njegovo značenje primatelju. Trenutno na Zemlji živi oko 2000 ljudi. Njihova posebnost, prije svega, je jezik. Uz izgovoreno (prirodno) čovječanstvo stvorilo je mnogo umjetnih jezika. Svaki od njih je dizajniran za rješavanje specifičnih zadataka. Među takvim znakovnim sustavima su formalni jezici, čiji su primjeri dani u nastavku.

Definicija

Najprije ćemo navesti koji je jezik. Pod tom se riječi podrazumijeva znakovni sustav koji se koristi za uspostavljanje komunikacije između ljudi i znanja. Osnova većine umjetnih i prirodnih jezika je abeceda. To je skup znakova koji se koriste za sastavljanje riječi i fraza. Jezik karakterizira:
  • skup znakova koji se koriste;
  • pravila sastavljanja njih "riječi", "fraze" i "tekstovi";
  • skup pravila (sintaktička, pragmatična i semantička) uporabe složenih konstrukata.

    Obilježja prirodnih jezika

    Kao što je već spomenuto, svi jezici se konvencionalno dijele na umjetne i prirodne. Postoji mnogo razlika između njih.


    Govorni jezici su prirodni. Među njihovim karakteristikama, zajedno s drugima, spadaju:
  • dvosmislenost većine riječi;
  • postojanje sinonima i homonima;
  • prisutnost nekoliko imena u istom predmetu;
  • Postojanje iznimaka od gotovo svih pravila.
  • Sve te karakteristike su glavne razlike između prirodnih znakovnih sustava od formalnih jezika. Primjeri riječi i dvosmislenosti govora svima su poznati. Dakle, riječ "eter", ovisno o kontekstu, može značiti i materiju i radio - ili emitiranje.


    Glavne funkcije govornih jezika su:
  • komunikacija;
  • kognitivna aktivnost;
  • izražavanje emocija;
  • utjecaj na sugovornika (dopisnik kada je u pitanju dopisivanje).
  • Značajke umjetnih jezika

    Umjetne jezike stvaraju ljudi za posebne namjene ili za određene skupine ljudi. Jedna od glavnih značajki umjetnih jezika je nedvosmislena definicija njihovog vokabulara, kao i pravila dajući im vrijednosti i izraze.

    Formalni jezici i gramatika

    Jezik, prirodan i umjetan, može postojati samo ako postoji skup specifičnih pravila. U tom slučaju treba osigurati dosljedan, kompaktan i točan odraz odnosa i svojstava predmetne domene. Ako su jasno artikulirani, kažu da je to formalni jezik. Primjeri takvih znakovnih sustava su programski jezici, iako, strogo govoreći, oni zauzimaju određeni među-položaj (vidi dolje). Slijedi izgradnja sustava formalnih znakova:
  • odabrana abeceda (skup izvornih simbola);
  • postavljaju pravila za konstruiranje izraza(sintaksa) jezika.
  • Opseg

    Formalni jezici (primjeri: jezici logike, programiranje itd.) Koriste se u procesu znanstvenog istraživanja. Oni su bolje nego prirodni da predstavljaju znanje i sredstvo su objektivnije i točnije razmjene informacija. Formalni jezici obuhvaćaju sve poznate sustave matematičkih i kemijskih simbola, Morzeovog koda, glazbenog instrumenta itd. Osim toga, široko se primjenjuju formalni programski jezici. Njihov brz razvoj počeo je sredinom 20. stoljeća, u vezi s pojavom računalne tehnologije.

    Jezik formalne logike

    Osnova bilo kojeg programskog jezika je matematička. On se, pak, oslanja na znakovni sustav formalne logike. Kao znanost, logiku je stvorio Aristotel. Međutim, on je razvio pravila za transformaciju izjava koje čuvaju njihovo pravo značenje, bez obzira na sadržaj tih izraza pojmova. Formalna logika se bori s "nedostacima" prirodnih jezika povezanih s dvosmislenosti nekih izjava, itd. U tu svrhu operacije s mislima zamjenjuju se djelovanjem sa znakovima formalnog jezika. To eliminira svaku neizvjesnost i dopušta upravo da se utvrdi istinitost izjave.

    Značajke programskih jezika

    Kao što je već spomenuto, one se mogu klasificirati s nekim rezervama kao klasa formalnih. S ovim potonjim oni kombiniraju puno sintaktičkih pravila, te s prirodnim nekim od ključnih riječi i dizajna. Da biste stvorili programski jezik, morate definirati množinudopuštene simbole i ispravne programe jezika i značenja svakog ispravnog programa. Ako se prvi zadatak može ispuniti putem formalizacije, u drugom slučaju ti pristupi ne funkcioniraju. Skup dopuštenih simbola programskih jezika jesu znakovi koji se mogu upisati s tipkovnice. Oni predstavljaju prvi dio ASCII tablice kodiranja.

    Gramatika

    Programski jezici, kao i svaki drugi, imaju gramatiku. Pod ovim pojmom razumijemo opis metode izrade prijedloga. Gramatika je opisana na različite načine. U slučaju programskih jezika, oni predstavljaju pravila koja su dana u paru redova lanca znakova dva tipa: definiranje sintaktičkih konstrukcija i semantičkih ograničenja. Prilikom postavljanja gramatike, najprije se formalno postavljaju pravila konstrukcije sintaktičkih konstrukcija, a onda su ona semantička u jednom od prirodnih jezika.
    Pisanje pravila u grafičkom obliku provodi se pomoću posebnih karata. U početku se ovaj pristup primjenjivao pri stvaranju jezika Pascal. Ali onda je postao široko korišten u drugima.

    Klasifikacija programskih jezika

    Trenutno postoji nekoliko tisuća dijalekata zajedno s njima. Kategorizirane su kao proceduralne i deklarativne. U jezicima prvog tipa konverzije podataka navode se opisujući slijed postupaka koji se na njima obavljaju, a drugi - odnose. Postoje i druge klasifikacije. Na primjer, programski jezici se dijele na funkcionalne, proceduralne, objektno orijentirane i logične. Ako se jasno postavi pitanje, onda nema klasifikacijemože biti objektivan. Uostalom, veliki dio programskih jezika ima sposobnosti formalnih sustava odjednom nekoliko tipova. Vremenom će se granice vjerojatno još više izbrisati.
    Sada možete odgovoriti na pitanje: "Koje formalne jezike znate?" Znanstvenici ih i dalje usavršavaju, kako bi se omogućila rješenja za različite praktične i teorijske zadatke, koji se trenutno smatraju nerješivima.

    Povezane publikacije