3 ms·
It would actually be more interesting if someone made a list of useful systems that cannot perform general computation. Some examples: (0) Parsers for context-
by catnaroek 9y ago
It would actually be more interesting if someone made a list of useful systems that cannot perform general computation. Some examples:
(0) Parsers for context-free grammars
(1) Relational algebra, and the subset of SQL that maps to it
(2) Hindley-Milner type inference