Formalni jezici: primjeri. Znakovi formalnog jezika

21. stoljeće je vrijeme kada je posjedovanje informacija najvažnija konkurentska prednost u bilo kojoj sferi. Međutim, neće učiniti ništa ako se ne izražava na jeziku koji je razumljiv onima kojima je prevoditelj namjeravan ili ne, koji je sposoban prenijeti svoje značenje prema primatelju.

Trenutno oko 2.000 ljudi živi na zemlji. Njihova prepoznatljivost, prije svega, je jezik.

Zajedno s kolokvijalnom (prirodnom) čovječanstvu stvorili su mnoge umjetne jezike. Svaki od njih je dizajniran za rješavanje određenih problema.

Takvi sustavi znakova uključuju formalne jezike, čiji primjeri su prikazani u nastavku.

definirati

Prije svega, formuliramo ono što je jezik. Ovom je riječma uobičajeno razumjeti sustav znakova, koji se koristi za uspostavljanje komunikacije između ljudi i spoznaje.

Osnova većine umjetnih i prirodnih jezika je abeceda.

To je skup simbola koji se koriste za sastavljanje riječi i fraza.

Jezici karakteriziraju:

• skup korištenih znakova;
• pravila sastavljanja od njih "riječi", "fraze" i "tekstovi";
• skup pravila (sintaktička, pragmatična i semantička) upotreba sastavljenih konstrukcija.

Značajke prirodnih jezika

Kao što je već spomenuto, svi su jezici uvjetno podijeljeni na umjetno i prirodno. Postoje mnoge razlike među njima.

Govorni jezici su prirodni. Među njihovim karakteristikama, među ostalima su:

• dvosmislenost većine riječi;
• postojanje sinonima i homonima;
• prisutnost nekoliko imena u istom predmetu;
• Postojanje iznimaka iz gotovo svih pravila.

Sve te značajke su glavne razlike između sustava prirodnih znakova i formalnih jezika. Primjeri nejasnoća riječi i izgovora su poznati svima. Dakle, riječ "eter", ovisno o kontekstu, može značiti i tvar, radio i televiziju.

Glavne funkcije govornog jezika su:

• komunikacija;
• kognitivna aktivnost;
• izraz emocija;
• utjecaj na sugovornika (dopisnik, ako je riječ o dopisivanju).

Karakteristike umjetnih jezika

Umjetni jezici stvaraju ljudi u posebne svrhe ili za određene grupe ljudi.

Jedna od glavnih karakteristika umjetnih jezika je nedvosmislena sigurnost njihovog rječnika, kao i pravila za davanje značenja i formiranje izraza.

Formalni jezici i gramatički jezici

Jezik, bez obzira na to je li prirodan i umjetan, može postojati samo u nazočnosti određenih pravila. Istodobno, mora se osigurati dosljedan, kompaktan i točan veza odnosa i svojstava predmetnog područja u studiju. Ako su strogo formulirani, onda to kažu to je formalno jezik. Primjeri takvih sustava znakova su programski jezici, iako, strogo govoreći, one zauzimaju neki posredni položaj (vidi dolje).

Shema za izradu formalnih sustava znakova je sljedeća:

• odabrana je abeceda (zbirka izvornih simbola);
• daju se pravila za izradu izraza (sintakse) jezika.

Opseg primjene

formalan jezika (primjeri: jezici logika, programiranje itd.) koriste se u procesu znanstvenog istraživanja. Oni su bolji od prirodnih, predstavljaju znanje i sredstvo je objektivnije i točnije razmjene informacija.

Formalni jezici uključuju sve poznate sustave matematičkih i kemijskih simbola, Morseov kod, glazbenu notaciju itd.

Osim toga, naširoko se koriste formalni programski jezici. Njihov brzi razvoj započeo je sredinom 20. stoljeća, u vezi s nastupom računalne tehnologije.

Jezik formalne logike

U srcu bilo kojeg programskog jezika je matematički. On zauzvrat počiva na sustavu znaka formalne logike.

Kao znanost, logika je stvorila Aristotel. Također je razvio pravila za preobrazbu izjava koja čuvaju njihovu vrijednost istine, bez obzira na sadržaj pojmova koji ulaze u ove izjave.

Formalna logika se bori s „nedostatke” prirodni jezik povezan s dvosmislenost nekih izjava i tako dalje. U tu svrhu, operacija je zamijenjen s mislima akata sa znakovima formalnog jezika. To eliminira svaku nesigurnost i omogućuje vam točno određivanje istine izjave.

Značajke programskih jezika

Kao što je već spomenuto, oni se mogu klasificirati kao formalni s nekim rezervacijama.

S tim potonjem, mnoge sintaktičke pravila ujedinjuju ih, te s nekim prirodnim ključnim riječima i konstrukcijama.

Da biste stvorili programski jezik, morate definirati skup validnih znakova i ispravnih jezičnih programa i značenja svakog ispravnog programa. Ako se prvi zadatak može riješiti formalizacijom, u slučaju posljednjeg, ti pristupi ne funkcioniraju.

Skup dopuštenih simbola programskih jezika su znakovi koji se mogu tipkati s tipkovnice. Oni predstavljaju prvi dio ASCII tablice za kodiranje.

gramatika

Programski jezici, kao i svi drugi, imaju gramatiku. Ovim pojmom razumijemo opis metode izrade prijedloga. Gramati su opisani na različite načine. U slučaju programskih jezika, to su pravila koja su određena poredanim parovima znakovnih nizova dviju vrsta: definiranje sintaktičkih konstrukata i semantičkih ograničenja. Prilikom definiranja gramatike prvo se formalno navode pravila za konstruiranje sintaktičkih konstrukcija, a zatim definiraju semantička pravila na jednom od prirodnih jezika.

Pravila se snimaju grafički pomoću posebnih dijagrama. U početku je ovaj pristup primijenjen na stvaranje Pascala. Međutim, tada je postalo široko korišten u drugima.

Razvrstavanje programskih jezika

Trenutno ima nekoliko tisuća, zajedno s "dijalektima". Oni su klasificirani kao proceduralni i deklarativni. U jezicima prvog tipa, transformacija podataka određena je opisivanjem slijeda radnji koje su izvršene na njima, drugim odnosima. Postoje i druge klasifikacije. Na primjer, programski jezici podijeljeni su na funkcionalne, proceduralne, objektno orijentirane i logične. Ako rigorozno pristupamo tom pitanju, tada nikakva klasifikacija ne može biti objektivna. Uostalom, značajan dio programskih jezika ima sposobnosti formalnih sustava nekoliko tipova odjednom. S vremenom će se rubovi vjerojatno još više trošiti.

Sada možete odgovoriti na pitanje: "Koji službeni jezici znate?". Znanstvenici ih i dalje poboljšavaju, kako bi se omogućilo rješavanje raznih praktičnih i teorijskih problema, koji se u ovom trenutku smatraju netopivim.