Адабий тилдин эмне менен түшүндүрсө болот? пайдалануунун мисалдары

расмий тил деген эмне жана ал кандайча табигый айырмаланат? ал кандайча пайда? Адабий тилдин эмне менен түшүндүрсө болот? Ошондой эле, ага кайрылуу үчүн колдонулат?

расмий тилдеринин өзгөчөлүктөрү

Ошентип, биз бир топ деп жасалма тилдер, туюнтмаларды курулушуна байланыштуу, ошондой эле алардын акыл так эрежелер менен мүнөздөлөт. өнөр жай максаттары үчүн колдонулат системалар расмий тилдерде менен түшүндүрсө болот. Алар ачык-айкын эрежелерди сактоо менен курулган касиеттери изилденген мамилелер ырааттуу, кыска жана так чагылдырган берүүгө тийиш болгон аймакта же моделин объекттери. белгилердин мааниси жана мааниси кандай прагматикалык өзгөчөлүктөрү (контекстти колдонуу) боюнча өзгөртүлүшү мүмкүн эмес. Бул синтаксисин кайрылуу жана семантикалык чечмелөө эрежелерин расмий тилинде катышуусу менен ишке ашат. Алар көп учурда математика база катары колдонуп курулат. Улам, аны өнүктүрүү, бүт өмүрү жөнүндө, символдук белгилердин ар кандай колдонгон байланыштуу түшүнүктөр жана ар түрдүү предметтерин колдонулган. Бул расмий тилдерди керек нерсе. Алар бир топ маалыматтарды азайтышы мүмкүн. Буга чейин расмий жана табигый тилдер менен катар колдонулуп келген, бирок, темага жана математикалык ой катуу логикалык талдоо жүргүзүү зарылдыгын акырындап татаалдашына менен, ал өткөн баш чечими кабыл алынды. Бул жараян XX кылымга XVII чейин созулган. Ал өткөн кылымдын өтө расмий тилдерде жагынан жемиштүү болуп саналат. ар кандай атайын бутактары түзүлгөн. Ошондуктан, компьютер илими үчүн өзгөчө маанилүү программалоо тилдердин жана Логика алгебрасынын гана теориялык эмес, ошондой эле белгилүү бир практикалык жагынан алганда.

определение

Адабий тилдин эмне менен түшүндүрсө болот, биз буга чейин кыскача түшүндүрүп бар. Бирок, эмне, биз алар тууралуу эмне үчүн айта алабыз? Расмий тили ар түрдүү аныктамалар көп берилет. аларга Тизмеге үчүн, көп убакыт кетип калат, ошондуктан абдан популярдуу карап алып:

1. тилинде сөздөрдүн жөнөкөй тизмеси - адатта курулуш акыркы түрүнө жана жөнөкөй түзүлүштө адамдар жөнүндө урмат-сый менен айтып жатам.
2. бир расмий тил менен түзүлгөн Words.
3. дайыма билдирип түзүлгөн структурасы.
4. BPF-дизайн менен түзүлгөн Words.
5. чендүү өзү менен таанымал структурасы.

анын бир мисал карап көрөлү. биз кат "O" көрсөтүүгө бүт тамгаларды, эки сан берилген 1 жана 0 ээ болсун деп, биз 1010001. Бул айкалышы расмий тилди пайдалануу болуп саналат. Бул курулай сөздөрдү пайдалануу да мүмкүн (сап нөл узундугу бар да, эч нерсе жок) бизге тааныш түрүндө атайын белги менен. Бирок, расмий тил деген эмне экенин түшүнүүгө кененирээк кийинки берилет 4 мисал жардам берет. ал эмне кылат? окурмандын түшүнүү үчүн расмий тил менен түшүндүрсө болот эле. Бирок, алар кандай жаратылганын жөнүндө бир аз көбүрөөк.

Адабий тилдин куруу

Ар бир тилдин бир жолу кимдир бирөө түзүлгөн расмий структура болуп саналат. Алар, адатта, ошол үлгү боюнча курулган:

1. Алгач, тамгаларды, же куруп, сөздөр тилде колдонулат белгилүү каармандардын бир тобун тандап. расмий тил менен атайын компютердик программа кандайдыр бир ыкмасы болуп саналат.
2. Бул маанилүү сүйлөм түзүүгө болот, өзгөчөлүктөрү жана өкүмдөр синтаксисин сүрөттөйт.
3. сөздөрдү жана сөз айкаштарын үчүн белгилүү бир эрежелер боюнча. Бул жерде бир эреже бар: тамгалардын кандайдыр бир катар сөздөрдү санап чыгуу керек.

