En este diagrama:
¿Qué significa la S [2: 0]? Creo que es el estado, pero ¿por qué es el estado en 3 bits? ¿Qué significa el 2 y el 0?
¡Salud!
Significa que la señal es un bus de 3 bits de ancho.
[2:0]
es una notación tomada de Verilog. Significa que la señal es un bus que contiene múltiples bits, numerados de 2 a 0, tres bits en total.
S [2: 0] se refiere a tres líneas de señal (S2, S1, S0) que se usan juntas para determinar el estado.
Puede haber ocho estados, dependiendo de los estados de esos tres bits.
Se requeriría más contexto (de dónde provino este dibujo y lo que lo rodea) para decir qué sucede aquí realmente, y qué significan o significan esos ocho estados.