Quotientensprache L_{1} / L_{2}:=\left{w \in \Sigma^{*} \mid \exists z \in L_{2} \text { mit } w \cdot z \in L_{1}\right}