Існує ряд різних моделей для визначення перетворень між мовами. Перетворювачі скінченного стану та перетворення графіків, визначених MSO, на строкових графіках - це два, з якими я найкраще знайомий. Ми знаємо, що двосторонні перетворювачі з кінцевим станом (які є більш виразними, ніж їх односторонні аналоги) та рядкові перетворення, визначені MSO, охоплюють той самий набір перетворень разом з деякими іншими менш відомими моделями, що використовують комбінатори. Цей клас перетворень вважається регулярним, і тому легко показати, що перетворення є регулярним, якщо ви можете надати його опис однією з цих моделей.
Чи існує прямий спосіб сказати, що трансформація знаходиться поза цим класом? Щось схоже на накачувальну лему для звичайних мов або теорему Міхілла-Нерода, але для струнних перетворень - це те, що я шукаю.