avatar

classifying computational frameworks

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.
CC_ -1 License 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.