Definir um automato finito que aceite a linguagem definida pela expressão regular

Acho que esse abaixo funciona (desenha e vê se tá certo... Acho que tem formas mais simples, mas...)

Estado inicial: q0,

Estado final: q4,

Alfabeto: a, b, c

Estados: q0, q1, q2, q3, q4, q5

Transições:

<q0, a, q1>

<q0, b, q2>

<q0, ε, q3>

<q1, ε, q0>

<q3, ε, q0>

<q2, a, q5>

<q5, ε, q0>

<q5, c, q3>

<q1, c, q3>

<q3, a, q4>

<q4, b, q4>