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.
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
Mentioned in ?
References in periodicals archive ?
This causes TA to have an undecidable language inclusion problem Alur & Dill (1994).
Modelamiento y especificacion de sistemas distribuidos y temporizados
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) [=!
Managing understanding in intercultural talk: an empirical approach to miscommunication (1)

Encyclopedia browser ?
Full browser ?