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
Määratlus
- Lihtne nimekiri sõnadest, mis kuuluvad antud keelde - tavaliselt räägitakse piiratud ehitustüübist ja nendest, kellel on lihtne struktuur.
- Teatud formaalse grammatika abil loodud sõnad.
- Regulaaravaldiste abil loodud struktuur.
- BNF-i ehituses loodud sõnad.
- 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
- 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.
- Kirjeldab süntaksi, see tähendab funktsioone ja eeskirju, mille abil luuakse olulisi lauseid.
- 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
- A;
- А∧В ⇒ ¬А
- ¬ (А∨¬С)
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:
- Mõistete ja valemite ehitus;
- Semantilise aspekti ja tõlgenduse uurimine;
- 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
Similar articles
Trending Now