here is a classification of four large computational frameworks, according to four criteria:
framework | D | M | S | A |
---|---|---|---|---|
lisp/λ-calculus/SKI calculus | N | Y | Y | Y |
turing machines | N | N | Y | N |
graph rewriting, like wolfram's | Y | N | N | Y |
cellular automata | Y | N | Y | N |
RSS feed available here; new posts are also linked on my twitter.
Unless otherwise specified on individual pages, all posts on this website are licensed under the CC_-1 license.
This site lives at https://carado.moe
and /ipns/k51qzi5uqu5di8qtoflxvwoza3hm88f5osoogsv4ulmhurge2etp9d37gb6qe9
.