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

13

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

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

automata-theory ho.history-overview

— Gyom
источник

1

Если бы мне пришлось угадывать, я бы сказал, что

- это сокращение от «конфигурации» (потому что

и

уже связаны с «константой»). Но это только предположение.

q

$q$

c

$c$

k

$k$

— Джефф

1

Этот интересный вопрос об исторической связи между машинами Тьюринга и ответами автоматов, получившими наибольшее количество голосов, отрицает, что существует прямая историческая связь между большой теорией автоматов и работой Турингс 1936 года. ответ с нижним голосом указывает на практически идентичное сходство концепции таблицы состояний.

— vzn

1

Я думаю, что вы можете получить лучший ответ, если разместите его на MathOverflow. У них больше экспертов по теории вычислимости. Другое хорошее место, чтобы спросить это - список рассылки FOM, в котором есть много экспертов по истории вычислимости.

— Каве

6

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

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

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

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

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

— Тарик ФДИЛ
источник

2

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

— Грижеш Чаухан
источник