|
Also known as: Recursive language
Definition: A formal language for which the following problem is decidable: "Given string X, does X belong in the language?"
Involved in: Nothing yet
related field(s)- theory of computation
potential real-world examples-
Search Encyclopedia
|
Featured Article
|