Nini cha lugha rasmi unaweza kuhusishwa? mifano ya matumizi

Ni nini lugha rasmi na jinsi tofauti na asili? Jinsi iliundwa? Nini cha lugha rasmi unaweza kuhusishwa? Na ni hutumiwa kutaja yeye?

Tabia ya lugha rasmi

Hivyo tunatoa wito kundi la lugha bandia, ambayo ni sifa na sheria sahihi kuhusu ujenzi wa maneno, pamoja na uelewa wao. mifumo ya kutumika kwa ajili ya viwanda unaweza kuhusishwa na lugha rasmi. Wao ni kujengwa kwa kufuata sheria ya wazi, kutoa thabiti, kompakt na sahihi ya kuonyesha ya mali na mahusiano ya utafiti eneo somo au inatokana vitu. faida na maana ya alama haiwezi kubadilishwa na vipengele vyovyote kisayansi (matumizi ya mazingira). Hii inawezekana shukrani na kuwepo kwa lugha rasmi ya sheria za syntax kubadilika na ufafanuzi semantic. Mara nyingi kujengwa kwa kutumia kama msingi wa hisabati. Kutokana na ukweli kwamba, katika span mzima wa maendeleo, kutumika aina ya nyadhifa ishara kuwa kutumika kwa dhana kadha wa kadha na vitu. Hivyo ndivyo mahitaji ya lugha rasmi. Wao wanaweza kikubwa kupunguza data. Mapema, pamoja na lugha rasmi na ya asili zimetumika, lakini kwa matatizo taratibu somo na haja ya kufanya kali mantiki uchambuzi wa hoja hisabati, iliamuliwa kuachana zamani. Utaratibu huu ilidumu kutoka XVII kwa XX karne. Ni karne iliyopita ni kuchukuliwa matunda sana katika masuala ya lugha rasmi. matawi mbalimbali maalum ziliundwa. Kwa hiyo, kwa sayansi ya kompyuta ni wa lugha fulani ya programu umuhimu na algebra ya mantiki, si tu kinadharia, lakini pia kutoka hatua ya vitendo ya mtazamo.

ufafanuzi

Nini cha lugha rasmi unaweza kuhusishwa, tuna tayari kwa ufupi alieleza. Lakini tunaweza kusema kuhusu wao? lugha rasmi imetolewa mengi ya ufafanuzi mbalimbali. Kuorodhesha wote, itakuwa kuondoka mengi ya muda, hivyo kuangalia maarufu:

1. orodha rahisi ya maneno katika lugha - kawaida husema hivyo kwa heshima na aina ya mwisho ya ujenzi na kuhusu wale ambao wana mfumo rahisi.
2. Maneno yanayotokana na baadhi ya sarufi rasmi.
3. muundo iliyoundwa na maneno ya kawaida.
4. Maneno yanayotokana na BPF-design.
5. muundo, kumtambua na automaton finite.

Hebu tuangalie mfano. Tuseme tuna alfabeti nzima, kutokana na namba mbili 1 na 0. Ili kuonyesha barua "O", tunatumia mchanganyiko wa 1010001. Hii ni matumizi ya lugha rasmi. Pia ni inawezekana kutumia maneno yasiyo (wakati kamba ina sifuri urefu, na hakuna kitu) na wajibu maalum katika fomu familiar kwetu. Lakini kwa undani zaidi kuelewa ni lugha rasmi, kusaidia 4 mifano ya kwamba atapewa ijayo. Je, ni nini? Kwa uelewa msomaji ni kwamba lugha rasmi unaweza kuhusishwa. Lakini zaidi kidogo kuhusu jinsi ya kuundwa.

Ujenzi wa lugha rasmi

Kila lugha ni mfumo rasmi ambayo yaliundwa mara moja na mtu. Kwa kawaida umejengwa juu ya mfano mmoja:

1. Kwa kuanza, kuchagua alfabeti, au baadhi ya seti ya wahusika maalum ambayo itakuwa kujengwa na maneno kutumika katika lugha. Kwa lugha rasmi ni njia yoyote ya mpango kwa kutumia kompyuta.
2. Inaelezea syntax, yaani, tabia na kanuni ambayo kujenga hukumu ya maana.
3. On sheria fulani kwa ajili ya maneno na maneno. Hapa kuna kanuni: mlolongo yoyote ya barua lazima waweze kuhesabu maneno.

