Theorem 7.2.3: each context-sensitive language isan LBA language.
Theorem 7.3.1: the context-sensitive languages are closed under the regular language operations, union, concatenation, and Kleene closure.
Theorem 7.3.2: the context-sensitive languages are closed under intersection.
Definition 7.3.1: a DGSM M = (S, __________, s0) is _-free if _(s,_) ° _ for all s_S and ___.
Theorem 7.3.3: the context-sensitive languages are closed under _-free DGSM functions.
Previous slide | Next slide | Back to first slide | View graphic version |