Matematyka.pl

Mam stworzyć automat DAS: rozpoczyna się 0 i ma długość nieparzystą lub rozpoczyna się 1 i ma długość parzystą

Ja zrobiłem tak i nie jestem pewien czy oba są poprawnie czy może jeden czy może żaden:
1.
2.

Pierwszy zaakceptuje np. słowo \(\displaystyle{ 00}\), więc nie jest poprawny - wyjście ze stanu \(\displaystyle{ C}\) przy symbolu \(\displaystyle{ 0}\) powinno iść do stanu \(\displaystyle{ B}\) - tam już tylko patrzymy na parzystość/nieparzystość długości słowa wejściowego.
Drugi automat jest za to poprawny, uwzględnia to co napisałam

Dzięki