A recursive language in mathematics, logic and computer science is a type of formal language which is also called decidable or Turingdecidable. The class of all recursive languages is often called R, although this name is also used for the class RP.
This type of language was not defined in the Chomsky hierarchy of (Chomsky 1959).
Contents
Definitions
There are two equivalent major definitions for the concept of a recursive language:
By the second definition, any decision problem can be shown to be decidable by exhibiting an algorithm for it that terminates on all inputs. An undecidable problem is a problem that is not decidable.
All recursive languages are also recursively enumerable. All regular, contextfree and contextsensitive languages are recursive.
Closure properties
Recursive languages are closed under the following operations. That is, if L and P are two recursive languages, then the following languages are recursive as well:
 the Kleene star L ^{*}
 the image φ(L) under a efree homomorphism φ
 the concatenation
 the union
 the intersection
 the complement of L
 the set difference L − P
The last property follows from the fact that the set difference can be expressed in terms of intersection and complement.
References
Full article ▸
