តើអ្វីទៅជាភាសាផ្លូវការអាចត្រូវបានកំណត់គុណលក្ខណៈ? ឧទហរណ៍នៃការប្រើប្រាស់

គឺជាភាសាផ្លូវការអ្វីនិងរបៀបដែលវាខុសពីធម្មជាតិ? របៀបដែលវាត្រូវបានបង្កើតឡើង? តើអ្វីទៅជាភាសាផ្លូវការអាចត្រូវបានកំណត់គុណលក្ខណៈ? ហើយវាត្រូវបានគេប្រើដើម្បីសំដៅទៅគាត់?

លក្ខណៈនៃភាសាផ្លូវការ

ដូច្នេះយើងហៅក្រុមនៃ ភាសាសិប្បនិម្មិត ដែលត្រូវបានកំណត់ដោយច្បាប់ច្បាស់លាស់ទាក់ទងនឹងការសាងសង់នៃកន្សោមនេះព្រមទាំងការយល់ដឹងរបស់ពួកគេ។ ប្រព័ន្ធប្រើសម្រាប់គោលបំណងឧស្សាហកម្មអាចត្រូវបានកំណត់គុណលក្ខណៈភាសាផ្លូវការ។ ពួកគេត្រូវបានសាងសង់ឡើងនៅក្នុងការអនុលោមតាមច្បាប់ច្បាស់លាស់, ផ្តល់ការស្រប, តូចនិងច្បាស់លាស់ការបង្ហាញលក្ខណៈសម្បត្តិនិងការទំនាក់ទំនងនៃការសិក្សាពី តំបន់ប្រធានបទ ឬវត្ថុយកគំរូតាម។ តម្លៃនិងអត្ថន័យនៃសញ្ញានេះមិនអាចត្រូវបានផ្លាស់ប្តូរដោយលក្ខណៈពិសេសជាក់ស្តែងណាមួយ (ការប្រើប្រាស់នៃបរិបទ) ។ នេះគឺជាការដែលអាចធ្វើបានអរគុណចំពោះវត្តមាននៅក្នុងភាសាជាផ្លូវការនៃច្បាប់នៃការប្រែចិត្តជឿនិងការបកស្រាយវាក្យសម្ព័ន្ធអត្ថន័យនេះ។ ពួកគេត្រូវបានសាងសង់ឡើងជាញឹកញាប់ដោយប្រើជាមូលដ្ឋាននៃគណិតវិទ្យាមួយ។ ដោយសារតែការពិតដែលថាវានៅលើវិសាលភាពទាំងមូលនៃការអភិវឌ្ឍ, ដែលត្រូវបានប្រើភាពខុសគ្នានៃការផ្ដល់ជានិមិត្តរូបមួយដែលត្រូវបានអនុវត្តទៅខុសគ្នានៃគំនិតនិងវត្ថុមួយ។ នោះហើយជាអ្វីដែលត្រូវការភាសាផ្លូវការ។ ពួកគេអាចកាត់បន្ថយយ៉ាងខ្លាំងទិន្នន័យ។ កាលពីដើមរួមជាមួយភាសាផ្លូវការនិងធម្មជាតិត្រូវបានប្រើ, ប៉ុន្តែជាមួយនឹងភាពស្មុគស្មាញបន្តិចម្តងនៃប្រធានបទនិងតម្រូវការដើម្បីធ្វើឱ្យការវិភាគឡូជីខលតឹងរឹងនៃហេតុផលគណិតវិទ្យា, វាត្រូវបានគេសម្រេចចិត្តបោះបង់ចោលអតីតកាល។ ដំណើរការនេះបានបន្តពី XVII ទៅសតវត្សទី XX ។ វាជាសតវត្សទីចុងក្រោយនេះត្រូវបានចាត់ទុកផ្លែឈើភាគច្រើននៅក្នុងលក្ខខណ្ឌនៃភាសាផ្លូវការ។ សាខាពិសេសជាច្រើនត្រូវបានបង្កើតឡើង។ ដូច្នេះសម្រាប់វិទ្យាសាស្រ្តកុំព្យូទ័រមានភាសាសរសេរកម្មវិធីសារៈសំខាន់ជាពិសេសនិងការពិជគណិតតក្ក, មិនទ្រឹស្តីប៉ុណ្ណោះទេប៉ុន្តែថែមពីចំណុចនៃទិដ្ឋភាពជាក់ស្តែងមួយ។

