From professional translators, enterprises, web pages and freely available translation repositories.
a recursão na programação é bem exemplificada quando uma função é definida em termos de si mesma.
recursion in computer programming is exemplified when a function is defined in terms of simpler, often smaller versions of itself.
gold depois mostrou que recursão parcial limitante iria permitir a computação de precisamente formula_4 predicados.
gold further showed that limiting partial recursion would allow the computation of precisely the formula_4 predicates.
os conjuntos recursivamente enumeráveis, apesar de não decidíveis em geral, têm sido estudados em detalhes na teoria da recursão.
the recursively enumerable sets, although not decidable in general, have been studied in detail in recursion theory.
"recursão" e "replicação" são operações que permitem descrições finitas de comportamentos infinitos.
"recursion" and "replication" are operations that allow finite descriptions of infinite behaviour.
== recursão em ciência da computação ==um método comum de simplificação é dividir o problema em subproblemas do mesmo tipo.
==in computer science==a common method of simplification is to divide a problem into subproblems of the same type.
=== outras redutibilidades ===uma área contínua de pesquisa em teoria da recursão estuda relações de redutibilidade que não são redutibilidades de turing.
===other reducibilities===an ongoing area of research in recursion theory studies reducibility relations other than turing reducibility.
=== recursão transfinita ===indução transfinita pode ser usada não somente para fornecer coisas, mas também para defini-las.
=== transfinite recursion ===transfinite induction can be used not only to prove things, but also to define them.
== organizações profissionais ==a principal organização profissional para teoria da recursão é a association for symbolic logic, a qual mantém muitas conferências todo ano.
== professional organizations ==the main professional organization for recursion theory is the "association for symbolic logic", which holds several research conferences each year.