Suffix Automaton · Smallest DFA for All Substrings
unseel.com · O(n) states · O(n) construction · Blumer 1985
String aabb
States 1 / ≤ 2n−1 = 7
Stage initial state
SAM state
Active / new
Suffix link
Clone state
Query path
Unseel.com · Suffix Automaton