Comment by jhgb

> That’s a smart way to represent a trie, with identical ‘tail’ ends of the trie merged into one.

That sounds like a DAG-shaped FSM to me...? At least I can't spot the difference.