The statement that “the program sha

The statement that “the program shall never enter an infinite loop” is no verifiable because the testing of this quality is theoretically impossible

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

คำว่า "โปรแกรมจะไม่ป้อนการวนรอบไม่สิ้นสุด" คือไม่สามารถตรวจสอบเนื่องจากการทดสอบคุณภาพนี้เป็นไปไม่ได้ในทางทฤษฎี

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

คำสั่งว่า "โปรแกรมจะไม่ใส่ห่วงอนันต์" จะไม่มีการตรวจสอบเพราะการทดสอบที่มีคุณภาพนี้เป็นไปไม่ได้ในทางทฤษฎี

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

คําว่า " โปรแกรมจะไม่ใส่ห่วง " อนันต์ไม่ได้เนื่องจากการทดสอบคุณภาพนี้เป็นทฤษฎีเป็นไปไม่ได้