STATE ::= patients | fields | setup

STATE ::= patients | fields | setup | ready | beam_on
EVENT ::= select_patient | select_field | enter | start | stop
| lock_off | lock_on
FSM == (STATE X EVENT) STATE
no_change, transitions, control : FSM

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

สถานะ:: =ผู้ป่วย | เขตข้อมูล | ตั้งค่า | พร้อมกรุนด์ฟอส beam_onเหตุการณ์:: = select_patient | select_field | ป้อนกรุนด์ฟอส เริ่มกรุนด์ฟอส หยุด | lock_off | lock_onFSM == (กิจกรรมรัฐ X) สถานะ no_change เปลี่ยน ควบคุม: FSM

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

รัฐ :: = ผู้ป่วย | สาขา | การติดตั้ง | พร้อม | beam_on
EVENT :: = select_patient | select_field | ป้อน | เริ่มต้น | หยุด
| lock_off | lock_on
FSM == (รัฐ X event) รัฐ
no_change เปลี่ยนการควบคุม: เอฟเอส