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