MyWikiBiz, Author Your Legacy — Tuesday November 19, 2024
Jump to navigationJump to search
373 bytes added
, 03:42, 7 July 2013
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]] |