Wenn ich es richtig sehe, müsste es heißen:
$$\alpha = 0^\star01(1 + 00^\star 01 + 01)^\star$$
Sonst können Sie das Wort
$$0101$$
bilden, dass nicht in der Sprache des Automaten ist.
EDIT: Stimmt natürlich nicht, es ist doch in der Sprache... Ich denke, Ihr Vorschlag ist korrekt - aber dann brauchen Sie den Term 01 auch nicht mehr in der Klammer, da er auch mit abgedeckt ist.
Also so:
$$\alpha = 0^\star01(1 + 0^\star 01)^\star$$