Haridus:Keskharidus ja koolid

Mida saab omistada ametlikele keeltele? Kasutamise näited

Mis on ametlik keel ja kuidas see erineb looduslikust keelt? Kuidas see tekkis? Mida saab omistada ametlikele keeltele? Ja mida kasutatakse selle näitamiseks?

Ametlike keelte omadused

See on kunstlike keelte rühma nimi, mida iseloomustavad täpseid eeskirju väljendite väljatöötamise ja nende arusaamise kohta. Ametlikke keeli võib liigitada süsteemideks, mida kasutatakse rakenduslikel eesmärkidel. Need on ehitatud vastavalt selgetele reeglitele, võimaldavad uuritud domeeni või simuleeritud objektide suhteid ja omadusi järjepidevalt, kompaktselt ja täpselt kaardistada. Kasutatavate märkide tähendus ja tähendus ei saa muutuda mõnest pragmaatilisest tunnusest (kasutuskontekstis). See on võimalik süntaktiliste muutuste ja semantilise tõlgendamise reeglite olemasolu tõttu ametlikes keeltes. Sageli kasutatakse neid matemaatika aluseks. Kuna kogu arenguperioodil kasutati erinevaid sümboleid erinevate mõistete ja objektide jaoks. See on mõeldud ametlike keelte jaoks. Need võimaldavad teil oluliselt vähendada andmeid. Varem kasutati ametlikke, looduslikke keeli, kuid koos subjekti järkjärgulise komplikatsiooniga ja vajaliku matemaatiliste otsuste rangema loogilise analüüsi tegemisega otsustati viimane neist loobuda. See protsess venitati XVII-st XX sajandini. See on möödunud sajand, mida peetakse formaalsete keelte arengu seisukohast viljakamaks. Erinevad eri harud. Näiteks loogika programmeerimine ja algebra on infotehnoloogia jaoks eriti olulised mitte ainult teoreetilisest seisukohast, vaid ka praktilisest vaatenurgast.

Määratlus

Mis on ametlikele keeltele omistatud, oleme juba lühidalt selgitanud. Aga nendega ise? Formaalsetes keeltes on palju erinevaid määratlusi. Nende kõigi loetlemiseks kulub palju aega, seega tutvustame kõige populaarsemaid:

  1. Lihtne nimekiri sõnadest, mis kuuluvad antud keelde - tavaliselt räägitakse piiratud ehitustüübist ja nendest, kellel on lihtne struktuur.
  2. Teatud formaalse grammatika abil loodud sõnad.
  3. Regulaaravaldiste abil loodud struktuur.
  4. BNF-i ehituses loodud sõnad.
  5. Konstruktsioon, mida tunneb piiratud olekus masin.

Vaatame näitena. Oletame, et meil on kogu tähestik kujutatud kahe numbriga: 1 ja 0. Tähe "O" kuvamiseks kasutame kombinatsiooni 1010001. See on ametliku keele rakendus. Samuti on võimalik kasutada tühja sõna (kui stringil on null pikk ja selles pole midagi), millel on spetsiaalne tähis kujul, millest me oleme tuttavad. Kuid üksikasjalikumat arusaamist sellest, mida ametlik keel aitab 4 näitena, mis antakse edasi. Mis see on? See, et lugejal oli arusaam, et ametlikke keeli on võimalik omistada. Aga natuke rohkem sellest, kuidas need on loodud.

Ametlike keelte ehitus

Iga ametlik keel on ehitustöö, mille loonud millalgi ja keegi. Need on tavaliselt ehitatud vastavalt ühele skeemile:

  1. Alustuseks vali tähestik või mõne kindla sümboli kogum, kust kasutatakse keelekasutuses kasutatavaid väljendeid. Ametlikes keeltes on ükskõik milline arvutiprogrammide kasutamise viis.
  2. Kirjeldab süntaksi, see tähendab funktsioone ja eeskirju, mille abil luuakse olulisi lauseid.
  3. Vastavalt teatud reeglitele koosnevad sõnad ja väljendid. Seal on reegel: ükskõik milline tähemärkide järjestus peaks olema sõnaõigus.

