decidable

Also found in: Dictionary, Thesaurus, Legal, Idioms, Wikipedia.

decidable

This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)

Mentioned in ?

References in periodicals archive ?

The relation just mentioned is therefore decidable, so a grasp of it is a much less exacting achievement than a grasp of the concept of truth.

Anti-realism, truth-conditions and verificationism

For them, signification is governed by the dynamic of the unstoppable "play of the signifier" (hence the term ludic), the laws governing all cultural processes are basically "rhetorical" (as reunderstood by deconstruction), and no cultural element can be regarded as "self-identical" and thus none can become the reliable (or "decidable") basis for a political project.

The crisis of narrative in the postnarratological era: Paul Goodman's 'The Empire City' as (post)modern intervention

By barring the possibility of a stable contextual background that can "go without saying," self-referential paradoxes shatter the illusion that meaning is univocal and decidable. There is no 1:1 mapping between a syntactically well-formed formula and its meaning.

The message whose message it is that there is no message

Her vast research and persuasive insights advance her contention that "the definition of the grounds of human gender will always involve more, and less, than any clearly decidable bottom line.' "

Vested Interests: Cross-Dressing and Cultural Anxiety

And no amount of growth in performance will make undecidable problems decidable. Computational complexity may be one of the fundamental limits discussed in the previous argument.

The Singularity May Never Be Near

Description logics are a subset of first-order logic (FOL) and are well-suited to expressing terminology and instance information, with efficient and decidable inference characteristics.

An ontology-based transformation model for the digital forensics domain

that none of the former problems is decidable. In particular, the problems about blocking configurations and entropy are shown to be undecidable for the class of reversible Turing machines.

Some undecidable problems about the trace-subshift associated with a Turing machine

A problem is FPT with respect to parameters P, Q if it is decidable in time

Parameterized complexity of synchronization and road coloring

However, extended with the decidable theories and symbolic representation, our approaches can be applied on a more complex system like the hierarchical component system.

Compositional abstraction refinement for component-based systems

The results are the following: Convergence and divergence are decidable in PA[pi], Convergence and divergence are decidable in the fragment of POA[pi] where the replication operator is restricted to input processes and output processes.

Sobre la decidibilidad de dos fragmentos del [pi]-calculo asincronico

Formally [19], a decision problem A is considered to be decidable or effectively solvable if A is a recursive set.