Etymology

subrecursive

S1U1B3R1E1C3U1R1S1I1V4E1

Today it means: Able to be expressed in a language or by a set of operations that is a proper subset of the expressiveness of a Turing machine. Full definition →

Ask AI about its historyChatGPTClaudePerplexityGoogle AIGrok