A Finite State Version of the Kraft--McMillan Theorem
Frédérique Bassino, Marie-Pierre Béal, Dominique Perrin · SIAM Journal on Computing · 2000
The main result is a finite-state version of the Kraft--McMillan theorem characterizing the generating sequence of a k-ary regular tree. The proof uses a new construction called the multiset construction, which is a version with multiplicities of the well-known subset construction of automata theory.