Kwa lugha rasmi inahusu muundo wowote ambayo ina sheria ya wazi - ni lazima ikumbukwe. Wakati wa kujenga, kuna baadhi ya vipengele. Hivyo, neno "tabia" ni sana kazi mbalimbali katika suala la maana, kwa hiyo kwa sehemu kubwa alitumia neno kama "barua". Lakini chini yao yanaweza kueleweka si tu nukuu kawaida kwa ajili yetu, lakini pia mabano, herufi maalum, na zaidi. Hii inatumika tu kwa lugha rasmi.

MFANO 1

Hebu tuanze na 1 na 0. Katika hali kama hizo, kutumia zaidi dhana ya "neno" na "fomula". kwanza kazi kama analog ya kitu na Jina linalotumika kumaanisha kitu fulani maalum. Kwanza kabisa kuelewa constants na vigezo mtu binafsi chini yao. Kati ya hizi, kwa upande wake, kujenga miundo ngumu zaidi, ambayo ni kutumika kutumika katika baadhi ya kazi ya lugha. Chini ya masharti ya kundi kuelewa formula, matumizi ya ambayo katika baadhi ya lugha ya programu ni iwezekanavyo. Hii "mafundisho" litashughulikiwa, na mtu kupata matokeo ya taka.

MFANO 2

Fikiria mfano mantiki ambapo kuna upinduaji (¬), disjunction (∧), kushirikiana (∨) na maana (⇒) na wengine kadhaa. Katika kurekodi hayo ya picha zinaweza kutolewa kama:

1. ;
2. A∧V ⇒ ¬A
3. ¬ (A∨¬S)

Kama wahusika A, B, C, badala vigezo na kupata shughuli mantiki. Wapi kuomba lugha rasmi ya aina hii? kuenea kwa matumizi ya utaratibu kama huo hupatikana katika lugha ya programu, hisabati, mahusiano, kazi mantiki na hisabati, au sehemu ya ambayo imekuwa ilivyoelezwa na programu.

MFANO 3

Hebu angalia fomula ngumu zaidi mantiki:

¬ (A∨¬S) ⇔ ¬A∧S = 1

Ndio maana tunahitaji lugha rasmi. Fikiria nini kingetokea kama ilikuwa ilivyoelezwa katika maneno? Sasa, kulingana na formula sisi kuthibitisha hitimisho. maneno ya maana yanaweza kupatikana kwa lugha rasmi tu wakati sheria fulani zinaheshimiwa kabla ya malezi, mabadiliko na "kuelewa" ya formula na masharti ambayo wao ni alifanya:

1. formula Construction mrefu na;
2. Masomo ya kipengele semantic na kitendawili,
3. mlolongo wa moja ya fomula na mengine mrefu.

Kila lugha rasmi lazima vizuri imara ya kuweka sheria.

MFANO 4

Kutokana na uwepo katika sheria ya lugha syntax mazao kwa sheria na formula zinaweza kufanywa mifano isomorphic mabadiliko. Hivyo itakuwa kutekelezwa si tu tafakari (uwakilishi wa) mwili maalum ya maarifa ambayo tayari ipo, lakini wanaweza kupata habari mpya. Zaidi ya hayo, mabadiliko, ingawa, na utafanyika kwa mujibu wa sheria ya wazi na mkali, inaweza moja kwa moja. mbinu Sawa hutumika katika mifumo mtaalam, besi maarifa, na bidhaa za programu uamuzi msaada.

hitimisho

Lugha rasmi ni sana kutumika katika sayansi, hasa katika sanaa. Wakati wa utafiti wa kisayansi na utekelezaji wa shughuli za vitendo wanaweza kuingiliana na asilia, katika mtazamo wa kutosha uwezo expressive ya mwisho. Hata lugha rasmi inaweza usahihi zaidi kufikisha elimu na kufanya lengo kubadilishana taarifa kusanyiko na watu.