avatar

posted on 2021-06-25

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

posted on 2021-06-25

CC_ -1 License unless otherwise specified on individual pages, all posts on this website are licensed under the CC_-1 license.
unless explicitely mentioned, all content on this site was created by me; not by others nor AI.