औपचारिक भाषा सुविधाएँ और उदाहरण

औपचारिक भाषा ऐसी स्थितियों में अनन्य उपयोग के लिए भाषाई संकेतों का एक समूह है जहां प्राकृतिक भाषा उपयुक्त नहीं है। सामान्य तौर पर, भाषा को प्राकृतिक या अनौपचारिक और कृत्रिम में विभाजित किया जाता है। पहले दैनिक जीवन की सामान्य स्थितियों के लिए उपयोग किया जाता है। इस बीच, कृत्रिम का उपयोग रोजमर्रा की जिंदगी के दायरे से बाहर की विशिष्ट स्थितियों में किया जाता है.

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

इस अर्थ में, इस तरह की भाषा भाषाई कोडों को नियोजित करती है जो प्राकृतिक नहीं हैं (सामान्य दुनिया में संचार के भीतर उनका कोई अनुप्रयोग नहीं है)। औपचारिक विज्ञान के क्षेत्र में, एक औपचारिक भाषा प्रतीकों की एक श्रृंखला होती है जिसे उन कानूनों द्वारा विनियमित किया जा सकता है जो इनमें से प्रत्येक विज्ञान के लिए विशिष्ट हैं.

अब, इस प्रकार की भाषा वर्णमाला के रूप में प्रतीकों या अक्षरों के एक सेट का उपयोग करती है। इससे "भाषा की श्रृंखला" (शब्द) बनते हैं। ये, यदि वे नियमों का अनुपालन करते हैं, तो उन्हें "सुव्यवस्थित शब्द" या "सुव्यवस्थित सूत्र" माना जाता है.

सूची

• 1 लक्षण
  • १.१ पर्यावरण पर प्रतिबंध
  • 1.2 एक प्राथमिक व्याकरणिक नियम
  • 1.3 न्यूनतम शब्दार्थ घटक
  • १.४ प्रतीकात्मक भाषा
  • 1.5 सार्वभौमिकता
  • 1.6 परिशुद्धता और अभिव्यक्ति
  • 1.7 विस्तार क्षमता
• 2 उदाहरण
  • २.१ तर्क
  • २.२ गणित
  • 2.3 कंप्यूटर प्रोग्रामिंग
• 3 संदर्भ

सुविधाओं

प्रतिबंधित पर्यावरण

औपचारिक भाषा का उद्देश्य अन्य भाषाओं की तुलना में विभिन्न पर्यावरणीय परिस्थितियों में डेटा का आदान-प्रदान करना है। उदाहरण के लिए, प्रोग्रामिंग भाषा में, अंत मनुष्यों और कंप्यूटरों के बीच या कम्प्यूटरीकृत उपकरणों के बीच संचार है। यह मनुष्यों के बीच का संवाद नहीं है.

इस प्रकार, यह एक तदर्थ भाषा है, जो एक विशिष्ट उद्देश्य के साथ और बहुत विशिष्ट संदर्भों के तहत कार्य करने के लिए बनाई गई है। इसके अलावा, इसका बड़े पैमाने पर उपयोग नहीं किया जाता है। इसके विपरीत, इसका उपयोग उन लोगों के लिए प्रतिबंधित है जो भाषा के उद्देश्य और इसके विशेष संदर्भ दोनों को जानते हैं.

व्याकरण एक प्राथमिकता को नियंत्रित करता है

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

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

न्यूनतम शब्दार्थ घटक

औपचारिक भाषा में शब्दार्थ घटक न्यूनतम है। औपचारिक भाषा से संबंधित एक निश्चित श्रृंखला का अपने आप में कोई महत्व नहीं है.

सिमेंटिक लोड वे आंशिक रूप से ऑपरेटरों और संबंधों से आ सकते हैं। इनमें से कुछ हैं: समानता, असमानता, तार्किक संयोजकता और अंकगणितीय संचालक.

