[Home]Context-sensitive language

HomePage | Recent Changes | Preferences

Showing revision 4
A context-sensitive language is a formal language that can be defined by a context-sensitive grammar.

Computational properties

Computationally the context-sensitive lanugages are equivalent with linear bounded Turing machines where a linear bounded Turing machine is a Turing with a tape of only kn cells where n is the size of the input and k a constant associated with the machine. This means that every formal language that can be decided by such a machine is a context-sensitive language, and every context-sensitive language can be decided by such a machine.

See also: Chomsky hierarchy


HomePage | Recent Changes | Preferences
This page is read-only | View other revisions | View current revision
Edited August 26, 2001 11:41 pm by Jan Hidders (diff)
Search: