The floor is encoded as an extended

The floor is encoded as an extended state, i.e. a variable cf
An user press a button to “reserve” the elevator, setting variable rf
An user inside the elevator presses the button to change floor, setting variable df

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

ชั้นถูกเข้ารหัสเป็นสถานะเพิ่มเติม เช่น cf เป็นตัวแปรผู้ใช้กดปุ่ม "จองห้องพักที่" ลิฟต์ ตั้งค่า rf ตัวแปรผู้ใช้ภายในลิฟต์กดปุ่มการเปลี่ยนชั้น ตั้งค่าตัวแปร df

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

ชั้นที่มีการเข้ารหัสเป็นรัฐขยายเช่น CF ตัวแปร
กดผู้ใช้ปุ่มที่จะ "สำรอง" ลิฟท์, การตั้งค่าตัวแปร RF
ผู้ใช้ภายในลิฟท์กดปุ่มเพื่อเปลี่ยนพื้น, การตั้งค่า DF ตัวแปร

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

ชั้นจะถูกเข้ารหัสเป็นขยายรัฐ ได้แก่ ตัวแปรโฆษณาผู้ใช้กดปุ่ม " สำรอง " ลิฟต์ การตั้งค่าตัวแปร RFผู้ใช้ภายในลิฟต์กดปุ่มเพื่อเปลี่ยนการตั้งค่าตัวแปรคือพื้น