Об алфавитном кодировании сверхслов

Рассматривается алфавитное кодирование сверхслов. Устанавливаются критерии однозначности кодирования для случаев конечного и бесконечного кодов. Доказывается, что в случае бесконечного кода проблема распознавания неоднозначности кода является $m$-полной в классе $\exists^1\forall^{\,0}$ аналитической иерархии Клини.