Одним из наиболее компактных способов описания правил «interaction nets» является эзотерический язык программирования, предложенный в статье 1989 года «Interaction nets» (Lafont) — см. стр. 104. Он основан на двух наблюдениях. Во-первых, левая часть любого правила всегда содержит лишь два агента, которые связаны своими главными портами. Во-вторых, правая часть каждого правила никогда не содержит редексов, из чего следует, что дополнительные порты обоих взаимодействующих агентов в общем случае являются корнями деревьев, листья которых связаны между собой произвольным образом. Поэтому описанию подлежат лишь сами деревья, а также связи между листьями.
В качестве примера возьмем первое правило для системы с агентами типов γ и δ. Сначала оттолкнемся от более простой избыточной нотации, не требующей дополнительных пояснений, в которой первый аргумент агента соответствует главному порту:
γ(x, y, z), δ(x, v, w) → δ(y, a, b), δ(z, c, d), γ(v, a, c), γ(w, b, d).
Воспользуемся первым наблюдением:
γ[y, z] >< δ[v, w] → δ(y, a, b), δ(z, c, d), γ(v, a, c), γ(w, b, d).
Теперь заметим, что каждый главный порт в правой части использует один из дополнительных портов в левой. Значит, мы можем без потери информации записать агенты правой части на местах соответствующих дополнительных портов левой:
γ[δ(a, b), δ(c, d)] >< δ[γ(a, c), γ(b, d)].
Два других правила системы записываются проще, так как соответствующие деревья с корнями на дополнительных портах левой части состоят каждое лишь из одного листа:
δ[x, y] >< δ[x, y], γ[x, y] >< γ[y, x].
В качестве примера возьмем первое правило для системы с агентами типов γ и δ. Сначала оттолкнемся от более простой избыточной нотации, не требующей дополнительных пояснений, в которой первый аргумент агента соответствует главному порту:
γ(x, y, z), δ(x, v, w) → δ(y, a, b), δ(z, c, d), γ(v, a, c), γ(w, b, d).
Воспользуемся первым наблюдением:
γ[y, z] >< δ[v, w] → δ(y, a, b), δ(z, c, d), γ(v, a, c), γ(w, b, d).
Теперь заметим, что каждый главный порт в правой части использует один из дополнительных портов в левой. Значит, мы можем без потери информации записать агенты правой части на местах соответствующих дополнительных портов левой:
γ[δ(a, b), δ(c, d)] >< δ[γ(a, c), γ(b, d)].
Два других правила системы записываются проще, так как соответствующие деревья с корнями на дополнительных портах левой части состоят каждое лишь из одного листа:
δ[x, y] >< δ[x, y], γ[x, y] >< γ[y, x].
