问题标签 [finite-automata]

我正在做一些研究，当它处理一个 1 时，我对这个小的不确定性算法有点困惑。我知道它会分裂成一个带有 q1 的品牌，因为 0 或 1 会重定向回来，并且那里有一个到 q2 的退出箭头是1，但为什么会分裂成q3？我觉得我误读了（0，空字符串），任何澄清都会很棒。

我有一个程序，它简单地将所有状态作为一组状态作为输入。然后下一个输入是状态集合中的初始状态，然后是最终状态集合。

接下来是我在各州之间进行的一组转换。

例如：q0,1,q1

这意味着在输入 1 上存在从 q0 到 q1 的转换。

对于每个状态，都会输入转换。

但是在这里我面临的是可以以随机方式跳转引用，即转换可以是非重复字符的 n 次转换，因此我想动态地为每个状态维护一个 hashmap 对象。

我怎样才能做到这一点？

我想构造一个接受以下语言的确定性有限自动机：

{w ∈ {a,b}* : w 中的每个 a 都紧跟在 ab 前面}

到目前为止，我已经得到 >⨀ ---b---> O ---a---> O。

'>' = 初始状态

⨀ = 最终状态

以图的形式构造确定性有限自动机的规则是什么？我的教授通过示例进行了解释，但我不确定所有图表必须遵循哪些规则。任何帮助表示赞赏，谢谢！

鉴于：

我不知道公认的语言是什么。

通过查看它，您可以获得几个最终结果：

有几个主题讨论了有限状态自动机，但我所见过的没有一个是关于现实世界应用程序的详细信息。有限状态自动机的一些具体例子是什么？

如何将以下正则表达式更改为有限自动机？

注意：在这种情况下，U 表示联合

我有一个场景，我设计了 NFA 并使用 JFLAP 将其转换为 DFA。

我需要知道，如何用 Java 编写代码？

基本上如何在 Java 中实现这些状态转换。我已经看到了一些使用 switch 和 if 语句执行此操作的示例，但我看不到与 DFA/NFA 设计以及如何使用它在 Java 中实现的任何关系。

我正在为我的计算理论课做作业，并且有点困惑如何组合 2 个 DFA。这本书说它使用“交叉结构”来做到这一点，但我不确定那是什么。这里有 2 个例子：

我是 Automata 和 JFLAP 的初学者。我有动作有限自动机，它告诉语言中的任何字符，它必须进入另一个状态。我如何在 JLAP 上实现这一点。
谢谢