For some partitions, knowing the bl

For some partitions, knowing the block of the partition and the input
is enough information to determine the block of the next state. Such a
partition is said to have the substitution property and is referred to as an
SP partition. PN is always SP since all states are in the same block, and
P0 is always SP since knowing the block is the same as knowing the state.
Others may be SP, depending on the details of the state table.

ผลลัพธ์ (ไทย) 1:

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

ผลลัพธ์ (ไทย) 2:

สำหรับพาร์ทิชันบางรู้บล็อกของพาร์ทิชันและใส่เป็นข้อมูลเพียงพอที่จะตรวจสอบบล็อกของรัฐต่อไป เช่นพาร์ติชันที่จะกล่าวว่ามีสถานที่ให้บริการทดแทนและเป็นที่เรียกว่าพาร์ทิชันSP PN อยู่เสมอ SP ตั้งแต่รัฐทั้งหมดที่อยู่ในบล็อกเดียวกันและP0 อยู่เสมอ SP ตั้งแต่รู้ว่าบล็อกเป็นเช่นเดียวกับการรู้รัฐ. อื่น ๆ อาจจะ SP ขึ้นอยู่กับรายละเอียดของตารางรัฐ

ผลลัพธ์ (ไทย) 3:

สำหรับบางพาร์ทิชัน ทราบว่าบล็อกของพาร์ทิชันและใส่
เป็นข้อมูลเพียงพอที่จะตรวจสอบบล็อกของรัฐต่อไป เช่น
พาร์ทิชันที่ถูกกล่าวว่ามีการใช้ทรัพย์สิน และถูกเรียกว่า
SP พาร์ทิชัน . PN เป็น SP ตั้งแต่รัฐทั้งหมดอยู่ในบล็อกเดียวกันและ
P0 เสมอ SP ตั้งแต่ทราบว่าบล็อกเป็นเหมือนกันว่ารัฐ
คนอื่นอาจเป็น SPขึ้นอยู่กับรายละเอียดของสถานะโต๊ะ