[Automaty] DAS o (nie)parzystej długości gdy 0/1

GarryMoveOut · Post autor: **GarryMoveOut** » 11 sty 2014, o 13:38

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.

Kod: Zaznacz cały

https://imageshack.com/i/0s4fklj

2.

Kod: Zaznacz cały

https://imageshack.com/i/09v4k1j

ravgirl · Post autor: **ravgirl** » 11 sty 2014, o 15:07

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

GarryMoveOut · Post autor: **GarryMoveOut** » 11 sty 2014, o 15:23

Dzięki