Чому стан FSM традиційно позначається

13

Викладаючи, як реалізувати FSM, використовуючи синхронні логічні схеми, я помітив інтригуючий збіг: і в теоретичному світі CS, і в електротехнічному світі "стан" зазвичай позначається (і простір стану ). Я спершу запитав EE.sx , але потім, трохи вивчаючи цю тему, я виявив, що навіть оригінальний папір Тьюрінга з 1936 року використовує для позначення станів машини Тюрінга. $q$ $Q$ $q_1..q_n$

Тож мені цікаво: Коли ця конвенція повертається назад, і чому б "державу" позначали ? $q$

automata-theory ho.history-overview

— Gyom
джерело

1

Якби мені довелося здогадуватися, я б сказав, що

є коротким для "конфігурації" (оскільки

і

вже пов'язані з "константами"). Але це лише здогадка.

q

$q$

c

$c$

k

$k$

— Jeffε

1

це цікаве запитання щодо історичного зв’язку між машинами Тьюрінга та найголовнішою відповіддю автоматів заперечує існування прямого історичного зв’язку між великою кількістю теорії автоматів та документом Turings 1936 року. відповідь внизу вказує на практично однакову схожість концепції таблиці таблиць.

— vzn

1

Я думаю, ви можете отримати кращу відповідь, якщо опублікуєте його на MathOverflow. У них більше експертів з теорії обчислень. Ще одне хороше місце, щоб запитати це - список розсилки FOM, який має багато експертів з історії обчислень.

— Каве

6

У своїй роботі 1936 р. "ПРО КОМП'ЮТЕРНІ ЧИСЛИ, З ЗАЯВКОЮ ДО ENTSCHEIDUNGSPROBLEM" Алан Тьюрінг написав:

"Ми можемо порівняти людину в процесі обчислення реального числа з машиною, яка здатна лише з кінцевою кількістю умов q1, q2, .... qR, які будуть називатися" m-конфігураціями "

Тож він наголосив на тому, що машина має кінцеву, дискретну (не безперервну) кількість станів чи величин. Для мене це посилання на термін Quanta, який використовується у фізиці для позначення явищ, що змінюються не постійно, а "стрибками" або "квантами". У своїй статті 1950 "Обчислювальна техніка та інтелект" Алан Тьюрінг більш чітко говорить про "стрибки", кажучи про "раптові стрибки":

"Цифрові комп'ютери, розглянуті в останньому розділі, можуть бути віднесені до" машин дискретного стану ". Це машини, які різко переходять або клацають з одного цілком певного стану в інший".

Тому я думаю, що Алан Тьюрінг використовував q замість s для позначення стану машини, щоб підкреслити той факт, що машина машини може бути лише в наборі дискретних і кінцевих значень, таких як кванти у фізиці. І з тих пір загалом використовується однакове позначення.

— Тарік FDIL
джерело

2

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

— Гріеш Чаухан
джерело