FSMの状態が伝統的に

同期論理回路を使用してFSMを実装する方法を教えているときに、興味深いCSの世界と電気工学の世界の両方で、「状態」は通常（および状態空間Q）で示されます。私は最初にEE.sxで質問しましたが、このトピックについて少し調べてみると、Turingの1936年の論文でさえq 1を使用していることがわかりました。。q nは、チューリングマシンの状態を示します。$q$$Q$$q_1..q_n$

だから私は疑問に思う：この規則はいつ戻って、なぜ「状態」はと表示されるのか？$q$

では、 "AN APPLICATION TO THE ENTSCHEIDUNGSPROBLEM WITH計算NUMBERS ON、"彼の1936紙、アラン・チューリングは書きました：

「実数を計算するプロセスの人間を、「m-configurations」と呼ばれる有限数の条件q1、q2、.... qRのみが可能なマシンと比較できます。

そこで彼は、機械には有限の離散的な（連続ではない）状態または量があるという事実を強調しました。私にとって、それは物理学で使用されるクォンタムという用語への参照であり、連続的にではなく「飛躍」または「クォンタム」によって変化する現象を指します。彼には1950年の記事「計算機械と知性」アラン・チューリングは「突然のジャンプ」といえば「飛躍」についてのより明示的です：

「最後のセクションで検討したデジタルコンピュータは、「離散状態マシン」に分類されます。これらは、ある明確な状態から別の状態に突然ジャンプまたはクリックすることで移動するマシンです。」

ですから、アランチューリングはsの代わりにqを使用して機械の状態を示し、状態機械が物理学の量子のような離散値と有限値のセットにしか存在できないという事実を強調したと思います。それ以降、一般的に同じ表記法が使用されます。

よくわかりませんが、QがQuantumを意味する ことをどこかで読みました。オートマトンは離散時間枠で動作することがわかっているためです。オートマトンは常に有限状態セットのある状態にとどまり、初期状態q _0で始まり_ます。また、オートマトンはいつでも複数の状態になることはできません。量子という言葉は、量、量、または数を意味する物理学から来ています。