DECIDABLE in Portuguese translation

• decidível
• decidíveis
• decididas
• decidiveis
• decidivel
• determinável

Examples of using Decidable in English and their translations into Portuguese

The following problems are decidable for arbitrary context-free languages:
Os seguintes problemas são decidíveis para quaisquer linguagens livres de contexto:

is not decidable, as a consequence of the negative answer to the Entscheidungsproblem.
não é determinável, como uma consequência da resposta negativa ao Entscheidungsproblem.

This gap was closed in 1978 by Vaughan Pratt who showed that PDL was decidable in deterministic exponential time.
Esta lacuna foi fechada em 1978 por Vaughan Pratt, que mostrou que PDL era decidível em tempo exponencial determinístico.

Quantifier elimination can also be used to show that"combining" decidable theories leads to new decidable theories.
Eliminação de quantificadores pode também ser usada para mostrar que"combinar" teorias decidíveis nos leva a novas teorias decidíveis.

Thus, it is a-priori not clear at all if the linkedness problem is decidable.
Deste modo, não estará claro a priori se o problema da ligação é decidível.

the class of problems decidable in a logarithmic amount of memory space.
a classe de problemas decidíveis em um espaço de memória logarítmico.

is decidable.
é decidível.

Some computational problems can be shown to be decidable by using the Law of Excluded Middle.
Alguns problemas computacionais podem ser demonstrados para ser decidíveis usando a lei do terceiro excluído.

In general, the question whether sentences in first-order logic are satisfiable is not decidable.
Em geral, a questão de saber se sentenças em lógica de primeira ordem são satisfeitas não é decidível.

The field of computational complexity categorizes decidable decision problems by how difficult they are to solve.
O campo de complexidade computacional classifica problemas de decisão decidíveis pelo grau de dificuldade em resolvê-los.

complete, and decidable.
completa e decidível.

logic===Many Description Logic models(DLs) are decidable fragments of first order logic FOL.
são fragmentos decidíveis da lógica de primeira ordem(FOL).e geralmente são fragmentos da lógica de duas variáveis.

in addition to languages not decidable by a push-down automaton,
em complemento às linguagens não decidíveis pelo autômato com pilha,

Whether a particular theory is decidable or not depends whether the theory is variable-free
Uma teoria particular é decidida ou não depende se a teoria é livre de variável

This subset of higher-order unification is decidable and solvable unification problems have most-general unifiers.
Esse subconjunto de unificação de alta ordem é decide e resolve problemas de unificação que possuem os unificadores mais gerais.

It is from this notion of values that Perelman 1980 seems to situate the judge in his decidable role.
É a partir dessa noção de valores que Perelman 2005 parece situar o juiz em seu papel de decidir.

independently demonstrated that the Entscheidungsproblem is not effectively decidable.
demonstraram independentemente que o problema de Entscheidung não é decidido efetivamente.

In 1930, he proved this theory decidable because it can be mapped into another theory he had already proved decidable, namely his first-order theory of the real numbers.
Em 1930 provou que a sua teoria era decidível porque pôde fazer uma correspondência com outra teoria que já tinha provado ser decidível teoria de primeira ordem dos números reais.

We say that s is decidable if both s and its complement-s are recursively enumerable.
Nós dizemos s é dicidível se tanto s e seu complemento-s são recursivamente enumeráveis.

The word decidable stems from the German word Entscheidungsproblem which was used in the original papers of Turing and others.
A palavra decidibilidade nasce da palavra alemã Entscheidungsproblem que foi usada nos artigos originais de Turing e outros.