Почему состояние FSM традиционно обозначается как

Обучая, как реализовывать автоматы с использованием синхронных логических схем, я заметил интересное совпадение: как в теоретическом мире CS, так и в мире электротехники «состояние» обычно обозначается как (и пространство состояний Q ). Сначала я спросил об EE.sx , но затем, немного исследуя эту тему, я обнаружил, что даже в оригинальной работе Тьюринга 1936 года используется q 1 . , q n для обозначения состояний машины Тьюринга.$q$$Q$$q_1..q_n$

Поэтому я задаюсь вопросом: когда эта конвенция возвращается и почему «государство» обозначается как ?$q$

В своей работе 1936 года «О вычислимых числах с приложением к проблеме Энштейна» Алан Тьюринг писал:

«Мы можем сравнить человека в процессе вычисления действительного числа с машиной, которая способна лишь на конечное число условий q1, q2,… qR, которые будут называться« m-конфигурациями »

Поэтому он подчеркнул тот факт, что машина имеет конечное, дискретное (не непрерывное) число состояний или величин. Для меня это ссылка на термин «кванты», используемый в физике для обозначения явлений, меняющихся не непрерывно, а «скачками» или «квантами». В своей статье 1950 года «Вычислительная техника и интеллект» Алан Тьюринг более четко говорит о «скачках», говоря о «внезапных скачках»:

«Цифровые компьютеры, рассмотренные в последнем разделе, могут быть классифицированы среди« машин с дискретным состоянием ». Это машины, которые перемещаются внезапными скачками или щелчками из одного совершенно определенного состояния в другое».

Поэтому я думаю, что Алан Тьюринг использовал q вместо s, чтобы обозначить состояние машины, чтобы подчеркнуть тот факт, что конечный автомат может быть только в наборе дискретных и конечных значений, таких как кванты в физике. И с тех пор, как правило, используются одни и те же обозначения.

Я не уверен, но я где-то читал, что Q означает Квант. Потому что мы знаем, что автоматы работают в дискретных временных рамках. Автомат всегда остается в каком-то состоянии в конечном множестве состояний и даже начинается с начального состояния q ₀ . Также автомат не может находиться в более чем одном состоянии в любой момент времени. Слово квант происходит от физики, что означает количество, количество или число.