有限状态机的Guards for Pure Signals指什么意思

有限状态机中的Guards for Pure Signals指的是在输入信号为纯信号（即只有0和1两种取值）的情况下，用于限制状态转移的条件。这些条件通常是基于输入信号和当前状态的组合，如果符合条件，则可以进行状态转移。例如，一个Guards for Pure Signals可以是“如果输入信号为1且当前状态为A，则转移到状态B”。这样的限制条件可以帮助设计人员有效地控制状态转移，从而实现系统的正确行为。