关于状态图的一个选择题。。。。。。。。。。。。。。

关于状态图的以下哪个陈述是TRUE？

1. 所有状态图必须指示一个或多个最终状态。
2. UML状态图是有限状态机（FSM）的形式表示。
3. Statecharts包含状态，事件和谓词。
4. UML状态图是分析工作流中功能建模的输出。

如果是单选的话，选所有状态图必须指示一个或多个最终状态。