UML状态机

我想知道我是否正确理解了浅显语法

这是正确的使用方法吗

---

在UML规范中，据说它可以用来代替初始的psuedo状态。我猜在这种情况下，将无法重置State1的内存，而在这种情况下，从State0的转换总是从State1.1开始。我说得对吗？

你的解释似乎正确。从上层建筑：

进入复合状态时，区分以下情况：

•默认条目：以图形方式，这由终止于复合状态外部边缘的传入转换指示。在这种情况下，将应用默认条目规则（请参见语义变化点（默认条目规则））

及

语义变化点（默认输入规则）

如果转换终止于封闭状态，且封闭区域没有初始伪状态，则对这种情况的解释是语义变化点。 在某些解释中，这被认为是一种形式不良的模型。也就是说，在这些情况下，初始伪状态是强制性的。另一种解释允许这种情况，这意味着，当进行这种转换时，状态机保持在复合状态，而不进入任何区域或其子状态

最后：

浅历史记录条目：如果转换在浅历史记录伪状态下终止，则活动子状态将成为此条目之前最近的活动子状态，除非最近的活动子状态是最终状态，或者这是进入此状态的第一个条目。在后两种情况下，将输入默认的历史状态。这是源于历史伪状态的转换的目标子状态。（如果未指定此类转换，则情况定义不清，其处理未定义。）如果由历史确定的活动子状态是复合状态，则继续执行其操作 默认条目

请注意，从上一段开始，您似乎应该始终从

H

伪状态过渡到

初始

伪状态所指向的相同状态，否则您可能会有一台定义不清的机器

我没有找到它说可以使用H*而不是初始伪状态的地方。你在哪里看到的