Kaj lahko pripišemo formalnim jezikom? Primeri uporabe

Kaj je formalni jezik in kako se razlikuje od naravnega jezika? Kako je nastalo? Kaj lahko pripišemo formalnim jezikom? In kaj se uporablja za označevanje?

Značilnosti formalnih jezikov

Zato imenujte skupino umetni jeziki, za katero so značilna natančna pravila v zvezi z gradnjo izrazov, pa tudi njihovo razumevanje. Formalni jeziki vključujejo sisteme, ki se uporabljajo za uporabne namene. Oblikovani so v skladu z jasnimi pravili, zagotavljajo dosledno, kompaktno in natančno kartiranje razmerij in lastnosti preučevanih predmetno področje ali simuliranih predmetov. Pomen in pomen uporabljenih znakov se ne morejo spremeniti iz nekaterih pragmatičnih značilnosti (kontekst uporabe). To je mogoče zaradi prisotnosti v formalnih jezikih pravil skladenjskega preoblikovanja in semantične interpretacije. Pogosto so zgrajeni, če se uporabljajo kot osnova matematike. Zaradi dejstva, da so v njem skozi celotno razvojno obdobje uporabljeni različni simbolni simboli, ki se uporabljajo za različne koncepte in predmete. Za to so formalni jeziki. Ti vam omogočajo znatno zmanjšanje podatkov. V preteklosti so bili poleg formalnih, naravnih jezikov uporabljeni, vendar s postopnim zapletom predmeta in potrebo po strogi logični analizi matematičnih presoj je bilo odločeno, da se slednji odreče. Ta proces se je segal od XVII do XX. Stoletja. To je zadnje stoletje, ki velja za najbolj plodno od razvoja formalnega jezika. Ustvarjene so bile različne posebne podružnice. Na primer, za računalništvo, programski jeziki in algebra logike so posebnega pomena ne samo s teoretičnega vidika, temveč tudi s praktičnega vidika.

Opredelitev

Kaj je mogoče pripisati formalnim jezikom, smo že na kratko pojasnili. Kaj pa sami? Formalnim jezikom so podane številne različne opredelitve. Če jih želite našteti, bo trajalo veliko časa, zato se bomo seznanili z najbolj priljubljenimi:

1. Preprost seznam besed, ki so vključeni v danem jeziku - ponavadi govorijo o končni vrsti konstrukcije in o tistih, ki imajo preprosto strukturo.
2. Besede, ki jih ustvarja določena formalna slovnica.
3. Struktura, ki jo ustvarijo regularni izrazi.
4. Besede, ki jih ustvarja BNF-konstrukcija.
5. Struktura, ki jo prepozna končni državni stroj.

Poglejmo si primer. Recimo, da imamo celotno abecedo z dvema številkama: 1 in 0. Za prikaz črke "O" uporabljamo kombinacijo 1010001. To je uporaba formalnega jezika. Prav tako je mogoče uporabiti prazno besedo (če ima niz nične dolžine in nima ničesar) s posebno oznako v obliki, ki smo jo poznali. Ampak podrobnejše razumevanje tega, kaj je formalni jezik, bo pomagalo 4 primerov, ki bodo dani še naprej. Za kaj je to? Da je bralec razumel, da ga je mogoče pripisati formalnim jezikom. Toda malo več o tem, kako so ustvarjeni.

Gradnja formalnih jezikov

Vsak uradni jezik je gradnja, ki jo je ustvaril nekdo in nekdo. Običajno so zgrajene po eni shemi:

1. Za začetek izberite abecedo ali zbirko določenih simbolov, iz katerih bodo zgrajeni izrazi, uporabljeni v jeziku. Formalnim jezikom je vsak način programiranja z uporabo računalnika.
2. Opisuje sintakso, to je lastnosti in pravila, na katerih bodo oblikovane pomembne stavke.
3. V skladu z nekaterimi pravili so sestavljene besede in izrazi. Obstaja pravilo: vsako zaporedje črk bi moralo biti mogoče obravnavati kot besedo.

V formalne jezike je vsak dizajn, ki ima jasna pravila - to je treba spomniti. Pri gradnji obstajajo nekatere funkcije. Torej je koncept »simbola« z vidika semantičnega bremena zelo multifunkcionalen, zato se v svoji množini uporablja izraz »črka«. Toda pod njimi lahko razumemo ne samo običajno notacijo za nas, temveč tudi oklepaj, posebne znake in še veliko več. To velja samo za formalne jezike.

Primer 1

Začnimo z 1 in 0. V takšnih primerih se uporabljajo izrazi "izraz" in "formula". Prvi deluje kot analog za ime predmeta in se uporablja za sklicevanje na nekaj posebnega. Najprej pomenijo konstante in objektivne spremenljivke. Od teh pa so zgrajene bolj zapletene konstrukcije, za katere se uporablja funkcija v določenem jeziku. Formulo pomeni skupino izrazov, katerih uporaba v določenem programskem jeziku je možna. To "navodilo" bo obdelano in oseba bo prejela potreben rezultat.

Primer 2

Razmislite o primeru logike, v kateri je inverzija (ne-), disjunkcija (in-), povezava (ali) in posledica (rArr-) ter številne druge. Kot slike lahko napišete takšne zapise:

1. A;
2. A-B rArr- ne-A
3. ne- (Aor-ne-C)

Kot simboli A, B, C nadomestite spremenljivke in dobili boste logične operacije. Kje se uporabljajo formalni jeziki te vrste? Široka uporaba takega mehanizma, ki ga najdemo v programskih jezikih, matematiki, odnosih, logičnih in matematičnih funkcijah ali posameznih delih, ki jih je opisal programator.

Primer 3

Poglejmo si bolj zapleteno logično formulo:

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

Zato potrebujemo formalne jezike. Predstavljajte si, kaj bi se zgodilo, če bi bilo opisano z besedami? In zdaj, na podlagi formule, bomo sklepali o sklepih. Pomembne izraze je mogoče pridobiti v formalnih jezikih šele takrat, ko se upoštevajo vnaprej določena pravila za oblikovanje, spreminjanje in "razumevanje" formul in izrazov, iz katerih so izdelani:

1. Izgradnja izrazov in formul;
2. Izdelava semantičnega vidika in interpretacije;
3. Vrstni red nekaterih formul in izrazov od drugih.

V vsakem uradnem jeziku je treba nabor teh pravil dobro razvrstiti.

Primer 4

Zaradi prisotnosti v sintaksi jezika izhodnih pravil za izraze in formule je mogoče opraviti izomorfne transformacije modelov. To ne bo odražalo (predstavljalo) določenega znanja, ki že obstaja, ampak morda prejmejo nove informacije. Poleg tega se lahko preoblikovanje, čeprav se bo zgodilo v skladu z jasnimi in strogimi pravili, avtomatiziralo. Podobne tehnologije se uporabljajo v strokovni sistemi, baze znanja in programske opreme za podporo odločanju.

Zaključek

Formalni jeziki so našli široko uporabo v znanosti, zlasti v inženirstvu. Med izvajanjem znanstvenih raziskav ali izvajanjem praktičnih dejavnosti lahko vplivajo na naravno, glede na pomembne izrazne zmožnosti slednjih. Kljub temu uradni jeziki omogočajo natančnejši prenos znanja in vodijo objektivno izmenjavo informacij, ki jih zbere človeštvo.