¿Por qué el estado de un FSM se denota tradicionalmente como

13

Mientras enseñaba cómo implementar FSMs utilizando circuitos lógicos sincrónicos, noté una coincidencia intrigante: tanto en el mundo teórico de CS como en el mundo de la ingeniería eléctrica, el "estado" se denota típicamente (y el espacio de estado ). Primero pregunté sobre EESX , pero luego, mientras investigaba un poco sobre este tema, descubrí que incluso el artículo original de Turing de 1936 usa para denotar los estados de la máquina de Turing. $q$ $Q$ $q_1..q_n$

Así que me pregunto: ¿ cuándo vuelve esta convención y por qué se denota un "estado" ? $q$

automata-theory ho.history-overview Gyom
fuente

1

Si tuviera que adivinar, diría que es la abreviatura de "configuración" (porque y ya están vinculadas a "constante"). Pero eso es solo una suposición.

q

$q$

c

$c$

k

$k$

Jeffε

1

Esta interesante pregunta sobre el vínculo histórico entre las máquinas de Turing y la respuesta más votada de los autómatas niega que haya un vínculo histórico directo entre la teoría de muchos autómatas y el documento de Turings 1936. La respuesta votada abajo señala la similitud prácticamente idéntica del concepto de tabla de estado.

vzn

1

Creo que puede obtener una mejor respuesta si la publica en MathOverflow. Tienen más expertos en teoría de computabilidad. Otro buen lugar para preguntar esto es la lista de correo de FOM que tiene muchos expertos en historia de computabilidad.

Kaveh

6

En su artículo de 1936 "SOBRE NÚMEROS COMPUTABLES, CON UNA APLICACIÓN AL PROBLEMA DE ENTSCHEIDUNGS" , Alan Turing escribió:

"Podemos comparar a un hombre en el proceso de calcular un número real con una máquina que solo es capaz de un número finito de condiciones q1, q2, ... qR que se denominarán" configuraciones m "

Entonces enfatizó el hecho de que la máquina tiene un número finito, discreto (no continuo) de estados o cantidades. Para mí, es una referencia al término Quanta usado en física para denotar fenómenos que varían no continuamente sino por "saltos" o "quanta". En su artículo de 1950 "Maquinaria de computación e inteligencia", Alan Turing es más explícito sobre los "saltos" al hablar de "saltos repentinos":

"Las computadoras digitales consideradas en la última sección pueden clasificarse entre las" máquinas de estado discreto ". Estas son las máquinas que se mueven por saltos o clics repentinos de un estado bastante definido a otro".

Así que creo que Alan Turing usó q en lugar de s para denotar un estado de máquina para enfatizar el hecho de que la máquina de estados solo puede estar en un conjunto de valores discretos y finitos como los cuantos en física. Y desde entonces, generalmente se usa la misma notación.

Tarik FDIL
fuente

2

No estoy seguro, pero leí en alguna parte que Q significa Quantum. Porque sabemos que los autómatas funcionan en un marco de tiempo discreto. Un autómata siempre permanece en algún estado en un conjunto de estados finitos, e incluso comienza con el estado inicial q ₀ . Además, un autómata no puede estar en más de un estado en ningún momento. La palabra cuántica proviene de la física que significa cantidad, cantidad o número.

Grijesh Chauhan
fuente

¿Por qué el estado de un FSM se denota tradicionalmente como

Respuestas: