– represents transition– Xi|–  Xi+

– represents transition
– Xi
|–  Xi+1
: command  moves system from
state Xi
to Xi+1
– Xi
|–
* Xi+1
: a sequence of commands moves
system from state Xi
to Xi+1

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

– แสดงถึงช่วงการเปลี่ยนภาพ– ซีอานซีกวน| -สิ + 1: สั่งย้ายระบบจากรัฐสิไปสิ + 1– ซีอานซีกวน|–* สิ + 1: ลำดับของคำสั่งย้ายระบบจากรัฐสิไปสิ + 1

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

- แสดงให้เห็นถึงการเปลี่ยนแปลง
- Xi
| -  Xi + 1
: คำสั่งย้ายระบบจาก
รัฐ Xi
กับซี 1
- Xi
| -
* Xi + 1
: ลำดับของคำสั่งย้าย
ระบบจากรัฐ Xi
กับซี + 1

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

หมายถึงการเปลี่ยนแปลง–––ซี

| ซี 1
: คำสั่งย้ายระบบจาก

สภาพซีเซ 1
-
-
* | Xi Xi 1
: ลำดับของคำสั่งระบบย้ายจากรัฐซี

เซ 1เปลี่ยนสถานะของระบบป้องกัน