A finite state version of the Kraft-McMillan theorem
Résumé
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 contruction called the multiset construction which is a version with multiplicities of the well-known subset construction of automata theory
Origine : Fichiers produits par l'(les) auteur(s)