Context-Sensitive Language and LBAs

We first introduce the notion of LBAs and then show the equivalence of CSLs and LBAs.