primitive recursive functions

[prɪˈmɪtɪv rɪˈkɜːrsɪv ˈfʌŋkʃənz]
noun
funções recursivas primitivas
1. A class of mathematical functions computable by algorithms that use only basic operations (zero, successor, and projection) and composition and primitive recursion, excluding unbounded search
Addition and multiplication are examples of primitive recursive functions.
Adição e multiplicação são exemplos de funções recursivas primitivas.
2. Functions that can be defined through a finite sequence of steps without requiring general recursion or iteration with unknown termination
The Ackermann function is not primitive recursive because it requires a more powerful form of recursion.
A função de Ackermann não é recursiva primitiva porque requer uma forma mais poderosa de recursão.
3. A subset of total computable functions that are guaranteed to terminate in finite time
All primitive recursive functions are total functions that always produce an output.
Todas as funções recursivas primitivas são funções totais que sempre produzem uma saída.
This is a specialized term from mathematical logic and theoretical computer science with no cultural variation. It is used identically in academic settings across Brazil, Portugal, and English-speaking countries. The concept is central to understanding computational limits and the Church-Turing thesis in computer science curricula.
Synonyms / Sinônimos
PR functionsprimitive recursionprimitivally recursive functions
Antonyms / Antônimos
non-computable functionsgeneral recursive functionspartial recursive functions

Regional Variations

General Brazilian Portuguese
funções recursivas primitivas
Standard technical term used in computer science and mathematics education
Portugal
funções recursivas primitivas
Identical to Brazilian Portuguese; technical terminology is standardized across Portuguese-speaking regions
Academic English
primitive recursive functions
Used primarily in mathematical logic, computability theory, and theoretical computer science courses

Related Words

recursioncomputability theoryAckermann functiondecidabilitytotal computable functionmu operatorlambda calculus
Look up more words on Fala2Me
The free English-Portuguese dictionary with real Brazilian accents, NYC slang, conjugator and more
Open Fala2Me →