Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
WolframInstitute`TuringMachine`InductiveProofs`
multiwayDistance  |
|
| | ||||
▪
lhs and rhs are tape terms; axioms is the list of equational axioms driving the rewriting.
▪
The two seeds are rewritten in all ways for steps generations, and the distance is measured in the resulting undirected multiway graph. It is if the two remain disconnected within that many steps.
Infinity
▪
A fourth option controls whether only well-formed configurations are kept (default ).
True
Examples
(1)
Basic Examples
(1)
One rewrite step separates a two-cell ones run from its -appended form:
s1
In[1]:=
 | multiwayDistance |
Out[1]=
1
 |
|
""