Hola, estoy realizando el ejercicio, pero no me doy cuenta cuando es que cambia de flanco en el diagrama de estados, cada flechita de un estado a otro es un flanco? Adjunto foto de como pienso que deberia ser, no me doy cuenta de como verificar que realmente este bien, se que se puede simular la salida segun el diagrama de estados pero no me sale
Saludos y muchas gracias
DIego