A program Q is said to be totally c

A program Q is said to be totally
correct with respect to the input if for every
input the program terminates and the output
assertion is true

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

โปรแกรม Q บอกว่าจะโดยสิ้นเชิง
ที่ถูกต้องเกี่ยวกับการป้อนข้อมูลถ้าทุก
โปรแกรมการป้อนข้อมูลและการส่งออกยุติ
การยืนยันเป็นความจริง

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

โปรแกรมถามว่า เป็นเรื่องที่ถูกต้อง ด้วยความเคารพ
ใส่ ถ้าทุก ๆ
ใส่โปรแกรมสิ้นสุดลงและผลผลิต
ยืนยันจริง