การทวนสอบการย้อนกลับได้ของเซลลูลาร์ออโตมาตาหนึ่งมิติโดยใช้การส่งผ่านเวกเตอร์

Abstract

ในงานวิจัยเกี่ยวกับการย้อนกลับได้ของเซลลูลาร์ออโตมาตาหนึ่งมิตินั้น ปัญหาที่เราสนใจคือเรื่องของจำนวนของกฎในการส่งผ่านเซลลูลาร์ออโตมาตาย้อนกลับได้ ซึ่งงานวิจัยหลายชิ้นมุ่งเน้นในการศึกษาและหาโมเดลที่สามารถส่งผ่านเซลลูลาร์ออโตมาตาให้ย้อนกลับได้ด้วยกฎการส่งผ่านที่หลากหลายมากกว่าที่ผ่านมาเพื่อที่จะทำให้เซลลูลาร์ออโตมานั้นมีความซับซ้อนมากกว่าเดิมยิ่งขึ้น จึงเป็นที่มาของการเสนอเซลลูลาร์ออโตมาตาในรูปแบบต่างๆที่มีการเพิ่มเติมคุณสมบัติลงไป มีงานวิจัยที่เสนอการเพิ่มหน่วยความจำให้กับเซลลูลาร์ออโตมาตาซึ่งโมเดลดังกล่าวมีกฎที่ใช้ในการส่งผ่านย้อนกลับได้มากขึ้นและถูกนำไปประยุกต์ใช้ในหลายๆงานวิจัย เช่น วิทยาการเข้ารหัสลับ การนำกฎเวกเตอร์ถูกนำมาใช้ในการส่งผ่านเซลลูลาร์ออโตมาตาหรือเรียกว่าเซลลูลาร์ออโตมาชนิดไม่สม่ำเสมอ ซึ่งเดิมเป็นชนิดสม่ำเสมอ ทำให้เกิดลักษณะของกฎการส่งผ่านที่หลากหลายกว่าเดิมมาก ดังนั้น งานวิจัยนี้จึงได้ปรับปรุงและพัฒนาโมเดลการส่งผ่านเพื่อหาอัลกอริทึมที่ใช้ในการทวนสอบกฎเวกเตอร์ของเซลลูลาร์ออโตมาตาหนึ่งมิติที่มีความสามารถในการย้อนกลับได้โดยอัลกอริทึมที่ได้สามารถตรวจสอบได้ว่ากฎใดเป็นกฎที่ใช้ส่งผ่านย้อนกลับได้ ซึ่งสามารถหากฎที่มีคุณสมบัติดังกล่าวได้เป็นจำนวนที่มากขึ้นเมื่อเทียบกับรูปแบบเซลลูลาร์ออโตมาตาชนิดก่อนหน้า อีกทั้งยังเสนอคุณสมบัติที่จำเป็นในการย้อนกลับได้ของกฎการส่งผ่านอีกด้วย