synteza abstrakcyjna automatu, wyrażenia regularne

0

Witam
Mam przeprowadzić syntezę abstrakcyjną automatu:
S_1 = z_2z_1z_1+z_2z_2 | y_1\<br> S_2 = z_1z_2z_1 + z_2z_2z_1 | y_2\<br> S_3 = \bar{S_1+S_2} | y_3

Narysowałem więc sobie coś takiego, aby określić "miejsca" w wyrażeniu regularnym (stany):
http://obrazki.elektroda.pl/9743645400_1452356415.jpg
Potem przepisałem wszystko do tabelki:
http://obrazki.elektroda.pl/3624145000_1452356416.jpg

Ale jak widać, nie potrafię przyporządkować konkretnym stanom odpowiednich wyjść. Czy ktoś by mi z tym pomógł?
Pozdr.

0

Zauważ , że każde słowo kończy się innym numerem stanu ( s = "słowo" + " słowo" ).
Spójrz do którego s należy odpowiedni numer stanu z tabeli i wtedy, jakie wyjście zwraca to s.
Jeżeli żadne słowo nie kończy się danym numerem, przyjmujemy że stan ten należy do s3 zgodnie z podanymi przez Ciebie wzorami.

0

Boże, jakie to banalne, rzeczywiście!
Dzięki wielkie za pomoc! :)
Pozdr.

1 użytkowników online, w tym zalogowanych: 0, gości: 1