Changes

add categories
Line 1: Line 1:  
{{DISPLAYTITLE:Differential Analytic Turing Automata}}
 
{{DISPLAYTITLE:Differential Analytic Turing Automata}}
   
The task ahead 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 a better measure of motivation to name the thread after the envisioned end rather than the more homely starting place.
 
The task ahead 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 a better measure of motivation to name the thread after the envisioned end rather than the more homely starting place.
   Line 2,911: Line 2,910:  
# http://stderr.org/pipermail/inquiry/2004-June/001641.html
 
# http://stderr.org/pipermail/inquiry/2004-June/001641.html
 
# http://stderr.org/pipermail/inquiry/2004-June/001642.html
 
# http://stderr.org/pipermail/inquiry/2004-June/001642.html
 +
 +
[[Category:Automata Theory]]
 +
[[Category:Computation]]
 +
[[Category:Computational Complexity]]
 +
[[Category:Computer Science]]
 +
[[Category:Differential Logic]]
 +
[[Category:Formal Languages]]
 +
[[Category:Graph Theory]]
 +
[[Category:Logic]]
 +
[[Category:Logical Graphs]]
 +
[[Category:Mathematics]]
 +
[[Category:Programming Languages]]
 +
[[Category:Turing Machines]]
 +
[[Category:Visualization]]
12,080

edits