💻 computer science

Expregular functions

यह शोध पत्र "एक्सप्रेगुलर फंक्शन्स" (expregular functions) को प्रस्तुत करता है, जो तीन तुल्य मॉडलों (MSO सेट व्याख्याओं, यील्ड-हेनी मशीनों और एरिआडने ट्रांसड्यूसरों) द्वारा परिभाषित घातांकीय वृद्धि वाले स्ट्रिंग-टू-स्ट्रिंग फलनों का एक सुदृढ़ वर्ग है, और यह सिद्ध करने के लिए उनकी तुल्यता को प्रमाणित करता है कि MSO सेट व्याख्याएं नियमितता परावर्तक (regularity reflecting) हैं, जिससे ऑटोमैटिक $\omega$ -शब्दों के गणनीय MSO सिद्धांत से संबंधित एक प्रमुख अनुमान का समाधान होता है।

मूल लेखक: Thomas Colcombet, Nathan Lhote, Pierre Ohlmann

प्रकाशित 2026-05-08

📖 7 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Thomas Colcombet, Nathan Lhote, Pierre Ohlmann

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आपके पास एक ऐसी मशीन है जो अक्षरों की एक स्ट्रिंग (जैसे कि कोई शब्द) को पढ़ती है और एक नई, लंबी स्ट्रिंग बाहर निकालती है। कंप्यूटर विज्ञान में, हम इन मशीनों को इस आधार पर वर्गीकृत करना पसंद करते हैं कि वे इनपुट को कितना "फैला" (stretch) सकती हैं।

रेगुलर मशीनें (Regular Machines): ये एक फोटोकॉपी करने वाली मशीन की तरह हैं। यदि आप उन्हें 10 पन्नों का एक दस्तावेज़ देते हैं, तो वे शायद 10 या 20 पन्ने ही प्रिंट करेंगी, लेकिन वे कभी भी 1,000 पन्ने प्रिंट नहीं करेंगी। इनका आउटपुट इनपुट के साथ रैखिक (linear) रूप से बढ़ता है।
पॉलीरेगुलर मशीनें (Polyregular Machines): ये एक ऐसे प्रिंटर की तरह हैं जो हर पन्ने की कई प्रतियां बना सकता है। यदि आप उन्हें 10 पन्नों का एक दस्तावेज़ देते हैं, तो वे 100 पन्ने प्रिंट कर सकती हैं (10 का वर्ग)। इनकी वृद्धि बहुपद (polynomial) होती है।
एक्सप्रेगुलर मशीनें (Expregular Machines - इस शोध पत्र की मुख्य विशेषता): ये "सुपर-स्ट्रेचर" हैं। यदि आप उन्हें 10 पन्नों का एक दस्तावेज़ देते हैं, तो वे 1,024 पन्ने प्रिंट कर सकती हैं ( $2^{10}$ )। इनका आउटपुट घातीय (exponentially) रूप से बढ़ता है।

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

यहाँ रोजमर्रा की उपमाओं (analogies) का उपयोग करके इसका विवरण दिया गया है:

1. एक ही मशीन के तीन चेहरे

लेखक तर्क देते हैं कि "एक्सप्रेगुलर फलन" घातीय वृद्धि (exponential growth) का प्राकृतिक, "फाइनाइट-स्टेट" संस्करण हैं। इसे सिद्ध करने के लिए, वे तीन अलग-अलग मॉडल दिखाते हैं जो बिल्कुल एक ही काम करते हैं:

