Albo ja nie rozumiem treści, albo te twoje "rozwiązania" nijak sie mają do zadań.
- Automat który dostałeś akceptuje wszystko postaci
(a|b)*
więc wystarczyłby tam jeden stan akceptujący S
i przejscie przez a
oraz przez b
wracają do niego samego. Ty tam jakieś cuda na kiju namalowałeś. Jakieś dwa stany początkowe S, jakieś przejście przez b
które trafia do jakiegoś stanu który nie akceptuje i nie da się z niego wyjść. Co sie tam dzieje? :D
- A może podasz łaskawie TREŚĆ zadania? o_O
- jw, nie wiadomo co ty w ogóle miałeś tu zrobić, ale ta MT to się w ogóle nie trzyma kupy :D Ona akceptuje tylko
baab
, o to chodziło?
Automat skończony który napisałeś niestety nie będzie poprawny, bo wg. Ciebie mamy stan S : S - > a > S oraz S: S - > b - > S, a na pierwszym zdjęciu wyraźnie widać, że automat musi mieć a + (czyli przynajmniej jedno a MUSI się pojawić). Dzisiaj posiedziałem na tym trochę i aby osiągnąć determinizm, należy zrobić:
ze stanu S wychodzi b do stanu pustego, czyli tzw. "dead state"
Liczyłem na pomoc od osób, które mają wiedzę w danym temacie (po pierwszej wypowiedzi wyraziłeś arogancję nie wiedząc nawet na czym polega stosowanie twierdzenia Kleenego i są tam po kolei wstawione operacje za pomocą rysunku graficznego)
Temat można zamknąć...