Hallo urgwq,
Du hast Recht!
K soll {k0,a,b} sein. Außerdem sind S und F auch Mengen, d.h. hier fehlen die geschweiften Klammern.
Es ist hier nicht notwendig, Zustand zu wechseln. Meiner Meinung nach steht dieser Zustandwechsel nur dafür, Ende von a und Anfang von b zu kennzeichnen, ist aber nicht unerlässlich.
Viele Grüße,
Runxi (Tutorin)