प्राकृतिक भाषा में, "डैड" शब्द के "पी" और "ए" के संयोजन की पुनरावृत्ति में माता-पिता का शब्दार्थ मूल्य होता है। हालाँकि, औपचारिक भाषा में ऐसा नहीं है। व्यावहारिक क्षेत्र में, श्रृंखलाओं का अर्थ या व्याख्या उस सिद्धांत में रहती है जिसे उस औपचारिक भाषा के माध्यम से परिभाषित करने की कोशिश की जाती है.

इस प्रकार, जब इसका उपयोग समीकरणों के रैखिक प्रणालियों के लिए किया जाता है, तो इसका सिमेंटिक मूल्यों में से एक के रूप में मैट्रिक्स सिद्धांत होता है। दूसरी ओर, इसी प्रणाली में कंप्यूटिंग में तार्किक सर्किट डिजाइन का सिमेंटिक भार है.

अंत में, इन जंजीरों के अर्थ उस औपचारिक विज्ञान के क्षेत्र पर निर्भर करते हैं जिसमें वे लागू होते हैं.

प्रतीकात्मक भाषा

औपचारिक भाषा पूरी तरह से प्रतीकात्मक है। यह उन तत्वों से बना है जिनका मिशन उनके बीच संबंधों को संप्रेषित करना है। ये तत्व औपचारिक भाषाई संकेत हैं, जैसा कि उल्लेख किया गया है, स्वयं के द्वारा कोई अर्थात्मक मूल्य उत्पन्न नहीं करते हैं.

औपचारिक भाषा सहजीवन के निर्माण का रूप हमें तथ्यों के आधार पर नहीं बल्कि उनके संबंधों पर गणना करने और सत्य स्थापित करने की अनुमति देता है। यह सहजीवन अद्वितीय है और भौतिक दुनिया में किसी भी ठोस स्थिति से बहुत दूर है.  

सार्वभौमिकता

औपचारिक भाषा का एक सार्वभौमिक चरित्र होता है। प्राकृतिक एक के विपरीत, जो इसकी विषयवस्तु से प्रेरित है व्याख्याओं और कई बोलियों की अनुमति देता है, औपचारिक एक अपरिवर्तित दिखाई देता है.

वास्तव में, यह विभिन्न प्रकार के समुदायों के लिए समान है। उनके दृष्टिकोण का सभी वैज्ञानिकों के लिए एक ही अर्थ है, चाहे वे जिस भी भाषा में बोलते हों.

परिशुद्धता और अभिव्यक्ति

सामान्य तौर पर, औपचारिक भाषा सटीक और बहुत अभिव्यंजक नहीं होती है। इसके गठन के नियम अपने वक्ताओं को नए शब्दों को गढ़ने या मौजूदा शब्दों को नए अर्थ देने से रोकते हैं। और, इसका उपयोग विश्वासों, मनोदशाओं और मनोवैज्ञानिक स्थितियों को व्यक्त करने के लिए नहीं किया जा सकता है.

विस्तार क्षमता

उस उपाय में जिसमें औपचारिक भाषा के लिए अनुप्रयोगों की खोज में प्रगति हुई है, इसके विकास का विस्तार किया गया है। तथ्य यह है कि इसकी सामग्री (इसके अर्थ) के बारे में सोचने के बिना इसे यंत्रवत् रूप से संचालित किया जा सकता है.

सिद्धांत रूप में, विस्तार का दायरा अनंत है। उदाहरण के लिए, कंप्यूटिंग और कंप्यूटिंग के क्षेत्र में हाल की जांच व्यावहारिक उद्देश्यों के लिए दोनों भाषाओं (प्राकृतिक और औपचारिक) से संबंधित है.

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

उदाहरण

तर्क

स्ट्रिंग में: (p⋀q) ⋁ (r )t) => t, अक्षर p, q, r, t बिना किसी ठोस अर्थ के प्रस्तावों का प्रतीक है। दूसरी ओर, प्रतीक ⋀, the, और => कनेक्टर्स का प्रतिनिधित्व करते हैं जो प्रस्तावों को जोड़ते हैं। इस विशेष उदाहरण में, उपयोग किए जाने वाले कनेक्टर "y" (,), "o" (⋁), "फिर" (=>) हैं.

