Ответ:

Чтобы код удовлетворял условию Фано, новое слово не должно быть началом другого кодового слова и не должно иметь началом ни одно из уже заданных слов.

  1. Слова длины 1 и 2 невозможны: все соответствующие узлы двоичного дерева являются началами имеющихся кодов.
  2. У всех восьми заданных четырёхзначных кодов разные трёхзначные начала: 010, 110, 001, 000, 011, 100 и 101; вместе с кодом 111 буквы А они занимают все возможные ветви на уровне длины 3. Поэтому свободного кода длины 3 нет.
  3. Наименьший численно четырёхзначный код, не совпадающий с заданными кодами, — 0000. Все имеющиеся слова имеют длину 3 или 4, поэтому код 0000 не является началом другого кода и сам не имеет началом ни одно из них.

Ответ: 0000.