Здравствуйте, KoreanLamer!
Рассмотрим все возможные разложения кодовых слов:
где в круглых скобках заключены префиксы и суффиксы, а в квадратных - кодовые слова (
[$923$] обозначает пустой префикс, суффикс или кодовое слово). Тогда имеем набор префиксов
[$923$],
b[sub]1[/sub],
b[sub]2[/sub],
b[sub]3[/sub],
b[sub]2[/sub]b[sub]2[/sub],
b[sub]2[/sub]b[sub]3[/sub],
b[sub]3[/sub]b[sub]1[/sub],
b[sub]1[/sub]b[sub]2[/sub]b[sub]2[/sub] и набор суффиксов
[$923$],
b[sub]2[/sub],
b[sub]3[/sub],
b[sub]2[/sub]b[sub]3[/sub],
b[sub]3[/sub]b[sub]3[/sub]. Построим множество
S, содержащее все префиксы, являющиеся одновременно и суффиксами:
Для этого множества построим граф, вершины которого соответствуют элементам множества
S, а каждое ребро связывает пару вершин, являющихся префиксом и суффиксом одного и того же кодового слова. В данном случае таких слов будет четыре:
([$923$])b[sub]1[/sub]b[sub]2[/sub](b[sub]2[/sub]b[sub]3[/sub]),
(b[sub]2[/sub]b[sub]3[/sub])[$923$](b[sub]3[/sub]),
(b[sub]3[/sub])b[sub]1[/sub]b[sub]2[/sub]([$923$]) и
(b[sub]2[/sub])[$923$](b[sub]2[/sub]b[sub]3[/sub]).
При этом в графе имеется ориентированный замкнутый цикл, содержащий вершину
[$923$], которому соответствует кодовая последовательность
b[sub]1[/sub]b[sub]2[/sub]b[sub]2[/sub]b[sub]3[/sub]b[sub]3[/sub]b[sub]1[/sub]b[sub]2[/sub], декодируемая двумя способами:
(b[sub]1[/sub]b[sub]2[/sub])(b[sub]2[/sub]b[sub]3[/sub]b[sub]3[/sub])(b[sub]1[/sub]b[sub]2[/sub]) [$8594$] a[sub]1[/sub]a[sub]4[/sub]a[sub]1[/sub] и
(b[sub]1[/sub]b[sub]2[/sub])(b[sub]2[/sub]b[sub]3[/sub])(b[sub]3[/sub]b[sub]1[/sub]b[sub]2[/sub]) [$8594$] a[sub]5[/sub]a[sub]2[/sub]. Следовательно, данная схема кодирования не обладает свойством взаимной однозначности.