Such a model is being transformed i

Such a model is being transformed into a finite
automata representing the models state space for verification.

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

แบบจำลองจะถูกเปลี่ยนเป็นจำกัดการออโตมาตาที่แสดงถึงรูปแบบรัฐพื้นที่สำหรับการตรวจสอบ

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

รูปแบบดังกล่าวจะถูกเปลี่ยนเป็น จำกัด
ออโตมาเป็นตัวแทนของสภาพพื้นที่แบบจำลองสำหรับการตรวจสอบ

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

เป็นรูปแบบจะถูกแปลงเป็นรูปแบบออโตมาตาจำกัด
เป็นตัวแทนของรัฐพื้นที่สำหรับการตรวจสอบ