Theoretische Info. Linksquotient

Andreas XXL

Hallo,

ich habe diese Sprachen gegeben:

k k
L={a}({b a  | k>o})*

     k 2k
M=({a b  | k>0})*

                 -1
Jetzt soll ich  L  M geschnitten mit {b}* angeben:

                                      -1
Ich habe schon herrausgefunden, dass L   M der Linksquotient ist, und so definiert wird:

-1
L M = { y | Es gibt ein x Element L mit xy Element M}

Wie bestimme ich jetzt konkret den Linksquotient bei den Sprachen M und L ?
(Das Schniden mit {b}* bekomme ich bestimmt selbst hin)