चेहरा A: MSO सेट इंटरप्रेटर (एक आर्किटेक्ट का ब्लूप्रिंट)
कल्पना कीजिए कि आपके पास एक ब्लूप्रिंट (एक तार्किक सूत्र/logical formula) है जो बताता है कि एक पुराने शहर के आधार पर एक नया शहर कैसे बनाया जाए। यह केवल मौजूदा इमारतों को स्थानांतरित करने के बजाय यह कहता है: "पुराने शहर के हर घर के लिए, कल्पना करें कि आप उसे पेंट करने के हर संभव तरीके क्या हो सकते हैं, और प्रत्येक रंग संयोजन के लिए एक नया घर बनाएं।"
चूंकि आप हर संयोजन की खोज कर रहे हैं, इसलिए नया शहर आकार में विस्फोट कर जाता (exponential growth)। शोध पत्र यह सिद्ध करता है कि भले ही यह ब्लूप्रिंट जटिल हो, यह सख्त नियमों का पालन करता है।
चेहरा B: यील्ड-हेनी मशीन (द फोर्किंग फैक्ट्री)
कल्पना कीजिए कि एक असेंबली लाइन पर एक अकेला कर्मचारी (एक मानक कंप्यूटर) है। अब, कल्पना करें कि जब भी वह कर्मचारी एक विशिष्ट बटन दबाता है, तो वह स्वयं को क्लोन (clone) कर सकता है।
- मूल कर्मचारी अपना काम जारी रखता है।
- क्लोन एक नया कार्य शुरू करता है।
- क्लोन फिर से खुद को क्लोन कर सकते हैं।
  हालाँकि, एक नियम है: बाउंडेड विजिट नियम (The Bounded Visit Rule)। चाहे कितने भी क्लोन मौजूद हों, कोई भी एकल क्लोन असेंबली लाइन के एक ही स्थान को एक निश्चित संख्या से अधिक बार नहीं देख सकता (मान लीजिए 5 बार)।
  जब सभी क्लोन अपने छोटे कार्यों को पूरा कर लेते हैं, तो वे एक एकल अक्षर चिल्लाकर (shout out) बताते हैं। अंतिम उत्पाद इस क्लोन के पेड़ के नीचे से निकलने वाला "यील्ड" (सभी चिल्लाए गए अक्षरों का संग्रह) है।
  शोध पत्र यह सिद्ध करता है कि "ब्लूप्रिंट" (चेहरा A) को इस "फोर्किंग फैक्ट्री" (चेहरा B) में पूरी तरह से अनुवादित किया जा सकता है।
चेहरा C: एरिडने ट्रांसड्यूसर (मेमोरी स्टैक के साथ भूलभुलैया पार करने वाला)
कल्पना कीजिए कि एक रोबोट एक भूलभुलैया (इनपुट स्ट्रिंग) के माध्यम से चल रहा है। उसके पास एक बैकपैक (एक स्टैक) है जहाँ वह अपना इतिहास लिखता है।
- वह बैकपैक में एक नया नोट डाल सकता है (आगे बढ़ सकता है)।
- वह एक नोट बाहर निकाल सकता है (पीछे जा सकता है)।
- ट्विस्ट: एक सामान्य रोबोट के विपरीत, यह किसी भी नोट को देख सकता है, न कि केवल सबसे ऊपर वाले को। यह इसे जटिल पैटर्न याद रखने में मदद करता है।
- ट्विस्ट 2: इसके पास एक "बाउंसिंग" नियम है। यदि यह उस स्थान पर जाने की कोशिश करता है जिसे इसने पहले ही कई बार देखा है, तो इसे अपनी आंतरिक स्थिति बदलनी होगी (जैसे कि एक अलग टोपी पहनना) ताकि यह अनंत लूप (infinite loop) में न फंस जाए।
  शोध पत्र यह सिद्ध करता है कि "फोर्किंग फैक्ट्री" (चेहरा B) को इस "भूलभुलैया पार करने वाले" (चेहरा C) द्वारा सिम्युलेट किया जा सकता है, और इसके विपरीत भी।

2. बड़ी खोज: "रेगुलरिटी रिफ्लेक्शन" (Regularity Reflection)

इस शोध पत्र का सबसे महत्वपूर्ण परिणाम एक गुण है जिसे "रेगुलरिटी रिफ्लेक्शन" कहा जाता है।

सरल शब्दों में, इसका अर्थ है: "यदि आप एक एक्सप्रेगुलर मशीन के आउटपुट को लेते हैं और उससे एक सरल प्रश्न पूछते हैं (जैसे 'क्या इस आउटपुट में 'apple' शब्द है?'), तो आप उस प्रश्न को वापस इनपुट तक अनुवादित कर सकते हैं और उसे वहां पूछ सकते हैं।"

यह एक बड़ी बात क्यों है?
आमतौर पर, जब आपके पास डेटा का आकार विस्फोट करने वाली (exponential growth) मशीन होती है, तो उसका विश्लेषण करना असंभव हो जाता है। यह एक ऐसे घास के ढेर में सुई खोजने जैसा है जो लगातार बढ़ता जा रहा है।
लेखक सिद्ध करते हैं कि एक्सप्रेगुलर मशीनों के लिए, "घास का ढेर" वास्तव में संरचित (structured) है। यदि आउटपुट "रेगुलर" (अनुमानित) है, तो इनपुट भी "रेगुलर" था।
- परिणाम: यह "ऑटोमैटिक $\omega$ -वर्ड्स" (अनंत पैटर्न) के बारे में दशकों पुराने पहेली को हल करता है। शोध पत्र यह सिद्ध करता है कि इन अनंत पैटर्न का वर्णन करने के लिए उपयोग किया जाने वाला तर्क हमेशा 'डिसाइडेबल' (decidable) होता है (यानी, आप हमेशा उनके बारे में प्रश्न पूछने के लिए एक प्रोग्राम लिख सकते हैं)।

