Callers can compute valid sequences of operations from the state model.

• 调用方可以通过状态模型计算有效的操作序列。