Как и в S. 4 / 1, и он исследует то, что он получает, чтобы убедиться, что они

Однозначный.

Таким образом, если данный протокол протестирован, и если каждый из 16

Transforms записывается, результаты:

↓

α

β

ж

Fff

Ххх

Грамм

j

.

Час

Jjj

Чч

j

Ff

Ff

Один из способов - изменить набор входов и выходов, чтобы получить больше

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

Alent to a new Box, S.3 / 11) является определяющим. Таким образом, химик может

Обнаруживают, что поведение системы сначала не является определяющим, но что

Когда учитывается наличие следов хлорида

Становится определяющим. Большая часть исследований состоит из таких

Ищет подходящий набор переменных.

Второй способ - отказаться от попыток найти строгое определение.

И искать статистическую определенность, т. е. определенность в

Средние значения и т. д. Экспериментатор, имея обширные записи,

Затем изучает их в длинных разделах, чтобы увидеть, соответствуют ли детали

Непредсказуемо от шага к шагу, средние (или аналогичные статистические данные)

Тики) предсказуемы от раздела к разделу. Он может обнаружить, что

Записи показывают статистическую детерминированность цепи Маркова;

(но обсуждение этого будет оставлено в главе 9, так как до тех пор мы

Должны иметь дело только с машинами, которые определены из

Шаг за шагом).

Подводя итог: как только протокол был получен, система

детерминированность темпа может быть проверена, и (если она определена)

Каноническое представление можно вывести.

Бывший. 1: вывести кинематический график для ввода при α непосредственно из протокола

система S.6 / 3.

Бывший. 2: (Продолжение.) И для ввода в f.

Бывший. 3: Система только с одним входным состоянием дала следующую последовательность состояний

как выход:

DGAHCLHCLHCFC…

Это абсолютно?

Бывший. 4: Система имеет две переменные, x и y, каждая из которых может принимать значения 0,

1 или 2. Вход может принимать два значения, α или β. В протоколе говорилось:

Время:

Вход:

Икс:

Y:

Время:

Вход:

Икс:

Y:

1 2 3 4 5

α α α α α

1 0 0 0 0

1 0 1 0 1

6 7 8 9 10 11 12 13

β α α α α α α α

0 1 2 2 1 0 0 0

0 2 1 0 1 0 1 0

(Переход от g при вводе β не наблюдался.) Внутри каждого

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

↓ fghj

α fjjf

β ч. hf

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

ценное преобразование не наблюдалось.

Таким образом, путем прямого перекодирования протокола экспериментатор может

Продемонстрировать, что поведение похоже на машину, и он может

Вывести его каноническое представление.

Следует отметить, что он вывел это из непосредственного наблюдения.

Фактическое поведение Коробки. Он не полагался ни на какие «бор-

Гребли»знания. Чего бы он ни ожидал, и

Независимо от уверенности в его ожиданиях, окончательный вывод

Ция зависит только от того, что произошло на самом деле. Таким образом, в любом контексте

Конфликт между тем, что он или другие ожидали, и тем, что было найдено,

Эти эмпирические результаты являются окончательными как утверждение природы Бокса.

Если система не является детерминированной, т. Е. Преобразование

Не однозначный, он может действовать двумя способами.

90

14 15 16 17 18 19 20 21 22 23 24 25

β α α β β β α β β β α β

0 0 1 0 1 1 1 1 1 2 2 1

1 2 1 0 2 1 0 1 0 0 2 1

Это машина с вводом?

Бывший. 5: (Продолжение.) Каково его преобразование, если вход удерживается на α?

Бывший. 6. Если машина имеет m состояний ввода и n состояний вывода, то какое наименьшее

количество шагов наблюдения, достаточное для его полного изучения?

91

ANINTROD UC TIONTOCYBER NE TICS

TH E BL AC KBOX

Бывший. 7: Два черных ящика имеют идентичный внешний вид, и каждый из них имеет недостаток.

gle input α и single output x, каждый из которых является числовой переменной. Они были

помечены I и II, и их канонические представления оказались

I: х '= х + 1— α

II: x '= (1 + α) x - 2 + α.

К сожалению, ярлыки «I» и «II» с тех пор отделились, и это

Теперь не известно, что есть что. Предложите простой тест, который повторно определит

Их.

6/6. Недоступные состояния. Рассмотрение преобразований

↓

ж

Грамм

Час

j

fjjf

hfhf

Показывает, что состояние g, однажды прошедшее в протоколе, не может быть выполнено