औपचारिक भाषाओं को क्या जिम्मेदार ठहराया जा सकता है? उपयोग के उदाहरण

औपचारिक भाषा क्या है और यह कैसे प्राकृतिक से अलग है? यह कैसे गठन किया गया था? औपचारिक भाषाओं को क्या जिम्मेदार ठहराया जा सकता है? और यह उसे करने के लिए किया जाता है?

औपचारिक भाषाओं के लक्षण

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

परिभाषा

औपचारिक भाषाओं को क्या जिम्मेदार ठहराया जा सकता है, हम पहले से ही संक्षेप में विस्तार से बताया है। लेकिन हम उनके बारे में क्या कह सकते हैं? औपचारिक भाषा अलग अलग परिभाषा का एक बहुत दिया जाता है। उन्हें सूचीबद्ध करने के लिए सभी, यह बहुत समय छोड़ देते हैं, तो सबसे लोकप्रिय पर एक नज़र ले जाएगा:

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

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

औपचारिक भाषाओं के निर्माण

प्रत्येक भाषा के लिए एक औपचारिक संरचना है कि एक बार और किसी बनाया गया था। वे आम तौर पर एक ही पैटर्न पर बनाया जाता है:

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

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

उदाहरण 1

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

उदाहरण 2

उदाहरण के तर्क, जिसमें एक व्युत्क्रम (¬), अलगाव है वहाँ पर विचार करें (∧), संयोजन के रूप (∨) और निहितार्थ (⇒) और कई अन्य। छवियों के इस तरह के रिकॉर्डिंग में के रूप में दिया जा सकता है:

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

पात्रों के रूप में ए, बी, सी, चर स्थानापन्न और आप प्राप्त तार्किक आपरेशनों। कहाँ इस प्रकार के औपचारिक भाषाओं लागू करने के लिए? ऐसे तंत्र के व्यापक उपयोग प्रोग्रामिंग भाषाओं, गणित, रिश्ते, तार्किक और गणितीय कार्य, या भागों जिनमें से प्रोग्रामर द्वारा वर्णित किया गया है में पाया जाता है।

उदाहरण 3

के एक अधिक जटिल तार्किक सूत्रों पर नजर डालते हैं:

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

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

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

प्रत्येक औपचारिक भाषा अच्छी तरह से नियमों का समूह स्थापित किया जाना चाहिए।

उदाहरण 4

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

निष्कर्ष

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