Graf do automatu skończonego deterministycznego

Witam,
Mam problem z narysowaniem grafu dla automatu skończonego deterministycznego, który ma akceptować język:

**L1 (c+ε)(aba)<sup>+</sup>(bb)<sup>*</sup>c<sup>+</sup>**

Może mi ktoś pomóc?

Coś takiego?
http://i.imgur.com/MDwbL.png

Ja jak to robiłem to mi wyszło podobnie zobacz.

@Metatron, spójrz jak Shalom rozwiązał (bb)*, skopiuj to do siebie i będzie chyba najoptymalniej.

OK dzięki za pomoc :) ale jak ktoś coś własnego wymyśli niech napisze.

@Shalom:
Z tego co widzę, to twój automat akceptuje 1+ literek c na początku, a ma akceptować 0 lub 1.

@Wibowit A to czemu? Jest tam c+ε czyli po prostu c+. Tam nie ma nigdzie |

O ile dobrze pamiętam to notacja c+ε oznacza po prostu c|ε. Zwróc uwagę na to, że plus jest w tym wyrażeniu normalny, a reszta plusów jest indeksach górnych.
No chyba, że autor się walnął.

@Shalom Twój łapie na końcu tylko jedną literkę c, poza tym chyba zaakceptuje też inne słowa (brakuje przejścia do błędu ze stanu końcowego dla dowolnego znaku różnego od c).

@Afish aj bo zjadłem kręcenie się na C w ostatnim stanie, ale to oczywiste ;)
Poza tym automat nie miał być zupełny więc stany błędne wcale nie są konieczne.