The ACTLAction-based Computation Tr

The ACTL
Action-based Computation Tree Logic (ACTL) is a branching-time logic, meaning that its model
of time is a tree-like structure in which the future is not determined; there are different paths in
the future, any one of which might be an actual path that is realised.

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

ACTL การกระทำตามการคำนวณของทรีตรรกะ (ACTL) เป็นตรรกะเวลาสาขา หมายความ ว่า รูปแบบเวลามีโครงสร้างเหมือนต้นไม้ซึ่งในอนาคตจะกำหนด มีเส้นทาง fferent di ในอนาคต หนึ่งซึ่งอาจจะเป็นเส้นทางจริงที่จะตระหนัก

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

ACTL
การดำเนินการตามการคำนวณต้นไม้ลอจิก (ACTL) เป็นตรรกะแขนงเวลาหมายความว่ารูปแบบของ
เวลาเป็นโครงสร้างที่มีลักษณะเหมือนต้นไม้ในอนาคตซึ่งไม่ได้กำหนด; มีดิ? เส้นทาง fferent ใน
อนาคตของคนใดคนหนึ่งซึ่งอาจจะเป็นเส้นทางที่เกิดขึ้นจริงที่จะรู้