$L=\{k\in(M,b)^*|\exists J \in Pot(M)\text{, so dass gilt: } \Sigma_{j \in J}|j|=b \}$\\
\\
Ein Tupel $(M',b')$ kann mit ${0,1,\#}$ ausgedrueckt werden, wobei eine $\#$ Elemente der Menge voneinander trennt und $\#\#$ die Menge vom $b$ trennt. $"\#\#b"$ repraesentiert $(\emptyset,b)$. Alle Elemente und b sind per Definition Zahlen und koennen deshalb binaer (mit $O$ und $1$) ausgedrueckt werden.