និយមន័យ

តើអ្វីទៅជាភាសាផ្លូវការអាចត្រូវបានកំណត់គុណលក្ខណៈ, យើងមានរួចទៅហើយបានពន្យល់ដោយសង្ខេប។ ប៉ុន្តែអ្វីដែលយើងអាចនិយាយអំពីពួកគេ? ភាសាផ្លូវការគឺត្រូវបានផ្ដល់និយមន័យជាច្រើនផ្សេងគ្នាមួយ។ ដើម្បីរាយពួកគេទាំងអស់នោះវានឹងចាកចេញពីពេលវេលាច្រើន, ដូច្នេះសូមមើលនៅការពេញនិយមបំផុតមួយ:

1. បញ្ជីសាមញ្ញនៃពាក្យនៅក្នុងភាសា - ជាធម្មតានិយាយបានថាដូច្នេះដោយគោរពទៅនឹងប្រភេទចុងក្រោយនៃការសាងសង់និងអំពីពួកអ្នកដែលមានរចនាសម្ព័ន្ធសាមញ្ញ។
2. ពាក្យដែលបានបង្កើតដោយវេយ្យាករណ៍ផ្លូវការជាក់លាក់មួយ។
3. រចនាសម្ព័ន្ធបានបង្កើតឡើងដោយកន្សោមធម្មតា។
4. ពាក្យដែលបានបង្កើតដោយ BPF-រចនា។
5. រចនាសម្ព័ន្ធស្គាល់ដោយ automaton កំណត់។

សូមមើលឧទាហរណ៍មួយ។ សូមឱ្យយើងបាននិយាយថាយើងមានអក្ខរក្រមទាំងមូលដែលបានផ្ដល់ឱ្យពីរតួរលេខ 1 និង 0 ដើម្បីបង្ហាញអក្សរ "o" នេះយើងប្រើការរួមបញ្ចូលគ្នានៃការ 1010001. នេះគឺជាការប្រើប្រាស់នៃភាសាផ្លូវការ។ វាគឺជាការដែលអាចធ្វើបានក្នុងការប្រើពាក្យទទេ (ពេលខ្សែមានប្រវែងសូន្យហើយមិនមានអ្វី) ជាមួយនឹងការរចនាពិសេសមួយនៅក្នុងសំណុំបែបបទស៊ាំទៅនឹងពួកយើង។ ប៉ុន្តែនៅក្នុងលម្អិតបន្ថែមទៀតដើម្បីឱ្យយល់ពីអ្វីដែលជាភាសាផ្លូវការជួយឧទហរណ៍ទី 4 ដែលនឹងត្រូវបានផ្ដល់ឱ្យក្រោយ។ តើវាធ្វើអ្វី? ដើម្បីយល់ដឹងរបស់អ្នកអាននោះគឺថាភាសាជាផ្លូវការអាចជាការត្រូវបានកំណត់គុណលក្ខណៈ។ ប៉ុន្តែបន្តិចបន្ថែមទៀតអំពីរបៀបដែលពួកគេត្រូវបានបង្កើត។

ភាសាជាផ្លូវការសំណង់

ភាសាគ្នាគឺជារចនាសម្ព័ន្ធផ្លូវការដែលត្រូវបានបង្កើតម្តងហើយនិងមនុស្សម្នាក់។ ពួកគេត្រូវបានកសាងឡើងជាធម្មតានៅលើលំនាំដូចគ្នានេះដែរ:

