มีวิธีการพิสูจน์ความไม่สม่ำเสมอของการแปลงสตริงหรือไม่?


9

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

มีวิธีที่ตรงไปตรงมาเพื่อบอกว่าการเปลี่ยนแปลงอยู่นอกคลาสนี้หรือไม่? บางสิ่งบางอย่างคล้ายกับบทแทรกสำหรับภาษาปกติหรือทฤษฎีบท Myhill-Nerode แต่สำหรับการแปลงสตริงเป็นสิ่งที่ฉันกำลังมองหา

คำตอบ:


2

คำถามของคุณยังไม่ชัดเจนนัก: คุณได้รับการเปลี่ยนแปลงที่คุณเริ่มต้นอย่างไร ตัวอย่างเช่นหากคุณสมมติว่าการแปลงนั้นได้รับมาจากเครื่องทัวริงก็ไม่มีทางที่จะตัดสินใจได้ว่าอัลกอริทึมนั้นเป็นแบบปกติหรือไม่

อย่างไรก็ตามดูเหมือนว่าสิ่งที่คุณถามคือมีลักษณะ "การไม่ขึ้นต่อกัน" ของการแปลงสตริง (เช่น Myhill-Nerode)

ในขณะที่ฉันไม่รู้ลักษณะโดยทั่วไป (ฉันค่อนข้างแน่ใจว่าไม่มีการจำแนกลักษณะดังกล่าว) แต่มีลักษณะเช่นนี้สำหรับตัวแปลงสัญญาณสตริงที่มีข้อมูลกำเนิดพัฒนาโดย Bojnaczyk

คุณสามารถเริ่มที่นี่

โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.