decidable algorithm
[/dɪˈsaɪdəbəl ˈælɡərɪðəm/]
nounpl: decidable algorithms
algoritmo decidível
1. An algorithm that can determine whether a given input belongs to a specific set or satisfies a particular property in a finite amount of time, always producing a definitive yes or no answer
The problem of checking whether a number is prime has a decidable algorithm.
O problema de verificar se um número é primo possui um algoritmo decidível.
2. In computational theory, a procedure that terminates and correctly answers whether a decision problem has a solution
A decidable algorithm exists for context-free language membership testing.
Um algoritmo decidível existe para testar a pertença a linguagens livre de contexto.
This is a specialized term from theoretical computer science and mathematics, used predominantly in academic and professional technical contexts in both Brazil and Portugal. It has no significant cultural variations in usage, being a universal concept in computational theory across English and Portuguese-speaking academic communities.
Look up more words on Fala2Me
The free English-Portuguese dictionary with real Brazilian accents, NYC slang, conjugator and more
Open Fala2Me →