Also known as:
Recursive language
Definition:
A
formal language for which the following problem is
decidable: "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
?