Inglés: diagrama de transición para una
máquina de estados finitos que modela un torniquete, un ejemplo introductorio común utilizado para explicar las máquinas de estados. El torniquete tiene dos estados,
bloqueado y
desbloqueado . Hay dos entradas que afectan el estado: depositar una moneda en el torniquete,
moneda , y empujar la barra del torniquete,
empujar . La barra del torniquete está inicialmente bloqueada y empujarla no tiene ningún efecto. Poner una moneda cambia el estado a
Desbloqueado desbloqueando la barra para que pueda girar. Un cliente que empuja a través del torniquete cambia el estado a
Bloqueado para que otros clientes no puedan pasar hasta que se deposite otra moneda. La flecha en el
El nodo
bloqueado del punto negro indica que es el estado inicial.