हम बताते हैं कि औपचारिक भाषाएं क्या हैं, उनकी विशेषताएं, उदाहरण और प्रकार। साथ ही, प्राकृतिक भाषाओं के साथ इसके अंतर।
औपचारिक भाषा क्या है?
में कम्प्यूटिंग और सूचना विज्ञान, जब हम प्राकृतिक भाषाओं के विपरीत एक औपचारिक भाषा का उल्लेख करते हैं, तो हम उन प्रणालियों का उल्लेख करते हैं: लक्षण आदिम प्रतीकों और उपयोग के नियमों की एक औपचारिक रूप से निर्दिष्ट प्रणाली के साथ संपन्न, जो कि a . के साथ संपन्न है वर्णमाला और का व्याकरण (या वाक्य - विन्यास) औपचारिक:
- एक वर्णमाला को आदिम प्रतीकों का परिमित और गैर-रिक्त सेट समझा जाता है।
- औपचारिक व्याकरण को एक विशिष्ट अर्थ के साथ परिमित श्रृंखला बनाने के लिए उक्त वर्णमाला के संयोजन नियमों के परिमित सेट के रूप में समझा जाता है।
इसमें यह प्राकृतिक भाषाओं से भिन्न होता है, जो मानव को संवाद करने की आवश्यकता के आसपास उत्पन्न होता है, जिसमें नियम जटिल और अस्पष्ट होते हैं, और अर्थ की व्याख्या पर निर्भर करता है भाषाई संकेत. इस कारण से, प्राकृतिक भाषाएँ एक औपचारिक भाषा के पढ़ने की तुलना में असीम रूप से अधिक जटिल होती हैं जिसका नियमों वे परिमित हैं और पहले से स्थापित हैं।
औपचारिक भाषाएं दुनिया के लिए महत्वपूर्ण हैं गणित और के कम्प्यूटिंग, क्योंकि वे हमें बनाने की अनुमति देते हैं कोड्स मनुष्य और मशीनों के बीच संचार, अर्थात् प्रोग्रामिंग. हमें औपचारिक भाषाओं को भाषा के औपचारिक स्तर के साथ या भाषा के साथ भ्रमित नहीं करना चाहिए औपचारिक भाषा, जो मौखिक भाषा का औपचारिक, विनम्र और औपचारिक उपयोग है, इसके उपयोग के विपरीत बोल-चाल का, अव्यवस्थित और अनौपचारिक.
अमेरिकी भाषाविद् नोम चॉम्स्की (1928-) के अनुसार, औपचारिक भाषाओं को चार प्रकारों में वर्गीकृत किया जा सकता है:
- टाइप 3: नियमित भाषाएं नियमित व्याकरण से संपन्न होती हैं, यानी नियमों की प्रणाली के साथ जो नियमित अभिव्यक्तियों द्वारा प्राप्त की जा सकती हैं और जो सभी संभावित प्रतीक तारों को प्राप्त करने की अनुमति देती हैं।
- टाइप 2: गैर-प्रासंगिक भाषाएं गैर-प्रासंगिक व्याकरण से संपन्न हैं, अर्थात, वे सभी संभव प्रतीक तार प्राप्त करने की अनुमति देती हैं, लेकिन नियमित लोगों की तुलना में बहुत अधिक जटिलता के स्तर पर।
- टाइप 1: प्रासंगिक व्याकरणों से संपन्न प्रासंगिक भाषाएं, जो कि आश्रित प्रतीकों के तार प्राप्त करने की अनुमति देती हैं, जैसा कि उनके नाम से संकेत मिलता है, संदर्भ.
- टाइप 0: बिना किसी प्रतिबंध के मुक्त व्याकरण के साथ मुक्त भाषाएं, जो पुनरावर्ती रूप से गणना करने योग्य भाषाओं का उत्पादन करती हैं।
औपचारिक भाषाओं के उदाहरण
औपचारिक भाषाओं के उदाहरण हैं:
- प्रोग्रामिंग की भाषाएँ जिसके साथ सॉफ्टवेयर.
- शतरंज का खेल, जिसके टुकड़े सीमित होते हैं और गतियों का पहले से वर्णन किया जाता है।
- मोर्स कोड, जो छोटे और लंबे संकेतों के माध्यम से बनाता है शब्दों यू पूर्णांक संख्या.
- अपना तर्क प्रतीकात्मक एक औपचारिक भाषा का गठन करता है।