औपचारिक भाषाहरू के श्रेय गर्न सकिन्छ? प्रयोग उदाहरणहरू

को औपचारिक भाषा के हो र यो कसरी प्राकृतिक भिन्न? यसलाई कसरी गठन भयो? औपचारिक भाषाहरू के श्रेय गर्न सकिन्छ? र यो उहाँको संकेत गर्न प्रयोग गरिन्छ?

औपचारिक भाषाहरू को विशेषताहरु

त्यसैले हामी को एक समूह कल कृत्रिम भाषा, अभिव्यक्ति को निर्माण सन्दर्भमा सटीक नियम, साथै आफ्नो समझ द्वारा विशेषता छन् जो। औद्योगिक प्रयोजनका लागि प्रयोग प्रणाली औपचारिक भाषाहरू गर्न श्रेय गर्न सकिन्छ। तिनीहरूले स्पष्ट नियम अनुपालन मा निर्मित गर्दै छन्, गुण र अध्ययन को सम्बन्ध को, लगातार संकुचित र सटीक प्रदर्शन प्रदान विषय क्षेत्र वा modeled वस्तुहरु। को निशान को मूल्य र अर्थ कुनै पनि व्यावहारिक विशेषताहरु (सन्दर्भ प्रयोग) द्वारा परिवर्तन गर्न सकिन्छ। यो विन्यास रूपान्तरण र अर्थ व्याख्या को नियम को औपचारिक भाषामा उपस्थिति सम्भव धन्यवाद छ। तिनीहरूले अक्सर गणित को एक आधार प्रयोग गरेर निर्माण गरिन्छ। कारण यो विकास को सारा span मा, प्रतीकात्मक पदनाम को एक किसिम प्रयोग भन्ने तथ्यलाई गर्न अवधारणाहरु र वस्तुहरु को एक किसिम लागू गरिएको छ। त्यो के औपचारिक भाषाहरू आवश्यक छ। तिनीहरूले एकदम डाटा कम गर्न सक्छ। यसअघि, औपचारिक र प्राकृतिक भाषा संग प्रयोग गरिएको छ, तर विषय र गणितीय तर्क एक सख्त तार्किक विश्लेषण गर्न आवश्यकता को क्रमिक जटिलता संग, यो पछिल्लो नत्याग्ने निर्णय भएको थियो। यो प्रक्रिया XX सताब्दी गर्न XVII देखि लामो थियो। यो पछिल्लो शताब्दीमा औपचारिक भाषाहरू को मामला मा सबै भन्दा फलदायी मानिन्छ छ। विभिन्न विशेष शाखा बनाइयो। त्यसैले, कम्प्युटर विज्ञान लागि मात्र सैद्धान्तिक, तर पनि दृश्य को एक व्यावहारिक बिन्दुबाट छैन, विशेष महत्व कार्यक्रम भाषाहरू र तर्क को बीजगणित को हो।

परिभाषा

औपचारिक भाषाहरू गर्न श्रेय गर्न सकिन्छ के हामी छोटकरीमा बताए पहिले नै छ। तर हामी के उनलाई बारेमा भन्न सक्छौं? औपचारिक भाषा फरक परिभाषा धेरै दिइएको छ। ती सबै सूची, यो धेरै समय छोड, त्यसैले सबै भन्दा लोकप्रिय मा एक नजर हुनेछ:

1. भाषामा शब्दहरू एक सरल सूची - सामान्यतया निर्माण अन्तिम प्रकार र एक सरल संरचना छ कि व्यक्तिहरूलाई बारेमा आदर यति भन्न।
2. शब्द एक निश्चित औपचारिक व्याकरण उत्पन्न।
3. संरचना नियमित अभिव्यक्ति द्वारा सिर्जना गरियो।
4. शब्दहरू BPF-डिजाइन द्वारा उत्पन्न।
5. संरचना, एक परिमित automaton द्वारा चिन्न।

एक उदाहरण हेरौं। गरेको हामी सारा वर्णमाला, दुई नम्बर 1 र 0. पत्र "हे" प्रदर्शन गर्न दिइएको छ भन्न गरौं, हामी 1010001. यो संयोजन एक औपचारिक भाषा प्रयोग छ प्रयोग गर्नुहोस्। यसलाई खाली शब्दहरू प्रयोग गर्न सम्भव पनि छ (स्ट्रिङ शून्य लम्बाइ छ जब, र त्यहाँ केही छ) हामीलाई परिचित फारममा विशेष पद संग। तर थप विवरण मा के एक औपचारिक भाषा हो बुझ्न, सहयोग अर्को दिइनेछ भनेर 4 उदाहरण। यसले के गर्छ? पाठक गरेको समझ गर्न एक औपचारिक भाषा श्रेय गर्न सकिन्छ थियो। तर तिनीहरूले कसरी सिर्जना हुन्छन् बारेमा अलि बढी।

औपचारिक भाषाहरू को निर्माण

प्रत्येक भाषा एक पटक र कसैले सिर्जना गरिएको एक औपचारिक संरचना छ। तिनीहरूले सामान्यतया यो नमुना मा निर्मित छन्:

