Pattern discovery in sequences under a Markov assumption | Synapse