Boolean grammar
बुलियन व्याकरण, औपचारिक भाषा सिद्धांत में अध्ययन किए गए औपचारिक व्याकरणों का एक वर्ग है। वे संयोजन और निषेध संचालन के साथ मूल प्रकार के व्याकरण, संदर्भ-मुक्त व्याकरण का विस्तार करते हैं। इन स्पष्ट संचालनों के अलावा, बूलियन व्याकरण एक गैर-अंतिम प्रतीक के लिए कई नियमों द्वारा दर्शाए गए अंतर्निहित विच्छेदन की अनुमति देते हैं, जो संदर्भ-मुक्त व्याकरण में व्यक्त होने वाला एकमात्र तार्किक संयोजक है। विशेष रूप से, भाषाओं के प्रतिच्छेदन और पूरक को निर्दिष्ट करने के लिए संयोजन और निषेध का उपयोग किया जा सकता है। संयोजी व्याकरण के रूप में जाना जाने वाला व्याकरण का एक मध्यवर्ती वर्ग संयोजन और विच्छेदन की अनुमति देता है, लेकिन निषेध नहीं। बूलियन व्याकरण के नियम उस रूप के होते हैं जहाँ एक अंतहीन होता है, और,.,,,.., और में प्रतीकों से बने तार होते हैं। अनौपचारिक रूप से, ऐसा नियम इस बात पर जोर देता है कि प्रत्येक स्ट्रिंग जो,., द्वारा दर्शाए गए वाक्य रचना संबंधी शर्तों में से प्रत्येक को संतुष्ट करती है, और., द्वारा दर्शाए गए वाक्य रचना संबंधी शर्तों में से कोई भी नहीं है, इसलिए द्वारा परिभाषित शर्त को संतुष्ट करती है। बूलियन व्याकरण द्वारा उत्पन्न भाषा की कई औपचारिक परिभाषाएँ मौजूद हैं। उनमें एक बात समान हैः यदि व्याकरण को संयोजन, प्रतिच्छेदन, पूरकता और संयोजन के साथ भाषा समीकरणों की एक प्रणाली के रूप में दर्शाया जाता है, तो व्याकरण द्वारा उत्पन्न भाषाएं इस प्रणाली का समाधान होनी चाहिए। शब्दार्थ विवरण में भिन्न होते हैं, कुछ भाषा समीकरणों का उपयोग करके भाषाओं को परिभाषित करते हैं, कुछ तर्क प्रोग्रामिंग के क्षेत्र से विचारों को आकर्षित करते हैं। हालांकि, औपचारिक परिभाषा के ये गैर-तुच्छ मुद्दे व्यावहारिक विचारों के लिए ज्यादातर अप्रासंगिक हैं, और कोई भी दिए गए अनौपचारिक शब्दार्थ के अनुसार व्याकरण का निर्माण कर सकता है। मॉडल के व्यावहारिक गुण संयुग्म व्याकरण के समान हैं, जबकि वर्णनात्मक क्षमताओं में और सुधार किया गया है। विशेष रूप से, संदर्भ-मुक्त व्याकरण से विरासत में मिले कुछ व्यावहारिक रूप से उपयोगी गुण, जैसे कि कुशल पार्सिंग एल्गोरिदम, को बनाए रखा जाता है, देखें। संदर्भ प्रीप्रिंट ऑनलाइन उपलब्ध है। बाहरी लिंक बूलियन व्याकरण पर ओखोतिन का पृष्ठ औपचारिक भाषाएँ