Trạng thái hiện tại của FSMs còn được gọi là trạng thái hoạt động.
Các quốc gia không bao gồm các tiểu bang khác được gọi là trạng thái cơ bản.
Hoa có chứa các tiểu bang khác được gọi là siêu-bang.
Đối với mỗi cơ bản của nhà nước, các siêu quốc gia có chứa s được gọi là trạng thái của tổ tiên.
Super-bang S được gọi là OR-super-bang, nếu chính xác một trong những tiểu bang của S là hoạt động bất cứ khi nào S đang hoạt động.
đang được dịch, vui lòng đợi..