decision problem

(redirected from Undecidable language)

decision problem

(theory)
A problem with a yes/no answer. Determining whether some potential solution to a question is actually a solution or not. E.g. "Is 43669" a prime number?". This is in contrast to a "search problem" which must find a solution from scratch, e.g. "What is the millionth prime number?".

See decidability.
References in periodicals archive ?
This causes TA to have an undecidable language inclusion problem Alur & Dill (1994).
Bold indicates stretch in English Plain indicates stretch in Spanish Italics indicates stretch in Catalan Underlined indicates undecidable language +^ latched utterance # pause xxx unintelligible material ## longer pause (>1 sec) #figure length of pause (min 1 sec) [=!