มีหลายรุ่นที่แตกต่างกันสำหรับการกำหนดการแปลงระหว่างภาษา ทรานสดิวเซอร์สถานะ จำกัด และการแปลงกราฟที่สามารถนิยามได้ MSO เหนือกราฟสตริงเป็นสิ่งที่ฉันคุ้นเคยดีที่สุด เรารู้ว่าทรานสดิวเซอร์ จำกัด แบบสองทาง (ซึ่งแสดงออกได้ดีกว่าคู่ทาง 1 ทาง) และการแปลงสตริงที่สามารถกำหนดได้ MSO จับภาพชุดการแปลงชุดเดียวกัน การแปลงคลาสนี้ถือเป็นเรื่องปกติดังนั้นจึงเป็นเรื่องง่ายที่จะแสดงว่าการแปลงเป็นเรื่องปกติถ้าคุณสามารถให้คำอธิบายด้วยหนึ่งในโมเดลเหล่านี้
มีวิธีที่ตรงไปตรงมาเพื่อบอกว่าการเปลี่ยนแปลงอยู่นอกคลาสนี้หรือไม่? บางสิ่งบางอย่างคล้ายกับบทแทรกสำหรับภาษาปกติหรือทฤษฎีบท Myhill-Nerode แต่สำหรับการแปลงสตริงเป็นสิ่งที่ฉันกำลังมองหา