Sequence recognizer analysis.pdf