1. ដើម្បីចាប់ផ្ដើមជ្រើសអក្ខរក្រមឬតួអក្សរមួយចំនួននៃសំណុំជាក់លាក់ដែលនឹងត្រូវបានសាងសង់និងការបង្ហាញត្រូវបានប្រើក្នុងភាសា។ តាមភាសាជាផ្លូវការនេះគឺជាវិធីដើម្បីសរសេរកម្មវិធីដោយប្រើកុំព្យូទ័រណាមួយ។
2. វារៀបរាប់អំពីវាក្យសម្ព័ន្ធដែលជាលក្ខណៈច្បាប់ដែលនឹងនិងប្រយោគមានន័យសាងសង់។
3. នៅលើច្បាប់មួយចំនួនសម្រាប់ពាក្យនិងកន្សោម។ ខាងក្រោមនេះគឺមានច្បាប់មួយ: លំដាប់នៃតួអក្សរណាមួយត្រូវតែអាចរាប់ចំនួនពាក្យ។

តាមភាសាផ្លូវការសំដៅទៅនឹងរចនាសម្ព័ន្ធដែលមានច្បាប់ច្បាស់លាស់ណាមួយ - វាគួរតែត្រូវបានចងចាំ។ នៅពេលដែលការកសាងវាមានលក្ខណៈពិសេសមួយចំនួន។ ដូច្នេះពាក្យ "តួអក្សរ" គឺមានពហុមុខងារនៅក្នុងលក្ខខណ្ឌនៃអត្ថន័យ, ដូច្នេះសម្រាប់ផ្នែកច្រើនបំផុតដែលបានប្រើពាក្យដូចជា "លិខិត" ។ ប៉ុន្តែក្រោមពួកគេអាចយល់បានមិនត្រឹមតែការកំណត់ធម្មតាសម្រាប់យើងទេប៉ុន្តែថែមតង្កៀប, តួអក្សរពិសេសនិងច្រើនទៀត។ នេះអនុវត្តតែចំពោះភាសាផ្លូវការ។

ឧទាហរណ៍ទី 1

ចូរចាប់ផ្តើមជាមួយនឹងការ 1 និង 0 ក្នុងករណីដូចនោះប្រើច្រើនគំនិតនៃ "ពាក្យ" និង "រូបមន្ត" ។ ជាលើកដំបូងនេះដើរតួនាទីជា analogue នៃវត្ថុនិងឈ្មោះដែលត្រូវបានប្រើដើម្បីយោងទៅអ្វីមួយជាក់លាក់។ ជាដំបូងនៃការទាំងអស់យល់ពីថេរនិងអថេរបុគ្គលនៅក្រោមពួកគេ។ នៃការទាំងនេះនៅក្នុងវេនកសាងរចនាសម្ព័ន្ធស្មុគស្មាញបន្ថែមទៀតដែលត្រូវបានប្រើមុខងារភាសាប្រើប្រាស់នៅក្នុងមួយចំនួន។ នៅក្រោមលក្ខខណ្ឌនៃក្រុមនេះយល់រូបមន្ត, ការប្រើប្រាស់នៃការដែលនៅក្នុងភាសាសរសេរកម្មវិធីមួយជាក់លាក់គឺអាចធ្វើបាន។ "ការណែនាំ" នេះនឹងត្រូវបានដំណើរការ, ហើយបុគ្គលនោះនឹងទទួលបានលទ្ធផលដែលអ្នកចង់បាន។

ឧទាហរណ៍ទី 2

សូមពិចារណាតក្កឧទាហរណ៍នៅក្នុងការដែលមានការរៀបបញ្ច្រាស (¬), disjunction (∧), ភ្ជាប់នេះ (∨) និងផលប៉ះល់ (⇒) និងអ្នកដទៃទៀតជាច្រើន។ ក្នុងការថតរូបភាពបែបនេះអាចត្រូវផ្ដល់ឱ្យ:

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

ក្នុងនាមជាតួអក្សរ A, B, C, ជំនួសអថេរនិងអ្នកទទួលបាន ការប្រតិបត្ដិឡូជីខល។ កន្លែងដែលត្រូវអនុវត្តភាសាជាផ្លូវការនៃប្រភេទនេះ? ការប្រើប្រាស់រីករាលដាលនៃយន្ដការមួយត្រូវបានរកឃើញនៅក្នុងភាសាសរសេរកម្មវិធីគណិតវិទ្យាទំនាក់ទំនងមុខងារឡូជីខលនិងគណិតវិទ្យា, ឬផ្នែកដែលត្រូវបានរៀបរាប់ដោយអ្នកសរសេរកម្មវិធី។

