Inference of finite automata using homing sequences | Synapse