Cada estado puede definirse por sus relaciones con otros estados y por las entradas y salidas.