Let P be a program, and D be its in

Let P be a program, and D be its input domain. Let T ⊆ D. P(d) is
the result of executing P with input d.

Represents the acceptability of P(d). OK(d) = true iff
P(d) is acceptable.

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

ให้ P เป็นโปรแกรม และ D เป็นโดเมนของอินพุต ให้ T ⊆ D. P(d) เป็นผลการดำเนินการ P กับอินพุต dแสดงถึงการยอมรับของ P(d) OK(d) = iff จริงP(d) เป็นที่ยอมรับ

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

โดยสมมติให้ p โปรแกรมและ D เป็นโดเมนปัจจัยการผลิต ให้ T ⊆ D. P (D) เป็น
ผลมาจากการดำเนินการด้วยการป้อนข้อมูล P ง.

หมายถึงการยอมรับของ P (D) ตกลง (D) = IFF จริง
P (D) เป็นที่ยอมรับ

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

ให้ p เป็นโปรแกรม และจะเป็นข้อมูลโดเมน ให้ T ⊆ D . p ( D )ผลของการใส่ P กับ Dแสดงถึงการยอมรับของ P ( D ) ตกลง ( D ) = true IFFP ( D ) เป็นที่ยอมรับ