Бывший. 1: В определенном преобразователе, который имеет 100 состояний, параметры могут принимать 108

комбинации значений; всегда ли его вывод можно декодировать? (Подсказка: попробуйте простые

примеры, в которых количество преобразований превышает количество состояний.)

Бывший. 2: (Чтобы подчеркнуть различие между двумя преобразованиями.) Если транс-

вход ducer имеет 5 состояний, его выход 7, а сообщение состоит из некоторых

последовательность из 12, (i) сколько операндов имеет преобразование преобразователя,

и (ii) сколько имеет преобразование кодирования U?

Бывший. 3: Если машина работает непрерывно, что означает «наблюдение за переходом»?

с точки зрения реальных приборов?

*Бывший. 4: Если преобразователь имеет преобразование dx / dt = ax, где a - вход,

всегда ли его вывод можно декодировать? (Подсказка: решите для a.)

Проектирование инвертора. В предыдущем разделе показано, что про-

При условии, что преобразователь не потерял различий в передаче от

Ввод к выводу, закодированное сообщение, данное как вывод, всегда может

Быть декодированным. В этом разделе мы покажем, что тот же процесс

Может быть выполнено автоматически, т. е. при наличии машины, которая не теряет

Различия, всегда можно построить другую машину, которая,

Получение первого вывода в качестве ввода выдаст исходное сообщение

Как собственный выход.

Сейчас мы придерживаемся совершенно иной точки зрения, чем

Из предыдущего раздела. Там нас интересовала возможность

Декодируемого сообщения и в том, может ли декодирование быть

Сделано или нет - неважно кем. Теперь мы переходим к

Вопрос о том, как мы можем построить механизм, чтобы

Механизм должен делать декодирование автоматически. Мы ищем, а не

Восстановлено сообщение но автомат. Как его построить? Что мы

require для его спецификации, конечно же, является обычным набором преобразований.

Связи (S.4 / 1).

Возможный метод, который будет использоваться здесь, - это просто преобразовать

Процесс, который мы следовали в предыдущем разделе в механистическом

Форме, используя тот факт, что каждый переход дает информацию о

Значение параметра, при котором это произошло. Мы хотим

Машина, поэтому, которая будет принимать переход в качестве входных данных и давать

Исходное значение параметра в качестве вывода. Теперь, чтобы узнать, какие транс-

произошло изменение, т.е. каковы значения i и j в «Xi -> Xj»,

Явно эквивалентно знанию значения вектора

(i, j); для перехода также можно рассматривать как вектор, имеющий два

Составные части. Таким образом, мы можем подавать переходы в инвертор.

Если инвертор имеет вход двух параметров, один принимает значение

Более раннего состояния, а другой принимает значение более позднего.

Остается только одна трудность: в переходе участвуют два состояния.

Которые не существуют в один и тот же момент времени, поэтому один из

Входы инвертора теперь должны вести себя в соответствии с тем, что

Выход ducer был. Однако простое устройство справится с этим.

Трудность. Рассмотрим преобразователь

↓

q

р

s

qqq

ррр

S sss

Предположим, он запущен в состоянии r и ему задан вход QSSRQSR

RQ; его вывод будет rqssrqsrrq, т.е. после первой буквы это

Просто повторяет ввод, но на один шаг позже. Два таких преобразователя в

147

Q

р

146

ANINTROD UC TIONTOCYBER NE TICS

Т РА Н СМИССИ ОНОФ ВА Р И Е ТЫ

Series повторит сообщение через два шага и так далее. Четко

Получить задержку в принципе не составляет труда.

Предположим, что первый преобразователь, кодировщик, это:

↓

А

B

CD

QDADB

RBBBC

САКАД

Нам нужна машина, которая, например,

данный вход A, A будет излучать S

,,,, A, B,,,, R

,,,, A, D,,,, Q

,,,, B, A,,,, Q

и т.п.

(Вход A, C на самом деле никогда не придет к нему, так как переход

Не может быть получен из кодировщика.)

Эти три машины связаны таким образом:

→ Кодер → Дилэйер

↓

Инвертор →

Задержка имеет простой вид:

↓

Теперь инвертор будет выдавать ту же последовательность, что и в