问题标签 [state-diagram]

我在脚本中找到了带有 RegEx 的 DFA（确定性有限自动机）的状态图，但该图只是一个示例，没有任何解释。于是我自己尝试从DFA状态图中推导出RegEx，得到表达式：ab+a+b(a*b)*. 我不明白如何获得(ab+a*)+ab+脚本中提到的原始 RegEx。这是我的推导：

我感谢任何帮助、链接、参考和提示！

据我了解，您可以在 UML 状态图中进行转换，例如：

• 事件[守卫]/动作
• 事件[]/动作
• 事件

http://www.sparxsystems.com/resources/uml2_tutorial/uml2_statediagram.html

在 UML 中是否也可以/有效地仅使用 Guard 而没有 Event & Action 进行转换？

• 无事件[守卫]/无动作

谢谢！

我正在为批准矩阵编写我的第一个状态图，但我被卡住了。我们系统中的订单将经过多个状态和转换以供批准：

状态

• 开始（状态）
• （提交（）过渡）
• 等待批准（状态）
• （批准（）过渡）
• 等待批准（状态）
• （批准（）过渡）
• ...
• 活（状态）

我的问题是，等待批准状态只会在收到每个订单的 N 个批准（）事件时才转换为实时状态（一个用户的批准将触发另一个用户批准的通知）。

我应该在 Awaiting Approval 状态之后添加一个决策点，该状态会自我转换回 Awaiting Approval 还是根据批准计数进展到 Live 状态（允许吗？或者我错过了什么？）

任何帮助，将不胜感激。我看到的大多数状态图都是基于一定数量的批准，而不是变量列表。

我有一个简单的函数，只是返回传递的字符串的镜像。代码如下所示：

上面的系统从一个空reversed值开始，然后在循环内继续更新自己。您将如何枚举上述系统中的状态？我能弄清楚的状态是empty--> updated。就是这样（这甚至正确吗？）

我试图了解状态图的重要性以及它如何导致找出极端情况下的错误。因此，我想从具有上述简单系统的状态图开始。

在状态机图中，我不明白为什么条件是 ErrCounter >= limit 。我认为写 ErrCounter == limit 很好。

我已经根据给我的图表编写了这个程序。我只是不知道在哪里以及如何阻止它运行。它一直在要求输入。在我的程序中在哪里添加退出命令？任何想法？

谢谢你。

初始状态为 S0

这个退出程序在这里不起作用

S0,S1,S2,S3 的程序从这里开始

我的系统有两台状态机，一台主机，一台从机。而且主从之间的状态也不是一一对应的。可能的相互作用如下。

• 如果master转换到某个master状态，它会通知slave转换到某个slave状态

• slave可以请求master进入某个master状态；如果master成功，master会通知slave进入某个slave状态。

• 从站可能会向主站请求某些数据

描述这些交互的正确 UML 图是什么？状态图仅限于状态转换，不能描述来自从站的请求（状态转换或数据）；交互图仅限于类/对象，不能应用于状态。

我有一个具有 3 个状态的系统。我想处理失败。也就是系统重启的时候不知道自己所处的状态，下面的状态图对吗？

在 UML 状态图中，可以使用选择元素（由菱形符号表示）对流程流中的分支进行建模，并在输出转换上使用条件（参见示例）。

另一方面，连接元素（由实心圆圈表示）可用于合并几个传入转换和/或将过程流拆分为几个传出转换，这也可能具有条件（参见示例）。

那么，一个路口真的是一个选择的概括吗？是否存在必须使用选择而不能使用联结的情况？

我正在努力解决这个问题，并将 0*1+(00 U 01)* 作为描述这台机器的语言的正则表达式。这个对吗？还是有更好/更简单的答案？