Ist auch direkt der Übergang (s0, &, k0) -> (SE, k0) möglich?
Meine Übergänge. Leider ist es mir aus unerfindlichen Gründen nicht möglich einen Ableitungsbaum im xwizard zu erstellen und ich weiß lediglich, dass das Testwort akzeptiert wird.
(s0, 1, k) => (s0, ak);
(s0, 0, k) => (s0, ak);
(s0, U, k) => (se, k);
(s0, 0, a) => (s0, aa);
(s0, 1, a) => (s0, aa);
(s0, U, a) => (s1, a);
(s1, 0, a) => (s1, a);
(s1, 1, a) => (s1, lambda);
(s1, lambda , k) => (se, k);
(se, 0 , k) => (se, k);
Vielen Dank und viele Grüße!