Such compacted trie is als known as:
Wikipedia page: click here
(The label used to be a single character)
Example:
is redundant if:
by one edge:
by the label:
Result:
Fact:
Here is the complete picture (with full nodes):