Ametlikeks keeleks on mis tahes kujundus, millel on selged reeglid - seda tuleks meeles pidada. Ehitamisel on mõned funktsioonid. Seega on "sümboli" mõiste semantilise koormuse seisukohalt väga multifunktsionaalne, seetõttu kasutatakse selle massis sõna "kiri". Kuid nende all saab mõista mitte ainult meie tavalist märkust, vaid ka sulgusid, erimärke ja palju muud. See kehtib ainult formaalsete keelte kohta.

Näide 1

Alustame 1 ja 0. Sellistel juhtudel kasutatakse mõisteid "mõiste" ja "valem". Esimene toimib objekti nime analoogina ja seda kasutatakse spetsiifiliseks. Kõigepealt tähendavad need konstandid ja objektiivsed muutujad. Neist omakorda on ehitatud keerukamad konstruktsioonid, mille jaoks kasutatakse mingis keeles kasutatavat funktsiooni. Valemi all mõistetakse mõistete rühma, mille kasutamine konkreetses programmeerimiskeemis on võimalik. Seda "juhist" töödeldakse ja inimene saab vajaliku tulemuse.

Näide 2

Mõtle loogika näidet, milles on inversioon (¬), disjunction (∧), conjunction (∨) ja implication (⇒) ja paljud teised. Piltidena võite kirjutada selliseid kirjeid:

  1. A;
  2. А∧В ⇒ ¬А
  3. ¬ (А∨¬С)

Sümbolid A, B, C asendavad muutujad ja saad loogilised toimingud. Kus on seda tüüpi ametlikke keeli? Programmeerimiskeelte, matemaatika, suhteid, loogilisi ja matemaatilisi funktsioone või üksikute osade laialdast kasutamist, mida programmeerija ise kirjeldas.

Näide 3

Vaatame keerulisemat loogilist valemit:

¬ (А∨¬С) ⇔ ¬А∧θ = 1

Sellepärast vajame ametlikke keeli. Kujutage ette, mis juhtuks, kui seda kirjeldaksite sõnadega? Ja nüüd, lähtuvalt valemist, tuleme järeldused. Formaalsetes keeltes saab tähenduslikke väljendeid saada ainult siis, kui järgitakse eelnevalt kindlaksmääratud reegleid valemite ja tingimuste moodustamise, muutmise ja arusaamise kohta:

  1. Mõistete ja valemite ehitus;
  2. Semantilise aspekti ja tõlgenduse uurimine;
  3. Teatud valemite ja terminite järjekord.

Iga ametliku keele puhul peab nende reeglite kogum olema hästi välja töötatud.

Näide 4

Kuna keele süntaksis olevate terminite ja valemite väljundieeskirjad on olemas, on võimalik teostada mudelite isomorfseid teisendusi. See ei peegelda (esitab) mitte ainult teatud teadmisi, mis on juba olemas, vaid võib-olla saada uut teavet. Veelgi enam, ümberkujundamine, kuigi see juhtub vastavalt selgetele ja rangetele reeglitele, saab automatiseerida. Sarnaseid tehnoloogiaid kasutatakse ekspertsüsteemides, teadmiste baasil ja otsusteenustarkvara toodetel.

Järeldus

Ametlikud keeled on teaduses laialdaselt kasutusel, eriti inseneriteaduses. Teadusuuringute läbiviimisel või praktiliste tegevuste läbiviimisel saavad nad suhelda loomulikega, pidades silmas nende olulisi väljendusvõimalusi. Sellegipoolest võimaldavad ametlikud keeled teadmiste täpsemat ülekandmist ja inimeste vahel kogutud teabe objektiivset vahetamist.

Similar articles

 

 

 

 

Trending Now

 

 

 

 

Newest

Copyright © 2018 et.delachieve.com. Theme powered by WordPress.