Što se može pripisati formalnim jezicima? Primjeri upotrebe

Što je formalni jezik i kako se razlikuje od prirodnog? Kako je formirana? Što se može pripisati formalnim jezicima? A što se koristi za to?

Značajke formalnih jezika

Zato nazovite grupu umjetni jezici, koje karakteriziraju precizna pravila o izradi izraza, kao i njihovo razumijevanje. Formalni jezici uključuju sustave koji se koriste u primijenjene svrhe. Oni su izgrađeni u skladu s jasnim pravilima, pružaju dosljedan, kompaktan i točan mapiranje odnosa i svojstava proučavanog područje predmeta ili simulirani objekti. Značenje i značenje korištenih znakova ne može se promijeniti iz nekih pragmatičnih značajki (kontekst uporabe). To je moguće zbog prisutnosti u formalnim jezicima pravila sintaktičke transformacije i semantičke interpretacije. Često su konstruirani kada se koriste kao baza matematike. Zbog činjenice da su u njemu, tijekom cijelog razdoblja razvoja, korišteni razni simbolički simboli korišteni različitim konceptima i objektima. To je ono za što su formalni jezici. Omogućuju vam značajno smanjenje podataka. Ranije, zajedno s formalnim i prirodnim jezicima su korišteni, ali s postupnim komplikacija objekta i potrebe da strogi logički analizu matematičkog zaključivanja, odlučeno je da se napusti prošlost. Taj se proces protezao od XVII. Do XX. Stoljeća. Posljednje se stoljeće smatra najplodonosnijim iz točke razvoja formalnih jezika. Stvorene su različite posebne grane. Dakle, za računalne znanosti od posebne važnosti programskih jezika i algebra logike, ne samo teoretski, nego i praktične točke gledišta.

definicija

Što se može pripisati formalnim jezicima, mi smo već ukratko objasnili. Ali što je s njima samima? Formalni jezici dobivaju mnogo različitih definicija. Da biste ih sve navedili, to će potrajati puno vremena pa ćemo se upoznati s najpopularnijim:

1. Jednostavan popis riječi koji su uključeni u određeni jezik - obično govore o konačnom tipu konstrukcije i onima koji imaju jednostavnu strukturu.
2. Riječi generirane određenom formalnom gramatikom.
3. Struktura stvorena redovitim izrazima.
4. Riječi koje stvara BNF-konstrukcija.
5. Struktura koju priznaje konačni stroj.

Pogledajmo primjer. Pretpostavimo da imamo cijelu abecedu s dvije znamenke: 1 i 0. Za prikaz slova "O" koristimo kombinaciju 1010001. Ovo je primjena formalnog jezika. Također je moguće koristiti praznu riječ (kada niza ima nulu i nema ništa u njemu) s posebnom oznakom u obliku u kojem smo upoznati. Ali detaljnije razumijevanje onoga što će formalni jezik pomoći će 4 primjera, koji će se dati dalje. Zašto je to? Da je čitatelj razumio da je moguće pripisati formalnim jezicima. Ali malo više o tome kako su stvoreni.

Izgradnja formalnih jezika

Svaki je formalni jezik konstrukcija koja je stvorena negdje i netko. Oni se obično grade prema jednoj shemi:

1. Za početak, odaberite abecedu ili neku zbirku određenih simbola, od kojih će se izrađivati ​​izrazi korištenih na jeziku. Na formalnim jezicima je bilo koji način programiranja pomoću računala.
2. Opisuje sintaksa, tj. Značajke i pravila, na kojima će se graditi smislene rečenice.
3. Prema nekim pravilima, sastavljene su riječi i izrazi. Postoji pravilo: bilo koji redoslijed pisama trebao bi se smatrati riječju.

Na formalnim jezicima je svaki dizajn koji ima jasna pravila - to treba zapamtiti. Prilikom gradnje, postoje neke značajke. Dakle, pojam "simbol" vrlo je multifunkcionalan sa stajališta semantičkog opterećenja, pa se u svojoj masi koristi izraz "slovo". Ali ispod njih mogu razumjeti ne samo uobičajenu notaciju za nas, već i zagrade, posebne znakove i još mnogo toga. Ovo se odnosi samo na formalne jezike.

Primjer 1

Počnimo s 1 i 0. U takvim slučajevima koriste se pojmovi "izraz" i "formula". Prvi djeluje kao analogni naziv objekta i koristi se za nešto specifično. Prije svega, oni znače konstante i objektivne varijable. Od njih, zauzvrat, grade se složenije konstrukcije, za koje se koristi funkcija korištena na nekom jeziku. Podrazumijeva se da grupa znači pojmove čija je uporaba moguće u određenom programskom jeziku. Ova "uputa" će biti obrađena, a osoba će dobiti potrebne rezultate.

Primjer 2

Razmotrimo primjer logike u kojoj postoji inverzija (ne), disjunkt (i), spoj (ili) i implikacija (rArr-) i brojni drugi. Kao slike, možete zapisati takve zapise:

1. A;
2. Aand-u rArr- Ne-A
3. ne- (Aor-ne-C)

Kako simboli A, B, C zamjenjuju varijable i dobit ćete ih logičke operacije. Gdje se koriste formalni jezici ovog tipa? Široka upotreba takvog mehanizma koji se nalazi u programskim jezicima, matematici, odnosima, logičkim i matematičkim funkcijama ili pojedinačnim dijelovima koji su opisali programer.

Primjer 3

Pogledajmo složenu logičku formulu:

ne- (Aor-ne-C) hArr- ne-Aand-S = 1

Zato nam je potrebna formalna jezika. Zamislite što bi se dogodilo da je opisano riječima? A sada, na temelju formule, zaključit ćemo zaključke. Značajni izrazi mogu se dobiti na formalnom jeziku samo kada se promatraju unaprijed određena pravila formiranja, modifikacije i "razumijevanja" formula i izraza iz kojih su nastali:

1. Izgradnja pojmova i formula;
2. Izrada semantičkog aspekta i tumačenja;
3. Redoslijed nekih formula i izraza od drugih.

Na svakom formalnom jeziku, skup ovih pravila mora biti dobro razrađen.

Primjer 4

Zbog nazočnosti u sintaksi jezika izlaznih pravila za pojmove i formule moguće je izvesti izomorfne transformacije modela. To ne samo da odražava (predstavlja) određeni skup znanja koji već postoji, već, možda, prima nove informacije. Štoviše, transformacija, iako će se dogoditi u skladu s jasnim i strožim pravilima, može biti automatizirana. Koriste se slične tehnologije stručnih sustava, baze znanja i softverskih proizvoda za podršku odlučivanju.

zaključak

Formalni jezici su pronašli široku primjenu u znanosti, posebno u inženjerstvu. Tijekom vođenja znanstvenih istraživanja ili u provedbi praktičnih aktivnosti, oni mogu komunicirati s prirodnim, s obzirom na značajne izražajne sposobnosti potonjeg. Ipak, formalni jezici omogućuju točniji prijenos znanja i provode objektivnu razmjenu informacija prikupljenih od strane čovječanstva.