Мыслить – значит уметь предсказывать события. Почему такое возможно? Зная Х и зная F, можем заключить, что произойдет Y, т.е. используем: Y=F(X). Эту запись можно трактовать как переход из Х только в Y благодаря F.

Разберем конкретный пример. Из описания имеем перечень переходов:

 [('00', '01'), ('00', '00'), ('00', '11'), ('00', '10'), ('01', '01'), ('01', '00'), ('01', '01'), ('01', '00'), ('10', '10'), ('10', '11'), ('10', '00'), ('10', '01'), ('11', '10'), ('11', '11'), ('11', '10'), ('11', '11')].

Так, [('00', '01') читается как (“пения_нет_и_смеха_нет” переходит в “пения_нет_и_смех_есть”).

Первая попытка предсказания терпит крах по той простой причине, что имеется неоднозначность: ('00', '01'), ('00', '00'), ('00', '11'), [('00', '10'). Иначе говоря, из 00 следует 4 различных события: 01, 00, 11, 10.

Нужна же однозначность. Если неоднозначность 4, то можно предположить, что действуют 4 различных функций. Предположив это, сопоставим каждому бинарному отношению одну из 4 функций.

Пусть этими функциями будет список:

['00', '01', '10', '11', '00', '01', '10', '11', '00', '01', '10', '11', '00', '01', '10', '11'], где, например: 00 -  не_играем_на_органе_и_ не_сжигаем_ладан.

Имеем уже однозначность ((F, X), Y):

[(('00', '00'), '01'), (('01', '00'), '00'), (('10', '00'), '11'), (('11', '00'), '10'), (('00', '01'), '01'), (('01', '01'), '00'), (('10', '01'), '01'), (('11', '01'), '00'), (('00', '10'), '10'), (('01', '10'), '11'), (('10', '10'), '00'), (('11', '10'), '01'), (('00', '11'), '10'), (('01', '11'), '11'), (('10', '11'), '10'), (('11', '11'), '11')]

Так, [(('00', '00'), '01') читается как: благодаря (не_играем_на_органе_и_ не_сжигаем_ладан) будет иметь место переход (“пения_нет_и_смеха_нет” переходит в  “пения_нет_и_смех_есть”).

Решив проблему с неооднозначностью, можно уже делать предсказания. Так, решение проблеммы дома с приведениями следующее: path = [(None, '11'), ('00', '10'), ('10', '00')]. Что в формате y=f(x) означает: сначала 10 = 00(11), затем 00=10(10), т.е из 11 переходим в 10, а затем из 10 переходим в 00

Все это программируется:

path = ashby1.search_target('11', '00', path_x = ['11'], path_f = [None])

print('path =', path)

#path = [(None, '11'), ('00', '10'), ('10', '00')]