Exploratory Learning of electronic systems based on Finite State Machines