| a  |  b

--------------

q0 |    | q1

-------------

q1 | q2 |

-------------

q2 |    | q3

-------------

q3 | q4 | 

-------------

q4 | q3 | 

 

 

Stato iniziale: q0

Stati Finali: {q3}