状态机描述的状态有两种大类，一类是任务运行似的逻辑。这种状态图的状态通常是任务在 等待某个条件达到，也就是任务处于“等待状态”。通常任务本身是直接推动状态机运作的 发动机，任务本身检查状态机的事件达到情况并进行分发。任务状态的变迁由某个事件的达 成触发，可能要求任务间同步机制ITC 具有回调能力，以便在条件成立时向状态机事件队 列中压入事件。这种状态机明显有异步逻辑特征，称为“异步类状态机”。 第二种类型是算法逻辑，利用状态机逻辑清晰的特性描述复杂的算法。该状态机通常嵌入在 某个算法函数类部，帮助该函数完成功能。函数入口后，模拟任务等具有主动性的实体，向 状态机分发事件。这种状态机明显有同步函数调用特征，称为“同步类状态机”。同步状态 机的一次事件过程就是一次入口函数调用过程。入口函数调用返回时，状态机必须处于一个 明确定义的状态，不能是不确定的中间状态。