https://123dok.net/document/qo5jj1d0-a-finite-state-version-the-kraft-mcmillan-theorem.html