Tại sao trạng thái của một FSM theo truyền thống được ký hiệu là ?

Trong khi dạy cách triển khai các FSM bằng các mạch logic đồng bộ, tôi nhận thấy một sự trùng hợp thú vị: trong cả thế giới CS lý thuyết và trong thế giới kỹ thuật điện, "trạng thái" thường được ký hiệu là (và không gian trạng thái ). Lần đầu tiên tôi hỏi về EE.sx , nhưng sau đó trong khi nghiên cứu một chút về chủ đề này, tôi thấy rằng ngay cả bài báo gốc năm 1936 của Turing cũng sử dụng để biểu thị trạng thái của máy Turing.$q$$Q$$q_1..q_n$

Vì vậy, tôi tự hỏi: Khi nào thì quy ước này quay trở lại, và tại sao một "trạng thái" sẽ được ký hiệu là ?$q$

Trong bài viết năm 1936 của mình "TRÊN SỐ SỐ TÍNH, VỚI ỨNG DỤNG VÀO ENTSCHEIDUNGSPROBLEM" , Alan Turing đã viết:

"Chúng tôi có thể so sánh một người đàn ông trong quá trình tính toán một số thực với máy chỉ có khả năng có một số hữu hạn các điều kiện q1, q2, .... qR sẽ được gọi là" cấu hình m "

Vì vậy, ông nhấn mạnh thực tế là máy có số lượng trạng thái hoặc số lượng hữu hạn, rời rạc (không liên tục). Đối với tôi, nó liên quan đến thuật ngữ Quanta được sử dụng trong vật lý để biểu thị các hiện tượng biến đổi không liên tục mà bằng "bước nhảy vọt" hoặc "lượng tử". Trong bài viết "Máy tính và trí thông minh" năm 1950 của mình , Alan Turing đã nói rõ hơn về "bước nhảy vọt" khi nói về "bước nhảy đột ngột":

"Các máy tính kỹ thuật số được xem xét trong phần cuối có thể được phân loại trong số các" máy trạng thái rời rạc ". Đây là những máy di chuyển bằng cách nhảy đột ngột hoặc nhấp từ trạng thái khá xác định này sang trạng thái khác."

Vì vậy, tôi nghĩ rằng Alan Turing đã sử dụng q thay vì s để biểu thị trạng thái máy để nhấn mạnh thực tế là máy trạng thái chỉ có thể ở trong một tập hợp các giá trị rời rạc và hữu hạn như lượng tử trong vật lý. Và kể từ đó, ký hiệu tương tự thường được sử dụng.

Tôi không chắc nhưng tôi đọc ở đâu đó rằng Q có nghĩa là Lượng tử. Bởi vì chúng ta biết automata hoạt động trong khung thời gian riêng biệt. Máy tự động luôn duy trì ở một số trạng thái ở trạng thái hữu hạn và thậm chí bắt đầu với trạng thái ban đầu q ₀ . Ngoài ra, một máy tự động không thể ở nhiều trạng thái tại bất kỳ thời điểm nào. Lượng tử từ xuất phát từ vật lý có nghĩa là số lượng, số lượng hoặc số.