Graphical representation of finite machine states to help operator