Also known as:
Recursive language
Definition:
A
formal language for which there exists an algorithm
? to solve the following
decision problem: Given
string X,
does X belongs in the language?
Generalizations:
Specializations:
None yet
Involved in:
Nothing yet
Relevant Wikipedia Articles:
the concept- decidable language
related field(s)- theory of computation
potential real-world examples-
/Discussion
?