为什么传统上将FSM的状态表示为

13

在教授如何使用同步逻辑电路实现FSM时，我注意到了一个有趣的巧合：在理论CS世界和电气工程世界中，“状态”通常表示为（以及状态空间）。我首先在EE.sx上提问，但随后在对该主题进行了一些研究时，我发现甚至Turing的1936年原始论文也使用表示图灵机的状态。 $q$ $Q$ $q_1..q_n$

因此，我想知道：该约定何时追溯到？为什么将“状态”表示为？ $q$

automata-theory ho.history-overview

— y
source

1

如果我不得不猜测，我会说

是“配置”的缩写（因为

和

已经绑定到“常数”）。但这只是一个猜测。

q

$q$

c

$c$

k

$k$

— Jeffε

1

关于图灵机与自动机最受好评的答案之间的历史联系的一个有趣问题，否认了许多自动机理论与图灵斯1936年论文之间的直接历史联系。最不满意的答案指出了状态表概念的几乎相同之处。

— vzn 2012年

1

我认为，如果将其发布在MathOverflow上，可能会得到更好的答案。他们有更多的可计算性理论专家。另一个要问的好地方是FOM邮件列表，其中有许多关于可计算性历史的专家。

— 卡夫

6

“我们可以在计算实数的过程中将一个人与仅能满足有限数量的条件q1，q2，...，qR的机器进行比较，这将被称为“ m-配置”

因此，他强调了这样一个事实，即机器具有有限的，离散的（不是连续的）状态或数量。对我而言，它是指物理学中使用的量子这个术语，用来表示不是连续变化而是通过“游隙”或“量子”变化的现象。艾伦·图灵（Alan Turing）在其1950年的文章“计算机械与情报”中更明确地提到了“突跳”，即“突跳”：

“在上一节中考虑的数字计算机可能被归类为“离散状态机”。这些机器是通过突然跳动或咔嗒声从一种确定的状态移动到另一种确定的状态而移动的。

因此，我认为Alan Turing使用q而不是s来表示机器状态，从而强调了这样一个事实，即状态机只能处于一组离散且有限的值中，例如物理学中的量子。从那时起，通常使用相同的符号。

— 塔里克·FDIL
source

2

我不确定，但我在某处读到Q表示量子。 因为我们知道自动机在离散时间范围内起作用。自动机总是在有限状态集中保持某种状态，甚至从初始状态q _0开始。同样，自动机在任何时间都不能处于多个状态。量子一词来自物理学，意为数量，数量或数量。

— Grijesh Chauhan
source