А были ли попытки формального описания этих систем? А то я попытался читать материалы в этой теме и уперся в непонятное мне “нравственное самосовершенствование” с минимумом технических банальностей.
Да даже в докомпьютерную эру тут было больше технарей: Матчасть диванного танкиста
P.S. Меня тут недавно пытали за множетства. И, знаете, да когда-то я, в очень свободных обозначениях, формализовал свою ГЛЮКВУ:
t(p1, p2) = (E)x: (p2 = p1.x) -- trace (p2 начинается с p1)
V = (n, e), n in (0..Z); -- value
L = C + {v} + {p}, v in V: (~E)vi#vj: n(vi) = n(vj); -- leaf, content, paths
N: (E)L: t(N,p(L)); -- node
V(N) = {+(k = 0->N) V(L): p(L) = k}; -- node's values (замещающее объединение)
E(N) = {v'}, v' = (n(v), macro(e(v), E(N) + C(L))), (E) p(L) = N; -- current node's values (рекурсия)
M(p, N1, N2) = if t(N1, p) then macro(p, N1, N2) else p; -- move
M'(p, N1, N2) = if t(N1, p) then macro(p, N1, N2) else 0; -- new
M(L, N1, N2) = C + {v} + {M(p(L), N1, N2)}; -- move node
M'(L, N1, N2) = C + {v} + {M'(p(L), N1, N2)}; -- new node
M+(L, N1, N2) = C + {v} + p(L) + {M'(p(L), N1, N2)}; -- copy node