Основные определения: коды, однозначные автоматы и связь между ними. Алгоритм определения того, является ли заданное множество слов кодом. Максимальные коды. Эквивалентность максимальности и полноты для кодов, распознаваемых конечными автоматами. Алгоритм определения максимальности кода, распознаваемого конечным автоматом. Вложение конечного кода в максимальный. Декомпозиции кодов.