Grafy automatów

[Niewpisze]

Mam problem z takim zadaniem:

Podać graf przejść automatu akceptującego następujący zbiór:

A) Słów nad alfabetem {0, 1}, w których każde dwa symbole 0 są odseparowane ciągiem
jedynek o długości 4i, i > 0,
B) słów nad alfabetem {0, 1}. w których występują oba podciągi 00 i 11 albo żaden z nich.


Ma ktoś pomysł jak narysować taki graf?

[szatkus]

Postaram się to słownie opisać.
A) w q0 w przypadku 1 robi pętelkę, przypadku 0 przechodzi do takiego jakby licznika składającego się z czterech stanów, jeśli gdzieś tam natrafi na 0 to przechodzi do "śmietnika", w ostatnim stanie jeśli napotka 0 to wraca na początek "licznika", jeśli 1 to do drugiego stanu tego "licznika".
B)
Ponazywam trochę intuicyjnie stany.
początek: '1' -> 1, '0' -> 0
1: '1' -> 11, '0' -> początek
0: '1' -> początek, '0' -> 00

Potem od stanów 00 i 11 musisz poprowadzić kolejne w podobny sposób.

[Niewpisze]

W A chodzi o takie coś?

\(\displaystyle{ \begin{picture}(40.00,30.00)%DODAWAĆ 16
\linethickness{0.4pt}
\put(3.50,10.00){\vector(1,0){3.00}}
\put(10.00,10.00){\circle{7.00}}
%\put(10.00,10.00){\circle{8.00}}
\put(10.00,10.00){\makebox(0,0)[cc]{$q_{0}$}}

\put(10.00,6.00){\oval(4.67,8.00)}%pętelka
\put(7.80,5.50){\vector(0,1){1.00}}
\put(8.00,0.50){\makebox(0,0)[cc]{$1$}}% a nad pętelką

\put(28.40,6.00){\oval(30.00,8.00)}%pętelka
\put(43.30,5.50){\vector(0,1){1.00}}
\put(30.00,0.50){\makebox(0,0)[cc]{$1$}}% a nad pętelką

\put(13.50,10.00){\vector(1,0){8.20}}
\put(16.67,12.00){\makebox(0,0)[cc]{$0$}}
\put(26.00,10.00){\circle{7.00}}
\put(26.00,10.00){\circle{8.00}}
\put(26.00,10.00){\makebox(0,0)[cc]{$q_{1}$}}
\put(29.50,10.00){\vector(1,0){8.20}}
\put(32.67,12.00){\makebox(0,0)[cc]{$1$}}
\put(42.00,10.00){\circle{7.00}}
\put(42.00,10.00){\makebox(0,0)[cc]{$q_{2}$}}
\put(45.50,10.00){\vector(1,0){8.20}}
\put(48.67,12.00){\makebox(0,0)[cc]{$1$}}
\put(58.00,10.00){\circle{7.00}}
\put(58.00,10.00){\makebox(0,0)[cc]{$q_{3}$}}

\put(58.50,13.50){\vector(0,1){8.20}}
\put(64.67,16.00){\makebox(0,0)[cc]{$1$}}
\put(58.00,25.50){\circle{7.00}}
\put(58.00,25.50){\makebox(0,0)[cc]{$q_{4}$}}

\put(53.50,25.50){\vector(-4,-1){39.00}}
\put(40.67,25.00){\makebox(0,0)[cc]{$1$}}
\end{picture}\\}\)

przykładu B nie jestem w stanie sobie wyobrazić. Mozesz jaśniej troche to objaśnić?