“有限状态机”和“状态机”之间有区别吗？

Question

我不确定我是否理解有限状态机和状态机之间是否有区别？我是不是想得太难了？

Answer 1

我不确定我是否理解有限状态机和状态机之间是否有区别？我是不是想得太难了？

是的，你想得太辛苦了。-)这取决于具体情况。

显然，从字面上看，“有限状态机”一词表示有限的状态数，而“状态机”则没有这样的承诺。所以，是的，是有区别的。

然而，我认为，根据对话的上下文，人们只是简单地简单地说“状态机”，而没有考虑他们指的是“有限状态机”还是“状态机”。在我们的软件编程领域，状态机通常是用代码表示的，我们通常可以将“状态机”与“有限状态机”互换使用。所以，真的，不，没有什么区别。

OTOH，如果有一天晚上我在校园里上完夜班后和一位数学家交谈，我可能会对我所用的具体术语更有选择性。所以，是的，这是有区别的(在这个例子中)。

Answer 2

当然有区别。一个有有限的状态，另一个有无限多的状态。绘制无限状态机有点尴尬，但允许有限状态机的数学也会允许无限状态机。

看看FSM维基百科页面的数学模型部分，看看哪里写着'S是一个有限的、非空的州集‘？删除“有限”。你的状态转换函数也会变成无限的，但没关系，有很多无限的函数。

"From.ME.to.YOU“将维基百科的口头速记和真正的平等宣言混为一谈。

Answer 3

有限状态机(FSM)术语在自动机理论教科书中有着精确的定义。FSM允许对软件实体行为进行最精确和压缩的表示，因为它们是独立于编程语言和数据表示的。状态机这个术语通常被松散地用来描述一组API的“FSM样式”，比如Statecharts。不幸的是，软件工程师很少充分利用FSM的潜力，因为他们经常被困扰Statecharts的一系列问题所烧毁:例如，非决定论。