See the doc for automaton.compose: it would be nice to have a magic command %%trie to introduce a trie automaton.