decidable


Also found in: Dictionary, Thesaurus, Legal, Idioms, Wikipedia.
Related to decidable: Decidable problem

decidable

References in periodicals archive ?
1) the word problem for [kappa]-terms over V is decidable,
The most fundamental questions about this theory are whether or not it is decidable and whether or not it is finitely axiomatizable.
Stasis theory, derived from Hemogenes and extended through Aristotle, aims to resolve the moment of crisis, to render the undecidable decidable, by isolating a specific point of similarity between the sides in terms of argumentative strategy.
Richards calls Forster's "special preoccupation, almost obsession, with the continuance of life," his "half-mystical and inevitably vague survival theme" (1966, 18), emerges in the form of a kind of Symposium--esque dialogue, of a debate not yet decided and far from easily or straightforwardly decidable on the side of survival.
Authorizing does not mean authenticating, obviously: the issue of which version of the various lives is the truthful one remains un- decidable.
between the rules of the game and the moves made according to those rules); for Carnapians, the key distinction is between the pragmatic and conventional criteria which define a framework and the things which then become say able or decidable within that framework; etc.
These negative results for TA spurred a quest for study of expressive but still fully decidable formalisms.
The current MISRA C:2012 adds support for C99, increases the number of decidable rules to allow better tool enforcement, includes detailed rationale for all rules, and offers guidance for automatically generated code.
with logical indeterminate sentences, multiply decidable or undecided, pure and simple.
Standard reasoning in OWL-Lite and OWL-DL is decidable, which is a desirable feature at least for inference application developers.
instructs us that a text is not a sequence of words, of syntactic forms enunciating, communicating any single decidable meaning (or even constellation of meanings), [its] repudiation of meaningfulness is put in unmistakable terms.
Since one is limited to assertions that are decidable at compile time, this idea could be characterized as a different implementation of static analysis; as such, it has limitations similar to static analysis using external tools.