Data structure that represents a space-optimized trie in which each node that is the only child is merged with its parent