ឧទាហរណ៍ទី 3

សូមមើលនៅមួយរូបមន្តស្មុគ្រស្មាញច្រើនឡូជីខល:

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

នោះហើយជាមូលហេតុដែលយើងត្រូវការភាសាផ្លូវការ។ ស្រមៃពីអ្វីដែលនឹងកើតឡើងប្រសិនបើវាត្រូវបានរៀបរាប់ក្នុងពាក្យ? ឥឡូវនេះដោយផ្អែកលើរូបមន្តមួយដែលយើងបានឈានទៅដល់ការសន្និដ្ឋាន។ កន្សោមមានអត្ថន័យអាចត្រូវបានទទួលនៅក្នុងភាសាជាផ្លូវការតែនៅពេលដែលច្បាប់មួយចំនួនត្រូវបានគោរពមុនការបង្កើត, ការផ្លាស់ប្តូរនិង "ការយល់ដឹង»នៃរូបមន្តនិងលក្ខខណ្ឌនៃការដែលពួកគេត្រូវបានធ្វើឡើង:

1. រូបមន្តរយៈពេលសាងសង់និងការ;
2. សិក្សាពីទិដ្ឋភាព semantic និងការបកស្រាយ;
3. លំដាប់នៃការមួយនៃរូបមន្តនិងរយៈពេលផ្សេងទៀត។

ភាសាផ្លូវការគ្នាគួរតែត្រូវបានយ៉ាងល្អបានបង្កើតឡើងកំណត់នៃច្បាប់។

គំរូ 4

ដោយសារតែវត្តមាននៅក្នុងច្បាប់នៃទិន្នផលវាក្យសម្ព័ន្ធភាសាសម្រាប់លក្ខខណ្ឌនិងរូបមន្តនេះអាចត្រូវបានធ្វើការផ្លាស់ប្តូរ isomorphic ម៉ូដែល។ ដូច្នេះវានឹងត្រូវបានអនុវត្តមិនត្រឹមតែឆ្លុះបញ្ចាំង (តំណាងនៃ) មួយដែលរាងកាយជាក់លាក់នៃចំនេះដឹងដែលមានរួចហើយ, ប៉ុន្តែអាចទទួលបានពថ្មី។ លើសពីនេះទៅទៀតការផ្លាស់ប្តូរ, ទោះបីជា, ហើយនឹងយកកន្លែងនេះបើយោងតាមច្បាប់ច្បាស់លាស់និងយ៉ាងតឹងរឹងនោះវាអាចត្រូវបានដោយស្វ័យប្រវត្តិ។ បច្ចេកទេសស្រដៀងគ្នាត្រូវបានប្រើក្នុង ប្រព័ន្ធជំនាញ មូលដ្ឋានចំណេះដឹងនិងការគាំទ្រការសម្រេចចិត្តផ្នែកទន់ផលិតផល។

សេចក្តីសន្និដ្ឋាន

ភាសាផ្លូវការត្រូវបានគេប្រើយ៉ាងទូលំទូលាយនៅក្នុងផ្នែកវិទ្យាសាស្រ្តជាពិសេសក្នុងសិល្បៈ។ ក្នុងអំឡុងពេលស្រាវជ្រាវវិទ្យាសាស្រ្តនិងការអនុវត្តសកម្មភាពជាក់ស្តែងដែលពួកគេអាចធ្វើអន្តរកម្មជាមួយធម្មជាតិនៅក្នុងទិដ្ឋភាពនៃសមត្ថភាពង្ហញសន្ធឹកសន្ធាប់នៃក្រោយ។ ភាសាផ្លូវការនៅឡើយទេអាចមានច្រើនជាងនេះត្រឹមត្រូវចំណេះដឹងបង្ហាញនិងដើម្បីអនុវត្តការផ្លាស់ប្តូរគោលបំណងនៃពបង្គរដោយមនុស្សជាតិ។