No entiendo la notación en este diagrama de estado

Hay dos tipos de máquinas de estado, Mealy y Moore . La diferencia entre los dos es que, mientras que las salidas en las máquinas Moore dependen solo del estado actual, las salidas de las máquinas Mealy también dependen de las entradas actuales.

Su primer ejemplo es cómo describimos una máquina Mealy. Las burbujas representan el estado actual, cada una de las cuales tiene un nombre (llamémoslo$S$). Las flechas representan las transiciones. Las etiquetas de las flechas tienen la forma$(I/O)$dónde$I$es el valor de entrada, y$O$es el nuevo valor de salida que resultaría de la transición correspondiente.

El segundo ejemplo es una descripción de una máquina de Moore. De nuevo, las burbujas representan el estado actual y las flechas las transiciones. Sin embargo, el etiquetado es diferente. Las etiquetas para las transiciones ahora son solo$(I)$- es decir, el valor de entrada. La etiqueta para el nombre del estado ahora es$(S/O)$- el nombre del estado, seguido de la salida en ese estado.

Debido a que la salida de la máquina de Moore depende solo del estado, los valores de salida están etiquetados en la burbuja de estado. Mientras que debido a que las salidas en la máquina Mealy dependen de la entrada y reaccionan de inmediato, cambiarán en las transiciones y, como tales, están etiquetadas en la flecha de transición.