3. उन्होंने इसे कैसे सिद्ध किया (द "फनल" ट्रिक)

शोध पत्र का सबसे कठिन हिस्सा "ब्लूप्रिंट" (चेहरा A) को "फोर्किंग फैक्ट्री" (चेहरा B) में अनुवादित करना है।

लेखकों ने महसूस किया कि घातीय विस्फोट को प्रबंधित करने के लिए, आपको आउटपुट के अंतरालों (intervals) को ट्रैक करने की आवश्यकता है। कल्पना कीजिए कि आउटपुट डोमिनोज़ की एक लंबी रेखा है।

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

सारांश

यह शोध पत्र एक्सप्रेगुलर फंक्शन्स को पेश करता है, जो स्ट्रिंग-टू-स्ट्रिंग मशीनों का एक नया वर्ग है जो डेटा को दोगुना, तिगुना या घातीय रूप से विस्तारित कर सकती है।

वे सिद्ध करते हैं कि इन मशीनों को वर्णित करने के तीन बहुत अलग तरीके (लॉजिक, फोर्किंग प्रोसेस, और स्टैक-आधारित वॉकर) वास्तव में समान हैं।
वे सिद्ध करते हैं कि इस विशाल वृद्धि के बावजूद, ये मशीनें "सुव्यवस्थित" (Regularity Reflection) हैं।
यह परिणाम एक प्रमुख अनुमान को सुलझाता है, यह सिद्ध करता है कि कुछ जटिल अनंत पैटर्न के पास अनुमानित और समाधान योग्य तर्क होता है।

संक्षेप में, लेखकों ने कंप्यूटर विज्ञान के "एक्सपोनेंशियल मॉन्स्टर" (घातीय राक्षस) को नियंत्रित करने का एक तरीका खोजा है, यह दिखाते हुए कि भले ही डेटा का आकार विस्फोटित हो जाए, फिर भी यह नियमों के एक सख्त और समझने योग्य सेट का पालन करता है।

तकनीकी सारांश: एक्सप्रेगुलर (Expregular) फलन

1. समस्या विवरण और संदर्भ

यह शोध पत्र घातांकीय वृद्धि (exponential growth) वाले स्ट्रिंग-टू-स्ट्रिंग फलनों के अभिलक्षणन (characterization) को संबोधित करता है। जबकि रेगुलर फलन (रैखिक वृद्धि) और पॉलीरेगुलर फलन (बहुपद वृद्धि) की श्रेणी अच्छी तरह से समझी गई है, सुदृढ़ है और कई समकक्ष अभिलक्षणों (तार्किक, ऑटोमेटा-सैद्धांतिक और ट्रांसड्यूसर-आधारित) को स्वीकार करती है, घातांकीय वृद्धि वाले फलनों के लिए परिदृश्य खंडित है। घातांकीय वृद्धि के लिए मौजूदा मॉडल, जैसे कि HDT0L-सिस्टम, एक दूसरे के समकक्ष नहीं हैं, और यह स्पष्ट नहीं है कि इनमें से कौन सा, यदि कोई हो, इस वृद्धि दर के लिए एक "मानक" (canonical) परिमित-अवस्था गणना (finite-state computation) का बोध कराता है।

एक विशिष्ट पहचाना गया अंतराल MSO सेट इंटरप्रिटेशन (MSO set interpretations) की स्थिति है। ये तार्किक रूपक (formalisms) मानक MSO ट्रांसडक्शन का विस्तार करते हैं, जहाँ वे आउटपुट ब्रह्मांड (output universe) को परिभाषित करने के लिए सेट वेरिएबल्स (मोनैडिक वेरिएबल्स) का उपयोग करते हैं, जो स्वाभाविक रूप से घातांकीय आउटपुट आकार की ओर ले जाते है। हालाँकि, यह एक खुला प्रश्न था कि क्या इस श्रेणी में रेगुलरिटी रिफ्लेक्शन (regularity reflection) का महत्वपूर्ण गुण है (अर्थात, एक रेगुलर भाषा का व्युत्क्रम प्रतिबिंब [inverse image] रेगुलर होता है या नहीं)। इसे हल करना स्वचालित संरचनाओं (automatic structures) के संबंध में एक प्रमुख अनुमान को सुलझाने के लिए महत्वपूर्ण है: विशेष रूप से, कि प्रत्येक ऑटोमैटिक $\omega$ -वर्ड का एक निर्णयात्मक (decidable) MSO सिद्धांत है।

