computable algorithm

[/kəmˈpjuːtəbəl ˈælɡərɪðəm/]
nounpl: computable algorithms
algoritmo computável
1. An algorithm that can be executed by a Turing machine or any equivalent computational model, producing a result in finite time
A computable algorithm must terminate and produce an output for any valid input
Um algoritmo computável deve terminar e produzir uma saída para qualquer entrada válida
2. In computability theory, a procedure that is effectively calculable and can be implemented on a digital computer
The sorting algorithm is a computable algorithm that arranges elements in order
O algoritmo de ordenação é um algoritmo computável que organiza elementos em ordem
3. A step-by-step procedure whose computational feasibility can be verified through formal mathematical means
Not all mathematical functions have a computable algorithm; some are undecidable
Nem todas as funções matemáticas possuem um algoritmo computável; algumas são indecidíveis
This is primarily academic and technical terminology used in computer science, mathematics, and theoretical computing. It is culturally neutral and standardized across English and Portuguese-speaking academic communities. The concept is fundamental to understanding computational limits and is commonly taught in algorithms and theory of computation courses worldwide.
Synonyms / Sinônimos
effective procedurerecursive algorithmdecidable algorithmconstructive algorithm
Antonyms / Antônimos
non-computable functionundecidable problemuncomputable algorithm

Regional Variations

General Brazilian Portuguese
algoritmo computável
Standard technical term used in computer science education and research
Portugal
algoritmo computável
Same usage as Brazil; technical computing terminology is standardized across Portuguese-speaking regions
USA English
computable algorithm
Primary term used in academic computer science and theory of computation courses

Related Words

Turing machinecomputability theoryalgorithm complexitycomputational complexityChurch-Turing thesisdecidability

Related Idioms & Phrases

effectively computable
Turing-computable
in the Turing sense
Look up more words on Fala2Me
The free English-Portuguese dictionary with real Brazilian accents, NYC slang, conjugator and more
Open Fala2Me →