Perché lo stato di un FSM è tradizionalmente indicato con ?

13

Mentre insegnavo come implementare gli FSM usando circuiti logici sincroni, ho notato una coincidenza intrigante: sia nel mondo teorico CS, sia nel mondo dell'ingegneria elettrica, "stato" è tipicamente indicato con (e lo spazio di stato ). Ho chiesto prima su EE.sx , ma poi mentre cercavo un po 'questo argomento, ho scoperto che anche il documento originale di Turing del 1936 usa per indicare gli stati della macchina di Turing. $q$ $Q$ $q_1..q_n$

Quindi mi chiedo: quando tornerà questa convenzione e perché uno "stato" dovrebbe essere indicato con ? $q$

automata-theory ho.history-overview

— Gyom
fonte

1

Se dovessi indovinare, direi che è l'abbreviazione di "configurazione" (perché e sono già associati a "costante"). Ma è solo una supposizione.

q

$q$

c

$c$

k

$k$

— Jeffε

1

questa interessante domanda sul legame storico tra le macchine di Turing e la risposta più votata dagli automi nega che esista un legame storico diretto tra molta teoria degli automi e il documento di Turings del 1936. la risposta votata in basso indica la somiglianza praticamente identica del concetto di tabella degli stati.

— vzn

1

Penso che potresti avere una risposta migliore se la pubblichi su MathOverflow. Hanno più esperti di teoria della computabilità. Un altro buon posto per chiedere questo è la mailing list di FOM che ha molti esperti sulla storia della calcolabilità.

— Kaveh,

6

Nel suo documento del 1936 "SU NUMERI COMPUTABILI, CON UN'APPLICAZIONE ALL'ENTECHEIDUNGSPROBLEM" , Alan Turing scrisse:

"Possiamo confrontare un uomo nel processo di calcolo di un numero reale con una macchina che è capace solo di un numero finito di condizioni q1, q2, .... qR che sarà chiamato" m-configurazioni "

Quindi ha sottolineato il fatto che la macchina ha un numero finito, discreto (non continuo) di stati o quantità. Per me, è un riferimento al termine Quanta usato in fisica per indicare i fenomeni che variano non in modo continuo ma con "salti" o "quanti". Nel suo articolo del 1950 "Computing Machinery and Intelligence" Alan Turing è più esplicito sui "balzi" parlando di "salti improvvisi":

"I computer digitali considerati nell'ultima sezione possono essere classificati tra le" macchine a stato discreto ". Queste sono le macchine che si muovono da salti improvvisi o clic da uno stato del tutto definito a un altro."

Quindi penso che Alan Turing abbia usato q invece di s per indicare uno stato di macchina per sottolineare il fatto che la macchina di stato può essere solo in un insieme di valori discreti e finiti come i quanti in fisica. E da allora viene generalmente utilizzata la stessa notazione.

— Tarik FDIL
fonte

2

Non sono sicuro, ma ho letto da qualche parte che Q significa Quantum. Perché sappiamo che gli automi funzionano in tempi discreti. Un automa rimane sempre in uno stato nel set di stati finiti, e inizia anche con lo stato iniziale q ₀ . Inoltre, un automa non può trovarsi in più di uno stato in qualsiasi momento. La parola quantistica deriva dalla fisica che significa quantità, quantità o numero.

— Grijesh Chauhan
fonte