Ich denke, dann stimmt er im Wesentlichen. Du solltest in der Klausur aber statt
(s0,0, k0) -> (s1,0) lieber (s0,0, k0) -> (s1,0k0) sowie statt
(s0,1, k0) -> (s2,1) lieber (s0,1, k0) -> (s2,1k0) schrieben.
(Das k0 kann nicht überschrieben werden!)
Tobias (Tutor)