recursive language
recursive subset of the set of all possible finite sequences over the alphabet of the language
context-sensitive language
formal language that can be defined by a context-sensitive grammar (and equivalently by a noncontracting grammar). Context-sensitive is one of the four types of grammars in the Chomsky hierarchy