แนวคิด ใช้ DFA ตรวจสอบว่าเลขหารด้วย k ลงตัวหรือไม่ และหาเศษได้ โดยสร้าง Transition Table จากการแทนค่าในฐานสอง สร้าง Transition Table มี k states (0 ถึง k-1) แต่ละ state มี transition สำหรับ bit 0 และ 1 trans_0 = (state << 1) % k trans_1 = ((state << 1) + 1) % k อัลกอริธึม สร้าง Transition Table