1. सुरु गर्न, वर्णमाला, वा निर्माण गर्ने हुनेछ र भाषा प्रयोग अभिव्यक्ति विशिष्ट वर्ण केही सेट चयन गर्नुहोस्। को औपचारिक भाषा द्वारा एक कम्प्युटर प्रयोग कार्यक्रम कुनै पनि तरिका हो।
2. यो अर्थपूर्ण वाक्य निर्माण हुनेछ, विशेषताहरु र नियमहरू छ कि विन्यास, वर्णन गर्दछ।
3. शब्द र अभिव्यक्ति लागि केही नियम मा। यहाँ नियम छ: अक्षरहरू कुनै पनि अनुक्रम शब्दहरू गणना गर्न सक्षम हुनुपर्छ।

बुझाउँछ द्वारा औपचारिक भाषा स्पष्ट नियम छ कि कुनै पनि संरचना गर्न - यो सम्झना गर्नुपर्छ। निर्माण गर्दा केही सुविधाहरू छन्। यसरी, शब्द "वर्ण" धेरै अर्थ मामलामा बहु-कार्यात्मक छ, त्यसैले सबै भन्दा भाग को लागि एक "पत्र" को रूपमा शब्द प्रयोग। तर तिनीहरूलाई तल हाम्रो लागि मात्र होइन सामान्य संकेतन, तर पनि कोष्ठक, विशेष वर्ण, र थप बुझे गर्न सकिन्छ। यो केवल औपचारिक भाषाहरू लागू हुन्छ।

उदाहरण 1

का अधिक "शब्द" र अवधारणा प्रयोग, यस्तो अवस्थामा 1 र 0. सुरु गरौँ "सूत्र।" पहिलो वस्तुको एक एनालग र विशिष्ट कुरा संकेत गर्न प्रयोग नाम कार्य। सबै को पहिलो तिनीहरूलाई अन्तर्गत अचल र व्यक्तिगत चर बुझ्छु। यी को बारी मा, केही भाषा समारोह प्रयोग प्रयोग गरिन्छ थप जटिल संरचना, निर्माण। समूह सर्तहरू सूत्र बुझ्न अन्तर्गत एक निश्चित कार्यक्रम भाषा कुन प्रयोग सम्भव छ। यो "निर्देशन" प्रशोधन गरिनेछ, र व्यक्ति इच्छित परिणाम प्राप्त हुनेछ।

उदाहरण 2

त्यहाँ एक उल्टाउने (¬), disjunction छ जसमा उदाहरण तर्क विचार (∧), को संयोजन (∨) र implication (⇒) र धेरै अन्य। तस्बिरहरू यस्तो रेकर्ड रूपमा दिइएको सकिन्छ:

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

अक्षरहरू रूपमा ए, बी, सी, को चर विकल्प र तपाईं प्राप्त तार्किक सञ्चालन। यस प्रकारका औपचारिक भाषाहरू कहाँ लागू गर्ने? यस्तो संयन्त्र को व्यापक प्रयोग जो प्रोग्रामर द्वारा वर्णन गरिएको छ कार्यक्रम भाषाहरु, गणित, सम्बन्ध, तार्किक र गणितीय कार्य, वा भागहरु मा पाइन्छ।

उदाहरण 3

का एक थप जटिल तार्किक सूत्रहरू हेरौं:

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

हामी औपचारिक भाषाहरू आवश्यक किन छ। कल्पना गर्नुहोस् यदि यो शब्दमा वर्णन थियो के भयो होला? अब, एक सूत्र आधारित हामी निष्कर्ष deduce। अर्थपूर्ण अभिव्यक्तिले औपचारिक भाषामा प्राप्त गर्न सकिन्छ केही नियमहरू पूर्व-गठन, परिवर्तन र तिनीहरूले गरेका छन् जो को सूत्र र सर्तहरूको "समझ" सम्मान गर्दा मात्र:

1. निर्माण अवधि सूत्रहरू र;
2. को अर्थ पक्ष र व्याख्या को अध्ययन;
3. सूत्र र अन्य अवधि एक को अनुक्रम।

प्रत्येक औपचारिक भाषा राम्रो नियम सेट स्थापित गर्नुपर्छ।

उदाहरण 4

कारण नियम र सूत्रहरू लागि भाषा विन्यास उत्पादन को नियम मा उपस्थितिको isomorphic परिवर्तन मोडेल गर्न सकिन्छ। त्यसैले यसलाई बाहिर हुने छैन मात्र प्रतिबिम्ब (को प्रतिनिधित्व) पहिले नै अवस्थित छ ज्ञान को एक विशिष्ट शरीर, तर नयाँ जानकारी प्राप्त गर्न सक्छ। यसबाहेक, परिवर्तन, यद्यपि, र स्थान स्पष्ट र कडा नियम अनुसार हुनेछ, यो स्वचालित गर्न सकिन्छ। यस्तै प्रविधी प्रयोग गरिन्छ विशेषज्ञ प्रणाली, ज्ञान आधारमा र सफ्टवेयर निर्णय समर्थन उत्पादनहरु।

निष्कर्षमा

औपचारिक भाषाहरू व्यापक विशेष गरी कला मा, मा विज्ञान प्रयोग गरिन्छ। वैज्ञानिक अनुसन्धान र व्यावहारिक गतिविधिहरु को कार्यान्वयन समयमा तिनीहरूले उत्तरार्द्ध को धेरै expressive क्षमता को दृश्य, प्राकृतिक अन्तरक्रिया गर्न सक्नुहुन्छ। अहिलेसम्म औपचारिक भाषाहरू अधिक सही ज्ञान व्यक्त गर्न सक्छन् र मानिसजातिको द्वारा संचित जानकारी एक उद्देश्य विनिमय पूरा गर्न।