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

Question

如果有限状态机和状态机之间存在差异,我不确定我是否理解？我是不是觉得这个太难了？

Answer 1

如果有限状态机和状态机之间存在差异,我不确定我是否理解？我是不是觉得这个太难了？

是的,你在考虑它太难了.:-)这取决于背景.

显然,从字面上看,术语"有限状态机"表示有限数量的状态,而"状态机"没有做出这样的承诺.所以,是的,存在差异.

但是,我认为,根据谈话的背景,人们只是简单地说"状态机"而不考虑它们是指"有限状态机"还是"状态机".在我们的软件编程领域,状态机通常用代码表示,我们经常可以将"状态机"与"有限状态机"交替使用.所以,真的,不,没有区别.

OTOH,如果我有一天晚上在校园的夜校课后和一位数学家交谈,我可能会对我使用的具体用语更有选择性.所以,是的,存在差异(在这种情况下).

Answer 2

当然有区别。一种具有有限数量的状态，另一种具有无限数量的状态。绘制无限状态机有点尴尬，但允许有限状态机的数学也将允许无限状态机。

看一看FSM 维基百科页面的数学模型部分。看到它在哪里说“S 是一个有限的、非空的状态集”？擦除“有限”。你的状态转换函数也会变成无限的，不过没关系，有很多无限的函数。

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

Answer 3

有限状态机 (FSM) 术语在自动机理论教科书中有精确定义。FSM 允许最精确和压缩的软件实体行为表示，因为它们独立于编程语言和数据表示。术语状态机通常被松散地用于描述“FSM 风格”的 API 集，例如状态图。不幸的是，软件工程师很少使用 FSM 的全部潜力，因为他们经常被困扰状态图的一系列问题所困扰：例如非确定性。