A unified view of Automata-based algorithms for Frequent Episode Discovery