расмий тил менен так эрежелерин бар ар кандай түзүлүшү сөз - ал эстен чыгарбоо керек. куруп жатканда, кээ бир өзгөчөлүктөрү бар. Ошентип, термин "тамга" мааниси жагынан абдан көп иш болуп саналат, ошондуктан көпчүлүк үчүн "катта" катары колдонгон. Бирок, алардын астында биз үчүн гана кадимки белгисин түшүнүшкөн жок болот, ал эми ошондой эле кичине, атайын белгилер, жана башкалар. Бул бир гана расмий тилдерге тиешелүү.

1-МИСАЛ

Кел, мындай учурларда 1 жана 0. башталат "деген термин" деген түшүнүк көп пайдалануу жана болсун "бисмиллах". объектинин аналог катары биринчи иш-аракет жана конкреттүү бир нерсе үчүн колдонулат аты. Баарынан мурда, алардын астында туруктуулар менен жеке өзгөрмө түшүнөм. Алардын ичинен, өз кезегинде, айрым тилинин колдонулган колдонулат көп комплекстүү түзүлүштөрдү куруу. топтун шарттары болуш түшүнүүгө ылайык, белгилүү бир программалоо тилинде колдонуу мүмкүн эмес. Бул "насыят" иштелип чыгат, ал адам каалаган натыйжага алып келет.

2-МИСАЛ

Мисалы, бир өзгөртүү бар логикасын (¬), Disjunction карап көрөлү (∧), бирдикте (∨) жана кыйыр (⇒) жана бир нече башка. ошондой эле сүрөттөрдү, мисалы, эсепке алуу менен берилиши мүмкүн:

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

каармандар катары A, B, C, өзгөрмө, ошондо силерге алмаштыра логикалык амалдар. Ушул түрү боюнча расмий тилдерди колдонуу керек? Мындай механизм программалоо тилдери, математика, мамилелер, программист тарабынан сыпаттарга ээ болгон логикалык жана математикалык милдеттерин же бөлүктөрүндө табылган таралышы.

3-МИСАЛ

Бир кыйла татаал логикалык акысы карап көрөлү:

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

Башкача айтканда, биз расмий тилдерди керек болот. Бул сөздөр менен сүрөттөлгөн, анда эмне болот дейли? Эми, бир бисмиллах негизинде биз тыянак чыгарган. Мазмундуу сөздөр белгилүү бир эрежелер алдын ала түзүү, өзгөртүү жана алар түзгөн акысы жана мөөнөттөрү "түшүнүк", кадыр-баркка ээ болгон гана расмий тилде алса болот:

1. Курулуш мөөнөтү түзүүлөрү жана;
2. маанилик жагын жана чечмелөө изилдөө;
3. акысы жана башка мөөнөткө бири кезеги.

Ар бир расмий тили, ошондой эле эрежелердин жыйындысы белгилениши керек.

ҮЛГҮ 4

Байланыштуу термин жана акысы үчүн тилинин синтаксиси өндүрүшүнүн эрежелери боюнча катышуусуна isomorphic кайра моделдерин жүргүзүлүшү мүмкүн. Демек, бир гана ой жүгүртүү (өкүлчүлүктөрүн) бар билимдин конкреттүү орган эмес, ишке ашырылат, ал эми жаңы маалыматты ала алат. Мындан тышкары, кайра, да, ачык-айкын жана так эрежелери боюнча, ал дардын болот өтөт. Окшош ыкмалары колдонулат эксперт системаларын, билим негиздери жана программалык чечим колдоо азыктарын.

жыйынтыктоо

Расмий тилдерде, айрыкча көркөм, көп илим колдонулат. илимий-изилдөө жана практикалык иш-чараларды жүзөгө ашыруу учурунда, алар акыркы бир кыйла ачык-жөндөмдүүлүктөрүн эске алуу менен, жаратылыш менен баарлаша аласыз. Бирок расмий тилдерде билим тагыраак берүү жана адамзат тарабынан топтолгон маалымат боюнча объективдүү алмашууну жүзөгө ашырууга болот.