К кодированию полурешеток и автоматов на полурешетках

Вводятся понятия и определяются параметры (значность, основание, длина) кода и кодирования для конечных верхних полурешетрк и автоматов на них; выясняются условия (в общем случае – необходимые, а в случае точечных полурешеток – необходимые и достаточные, при которых полурешетка и автомат на полурешетках допускают кодирование, в том числе с заданными значностью или основанием, изоморфным полурешетке всех непустых подмножеств конечного множества; во всех случаях достаточность условий доказывается конструктивно; более того, в случае заданного основания указывается способ построения кратчайшего кода точечной полурешетки.