Context-sensitive
Appearance
A Context Sensitive language is a language which can be described in following form
P -> Q
where the only contstraint being that |P| < |Q|
They have the following properties
They form a subset of recursive language.
I think that whether they are a proper subset is not know as yet.
It is also an open question whether they can be recognised by NPDA's. and 2-NPDA's