स्ट्रिंग के लिए निकटतम अनुवाद यह है: यदि कोष्ठकों में कोई भी भाव मिलते हैं या नहीं, तो टी मिले या नहीं मिले। कनेक्टर्स उन प्रस्तावों के बीच संबंध स्थापित करने के प्रभारी हैं जो किसी भी चीज़ का प्रतिनिधित्व कर सकते हैं ...

गणितीय

इस गणितीय उदाहरण में A = =x | x mathematical3 >x> 2 a, "A" नाम का एक सेट जिसमें "x" नाम के तत्व हैं। A के सभी तत्व सहजीवन से संबंधित हैं |;;, ⋀, ⋀,>, related.

उन सभी का उपयोग यहां उन स्थितियों को परिभाषित करने के लिए किया जाता है जो तत्वों "x" को पूरा करना है ताकि वे सेट "A" के हो सकें.

इस श्रृंखला की व्याख्या यह है कि इस सेट के तत्व वे हैं जो 3 से कम या बराबर होने की स्थिति को पूरा करते हैं और एक ही समय में 2 से अधिक है। दूसरे शब्दों में, यह श्रृंखला 3 को परिभाषित करती है जो एकमात्र तत्व है शर्तों का अनुपालन करता है.

कंप्यूटर प्रोग्रामिंग

प्रोग्रामिंग लाइन IF A = ​​0, THEN GOTO 30, 5 * A + 1 में एक चर "A" है जिसे समीक्षा और निर्णय लेने की प्रक्रिया के लिए "ऑपरेटर के रूप में जाना जाता है" जिसे "सशर्त" कहा जाता है।.

"IF", "THEN" और "GOTO" अभिव्यक्तियाँ ऑपरेटर सिंटैक्स का हिस्सा हैं। इस बीच, बाकी तत्व "ए" की तुलना और कार्रवाई के मूल्य हैं.

इसका अर्थ है: कंप्यूटर को "ए" के वर्तमान मूल्य का मूल्यांकन करने के लिए कहा जाता है। यदि यह शून्य के बराबर है, तो यह "30" (प्रोग्रामिंग की दूसरी पंक्ति जहां एक और निर्देश होगा) जाएगा। यदि यह शून्य से भिन्न है, तो चर "ए" को 5 मान से गुणा (*) किया जाएगा और मूल्य में जोड़ा जाएगा (+).

संदर्भ

1. कोलिन्स शब्दकोश। (एस / एफ)। 'औपचारिक भाषा' की परिभाषा। CollinsdEDIA.com से लिया गया.
2. प्रौद्योगिकी विश्वविद्यालय, सिडनी। (एस / एफ)। औपचारिक और अनौपचारिक भाषा। Uts.edu.au से लिया गया.
3. परिभाषाएं। (एस / एफ)। औपचारिक भाषा के लिए परिभाषाएँ। परिभाषाओं से लिया गया ।.net.
4. मैड्रिड के तकनीकी विश्वविद्यालय। (एस / एफ)। प्राकृतिक भाषा और औपचारिक भाषा। Lorien.die.upm.es से लिया गया.
5. लुजान की नगर पालिका। (एस / एफ)। औपचारिक भाषा Lujan.magnaplus.org से लिया गया.
6. कॉर्बिन, जे। ए। (एस / एफ)। 12 प्रकार की भाषा (और उनकी विशेषताएं)। psicologiaymente.com.
7. बेल एंगुइक्स, जी। और जिमनेज़ लोपेज़, एम। डी। (S / f)। संगोष्ठी: भाषाविज्ञान के लिए औपचारिक भाषाओं के सिद्धांत के नए अनुप्रयोग। Elvira.lllf.uam.es से लिया गया.