Eine Spache $W\subseteq X^*$ heißt 2-lokal testbar, falls: 1. $W$ die Form $V\cdot X^*$ oder $X^*\cdot V$ oder $X^*\cdot V\cdot X^*$ mit $V\subseteq\{\varepsilon\}\cup X\cup X^2$ hat oder 2. es 2-lokal testbare Sprachen $W_1,W_2$ mit $W=W_1\cup W_2$ oder $W=X^*\setminus W_1$ gibt