2. कार्यप्रणाली और मॉडल

लेखक एक्सप्रेगुलर फलनों नामक एक नई श्रेणी प्रस्तावित करते हैं, जिन्हें उन फलनों के रूप में परिभाषित किया गया है जो MSO सेट इंटरप्रिटेशन द्वारा गणनीय हैं। इस श्रेणी की सुदृढ़ता स्थापित करने के लिए, शोध पत्र तीन अलग-अलग औपचारिकताओं (formalisms) का परिचय देता है और उनका विश्लेषण करता है:

MSO सेट इंटरप्रिटेशन: एक तार्किक रूपक जहाँ आउटपुट स्ट्रिंग को इनपुट स्ट्रिंग के पदों पर एक MSO फॉर्मूला द्वारा परिभाषित किया जाता है, जिसमें कॉन्फ़िगरेशन के एक ब्रह्मांड (जो आउटपुट पदों का निर्माण करते हैं) को उत्पन्न करने के लिए सेट वेरिएबल्स का उपयोग किया जाता है। आउटपुट के क्रम और लेबलिंग को MSO फॉर्मूला द्वारा परिभाषित किया जाता है।
यील्ड-हेनी मशीनें (Yield-Hennie Machines): हेनी मशीनों (एक-टेप ट्यूरिंग मशीनें जिनमें एक सीमित-विजिट गुण होता है) का एक ब्रांचिंग विस्तार। ये मशीनें समानांतर उप-प्रक्रियाओं (parallel subprocesses) को उत्पन्न कर सकती हैं। आउटपुट गणना वृक्ष (computation tree) के पत्तियों (leaves) द्वारा उत्पादित अक्षरों का संयोजन (concatenation) है (जिसे "यील्ड" कहा जाता है)। ये प्रत्येक शाखा पर एक सीमित-विजिट स्थिति (bounded-visit condition) द्वारा प्रतिबंधित होती हैं।
एरियाडने ट्रांसड्यूसर (Ariadne Transducers): पेबल ट्रांसड्यूसर (pebble transducers) का विस्तार करने वाला एक अनुक्रमिक मॉडल। ये एक स्टैक का उपयोग करके गणना के इतिहास को रिकॉर्ड करते हैं। महत्वपूर्ण रूप से, वे वर्तमान इनपुट पद के इतिहास के अनुरूप संपूर्ण सब-स्टैक (substack) तक पहुँच सकते हैं। वे "पुश" (गणना का विस्तार करना) और "पॉप" (चक्रों से बचने के लिए मुद्रास्फीति संबंधी अपडेट के साथ पूर्ववत करना) संचालन का समर्थन करते हैं।

3. मुख्य योगदान और परिणाम

A. मॉडलों की तुल्यता

प्राथमिक तकनीकी योगदान इन तीन मॉडलों के बीच तुल्यता का प्रमाण है:

MSO सेट इंटरप्रिटेशन $\to$ यील्ड-हेनी मशीनें: यह सबसे जटिल अनुवाद है। लेखक एक "स्प्लिट" (इनपुट स्ट्रिंग में एक कट) पर कॉन्फ़िगरेशन के अंतराल की सरलता (simplicity) की अवधारणा पेश करते हैं। वे सिद्ध करते हैं कि किसी भी MSO सेट इंटरप्रिटेशन के लिए सरलता सीमित होती है। मशीन के निष्पादन के दौरान अंतरालों के एन्कोडिंग को संभालने के लिए, वे परिभाष्य अंतराल आधार (definable interval bases) और फनल (funnels) (अंतरालों और स्प्लिट्स के अनुक्रम) पेश करते हैं। यह मशीन को इनपुट के माध्यम से चलते समय अपने स्टेट (इनपुट का एक कलरिंग) को स्थानीय रूप से अपडेट करने की अनुमति देता है, जिससे सही आउटपुट कारकों को उत्पन्न करने के लिए आवश्यक जानकारी बनी रहती है।
यील्ड-हेनी मशीनें $\to$ एरियाडने ट्रांसड्यूसर: यह अनुवाद अपेक्षाकृत सीधा है। एरियाडने ट्रांसड्यूसर यील्ड-हेनी मशीन के रन के वृक्ष प्रक्षेप (tree traversal) का अनुकरण करता है। वृक्ष में नीचे जाना स्टैक पर 'पुश' करने के अनुरूप है, और ऊपर जाना 'पॉप' करने के अनुरूप है।
एरियाडने ट्रांसड्यूसर $\to$ MSO सेट इंटरप्रिटेशन: यह दिशा एरियाडने ट्रांसड्यूसर के लिए सुलभ कॉन्फ़िगरेशन (स्टैक्स) की भाषा के रेगुलर होने को सिद्ध करने पर निर्भर करती है। लेखक एरियाडने ऑटोमेटा को अल्टरनेटिंग हेनी ऑटोमेटा में परिवर्तित करके इसे प्राप्त करते हैं। चूंकि अल्टरनेटिंग हेनी ऑटोमेटा रेगुलर भाषाओं को पहचानना जानते हैं (डार्टोइस, नगुयेन और पेयराट का एक परिणाम), इसलिए स्टैक कॉन्फ़िगरेशन एक रेगुलर भाषा बनाते हैं, जिसे एक MSO फॉर्मूला द्वारा परिभाषित किया जा सकता है।

