A k-testable machine k-TSS will rec

A k-testable machine k-TSS will recognize strings only either exactly in C, or those whose prefix of length k-1 is in I, suffix of length k-1 is in F, and where all substrings of length k is in T

State Merging Algorithms

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

เป็นเครื่องทดสอบ k k-TSS จะรับรู้เท่านั้นว่าใน C หรือผู้ที่มีคำนำหน้าของ k-1 ยาวคือใน I คำต่อท้ายยาว k-1 เป็นใน F สาย และทั้งหมด substrings ของ k ยาวใน Tรัฐอัลกอริทึมการผสาน

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

เครื่อง K-ทดสอบ K-TSS จะรับรู้สตริงเพียงอย่างใดอย่างหนึ่งว่าใน C หรือผู้ที่มีคำนำหน้าของความยาว K-1 อยู่ในผมต่อท้ายของความยาว K-1 อยู่ใน F และที่ย่อยทั้งหมดของความยาว K อยู่ในทีผสานรัฐอัลกอริทึม