Proofs in Multiway Systems

string to find

3D graph

maximum seconds

maximum depth

graph:
initial string:
target string:
rule:	  

This Demonstration allows the generation of "proofs" in the first axiom system shown on page 778 of A New Kind of Science, going from the initial string used there to any other ending string. The proof graphs generated (when the ending string is found within the maximum search depth) show alternative ways to go from the initial string to the ending string through the application of the string rewriting rules.