Diller arasındaki dönüşümleri tanımlamak için bir dizi farklı model vardır. Sonlu durum transdüserleri ve string grafikler üzerinden MSO tarafından tanımlanabilir grafik dönüşümleri en iyi tanıdığım ikisi. 2 yollu sonlu durum dönüştürücülerinin (1 yollu muadillerinden daha etkileyici olan) ve MSO tarafından tanımlanabilir dize dönüşümlerinin, birleştiricileri kullanan daha az bilinen diğer bazı modellerle birlikte aynı dönüşüm kümesini yakaladığını biliyoruz. Bu dönüşüm sınıfı düzenli kabul edilir ve bu nedenle, bu modellerden biriyle bir açıklama sağlayabiliyorsanız, dönüşümün düzenli olduğunu göstermek kolaydır.
Bir dönüşümün bu sınıfın dışında olduğunu söylemenin basit bir yolu var mı? Düzenli diller ya da Myhill-Nerode teoremi, ancak dize dönüşümleri için pompalama lemmasına benzeyen bir şey aradığım şey.