Die Überführungsfunktion ist doch ziemlich simpel abzulesen, der Keller bleibt unbenutzt, da steht also immer nur k0 drin; das Zeichen dass auf der Kante steht ist das, das du einliest und der Zustandswechsel ist auch selbstredend.
Nochmal ein Beispiel für die Kante von s0 nach s10:
(s0, lambda, k0)-->(s10, k0)
So gehst du für jede Kante im Graphen vor und dann hast dus.