Универсальные системы взаимодействия - 11 Сентября 2015

Главная » » Универсальные системы взаимодействия

07:43 Универсальные системы взаимодействия
Известно, что система взаимодействия на основе комбинаторов {?, ?, ?} со следующими правилами универсальна в том смысле, что может симулировать любую другую систему взаимодействия:?[?(a, b), ?(c, d)] >< ?[?(a, c), ?(b, d)];?[x, y] >< ?[x, y], ?[x, y] >< ?[y, x];? >< ?[?, ?], ? >< ?[?, ?], ? >< ?.Чтобы показать универсальность произвольной системы, достаточно предоставить три сети внутри нее, которые бы заменяли комбинаторы {?, ?, ?}, сохраняя все возможные их взаимодействия.Рассмотрим другую систему взаимодействия с агентами типов {?, ?, ?, ?}, где ? бинарен, а ? и ? — унарны. При этом зафиксируем некоторые правила:?[a] >< ?[a, ?], ?[a] >< ?[?, a];? >< ?[?, ?], ? >< ?[?], ? >< ?[?].Задача: найти такие правила ? >< ?, ? >< ?, ? >< ? и ? >< ? и сети в {?, ?, ?, ?}, заменяющие ? и ?, чтобы система была универсальна.Симулировать аннигиляции ? >< ? и ? >< ? нетрудно: достаточно выбрать ?[?(a, b), ?(c, d)] >< ?[?(a, c), ?(b, d)] и положить ?(x, y) = ?(?(x), ?(y)) и ?(x, y) = ?(?(x), ?(y)). Однако с дублированием ? >< ? дело обстоит сложнее.Был бы признателен за помощь в решении данной задачи.
1 2 3 4 5 Просмотров: 513 \| Добавил: admin \| Рейтинг: 0.0/0