Deterministic context sensetive languages

Deterministic context sensetive languages correspond to:

• Deterministic linear bounded automata (LBA)

Read more here:

• Resolution of The Linear-Bounded Automata Question

Closure properties

TODO

Decidability

TODO

Pumping lemma

TODO