Changes

==Note 1==

==Note 1==

For the purposes of the NKS Forum my aim is to chart a course from general ideas about ''transformational equivalence classes of graphs'' to a notion of ''differential analytic turing automata'' (DATA).  It may be a while before we get within sight of that goal, but it will provide some measure of motivation to name the thread after the envisioned end rather than the more homely starting place.

My aim is to chart a course from general ideas about ''transformational equivalence classes of graphs'' to a notion of ''differential analytic turing automata'' (DATA).  It may be a while before we get within sight of that goal, but it will provide some measure of motivation to name the thread after the envisioned end rather than the more homely starting place.

The basic idea here is that you have a species of graphs and a set of transformation rules that take you from one graph to another — and back again, as I'm only thinking of equational rules — and this partitions the species of graphs into ''transformational equivalence classes'' (TECs).

The basic idea here is that you have a species of graphs and a set of transformation rules that take you from one graph to another — and back again, as I'm only thinking of equational rules — and this partitions the species of graphs into ''transformational equivalence classes'' (TECs).