Context-sensitive languages

Context-sensitive grammars, linear bounded automata and space-bounded single-tape machines, and the equivalence between them.

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.