Wie ist es mit folgender Lösung (habe diese vorher noch nicht gesehen):
$$F=\{se\}$$
$$(s_0, \lambda, k_0) \rightarrow (s_e,k_0) \\ (s_0, a, k_0) \rightarrow (s_1,a k_0) \\ (s_1, a, a) \rightarrow (s_2, \lambda) \\ (s_2, b, k_0) \rightarrow (s_0, k_0)$$
Vielen Dank