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