B. रेगुलरिटी रिफ्लेक्शन और निर्णयात्मकता

तुल्यता यह स्थापित करती है कि MSO सेट इंटरप्रिटेशन, रेगुलरिटी रिफ्लेक्शन प्रदर्शित करते हैं। इसका अर्थ है कि किसी भी एक्सप्रेगुलर फलन $f$ और किसी रेगुलर भाषा $L$ के लिए, $f^{-1}(L)$ रेगुलर है।

महत्व: यह परिणाम पुष्टि करता है कि एक्सप्रेगुलर फलन पॉलीरेगुलर फलनों के समान एक सुदृढ़ श्रेणी बनाते हैं, लेकिन घातांकीय वृद्धि के लिए।
उप-अनुमान (Corollary): एक प्रत्यक्ष परिणाम के रूप में, यह शोध पत्र बार्नी (और बाद में फिलियट एट अल.) के उस अनुमान को सुलझाता है जिसमें कहा गया था कि प्रत्येक ऑटोमैटिक $\omega$ -वर्ड का एक निर्णयात्मक MSO सिद्धांत होता है। ऐसा इसलिए है क्योंकि ऑटोमैटिक $\omega$ -वर्ड्स को यूनरी इनपुट्स पर MSO सेट इंटरप्रिटेशन के आउटपुट के रूप में देखा जा सकता है, और रेगुलरिटी रिफ्लेक्शन उनके सिद्धांतों की निर्णयात्मकता सुनिश्चित करता है।

C. क्लोजर गुण (Closure Properties)

शोध पत्र यह प्रदर्शित करता है कि एक्सप्रेगुलर फलनों की श्रेणी:

रेगुलर फलनों द्वारा प्रीकंपोजिशन (precomposition) के तहत बंद है।
पॉलीरेगुलर फलनों द्वारा पोस्टकंपोजिशन (postcomposition) के तहत बंद है।
पॉलीरेगुलर फलनों द्वारा प्रीकंपोजिशन के तहत बंद नहीं है (एक प्रति-उदाहरण प्रदान किया गया है जहाँ संयोजन का परिणाम सुपर-एक्सपोनेंशियल वृद्धि होता है, जो एक्सप्रेगुलर फलनों की $2^{O(n)}$ सीमा से अधिक है)।

4. महत्व और दावे

शोध पत्र दावा करता है कि एक्सप्रेगुलर फलन स्ट्रिंग-टू-स्ट्रिंग फलनों के लिए "घातांकीय परिमित-अवस्था गणना" की स्वाभाविक और सुदृढ़ धारणा का निर्माण करते हैं। यह दावा निम्नलिखित द्वारा समर्थित है:

बहु-अभिलक्षण: तीन अलग-अलग, समकक्ष मॉडलों (तार्किक, ब्रांचिंग मशीन, और अनुक्रमिक स्टैक मशीन) का अस्तित्व।
रेगुलरिटी रिफ्लेक्शन: श्रेणी ट्रांसड्यूसर सिद्धांत में एक मानक आवश्यकता को पूरा करती है।
निर्णयात्मकता: ऑटोमैटिक $\omega$ -वर्ड्स के लिए MSO सिद्धांतों की निर्णयात्मकता का समाधान।

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

संक्षेप में, यह कार्य घातांकीय वृद्धि वाले स्ट्रिंग-टू-स्ट्रिंग फलनों को समझने के लिए एक मौलिक ढांचा प्रदान करता है, जो तार्किक परिभाषाओं और मशीन मॉडलों के बीच के अंतर को पाटता है, और ऑटोमैटिक संरचनाओं के सिद्धांत से संबंधित लंबे समय से खुले प्रश्नों को हल करता है।