Observer automaton OBS2 has been de

Observer automaton OBS2 has been designed (Fig. 10.b) to verify the first above property; this property holds if the statement is true. Similar automata and statements enable to check the other properties.

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

ผู้สังเกตการณ์หุ่นยนต์ obs2 ได้รับการออกแบบ (รูป 10.b) เพื่อตรวจสอบสถานที่ให้บริการดังกล่าวข้างต้นเป็นครั้งแรกที่ให้บริการนี​​้ถ้ามีคำสั่งถือเป็นความจริง อองบที่คล้ายกันและช่วยให้การตรวจสอบคุณสมบัติอื่น ๆ

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

ออโตมาตานักการ OBS2 ได้รับการออกแบบ (Fig. 10.b) การตรวจสอบครั้งแรกเหนือคุณสมบัติ แห่งนี้ถือว่ายอดจริง ออโตมาตาและงบคล้ายเปิดใช้งานการตรวจสอบคุณสมบัติอื่น ๆ

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

2 ผู้สังเกตการณ์หุ่นยนต์ OBs Bar - เพลิดเพลินใจได้รับการออกแบบมา(รูปที่ 10 . B )เพื่อตรวจสอบที่พักด้านบนเป็นครั้งแรกที่พักแห่งนี้เป็นเจ้าของหากงบที่เป็นความจริง. งบและกลายเป็นจักรกลความเหมือนเปิดใช้เพื่อตรวจสอบคุณสมบัติอื่นๆได้