(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.