问题标签 [finite-automata]

我正在寻找关于 DFA 与 NFA 引擎之间差异的非技术解释，基于它们的功能和限制。

我正在寻找 C 的自动有限状态机生成器？我在互联网上看到了一些，但无法决定使用哪一个。如果有人使用任何此类工具，请帮助我找到合适的工具。

谢谢，拉维古普塔

当您证明一种语言是可判定的时，您实际上在做什么？

我将从两个更简单的 DFA 的交集构造一个 DFA。第一个更简单的 DFA 识别所有至少包含三个 0 的字符串的语言，第二个更简单的 DFA 识别最多两个 1 的字符串的语言。字母表是 (0,1)。我不确定如何将两者结合起来构建更大的 DFA。谢谢！

我想知道可以在 XML 中定义的有限状态机中可视化状态转换的工具。如果它可以为过渡生成动画会很有帮助

我正在寻找一个免费工具来创建视觉上吸引人的有限自动机和语法树的图表。
注意：我真的只是想画图表。我不必创建模型或用它做一些花哨的事情。

谢谢你的时间。

编辑：
我可能会补充一点，我在 Latex 中创建文档，因此我也对基于 tex 的图表解决方案持开放态度。

我正在上有限自动机的课程。我正在准备期中考试，但在为特定语言创建语法时遇到了麻烦。虽然我发现简单的非常直观，但当它们变得更复杂时，我似乎不知道从哪里开始。例如：

L = { w E { a,b,c}* : nb(w) != na(w) + nc(w) }

答案是：

S→S1 | S2
S1→bS3 | S3b | S3bS3
S3→S0 | S1
S2→XS4 | S4X | S4XS4
S4→S | S2
S0→bS0XS0 | XS0bS0 | e
X→a | C

如果有人可以就所涉及的思维过程给我一些指导，将不胜感激。

我在一本关于非确定性映射的书中读到，对于 M=(Q,∑,trans,q _{0 ,F)，存在从 Q*∑ 到 2} ^Q的映射，其中 Q 是一组状态。但我无法理解它是如何 2 ^Q；如果有 3 个状态a、b、c，它如何映射到 8 个状态？

任何人都可以推荐一本关于协议编译器的非常好的书，即。如何生成协议代码？我不想要任何肤浅的书，就像一本包含一些食谱的烹饪书，相反，我想学习基础知识。为了掌握两个或多个有限状态机相互发送消息的主题，我应该学习什么，并且消息可能无法到达或无序到达？这个问题是“广泛的”，因此任何针对同一一般主题的答案都会很有趣。

这是我的问题

我知道两个没有死锁的状态机的痕迹。

我想知道痕迹（我不知道结构），如果组合没有死锁。

任何要知道的定理是可能知道的吗？