Automat skończenie stanowy

0

Witam, mam problem z rozwaleniem zadania z załącznika. Szczególnie nie wiem jak zabrać się za narysowanie automatu, bo z tego co rozumiem stan początkowy zapętla się dla "a" lub "b" i jednocześnie "a" jest przejściem do kolejnego stanu? Raczej źle to rozumiem i proszę o rozjaśnienie ;)

0

Gramatyka:

S->AaA
A->eps | BbA
B -> eps | aB

nieterminal B generuje nam wszystkie potencjalne ciągi terminali 'a' o długości 1 do nieskończoność
nieterminal B generuje nam (a+b)* bo generuje epsilon lub (a+b)+

edit: czy ten automat musi być deterministyczny? Bo to jest tutaj główny problem ;) Jesli nie musi to oczywiście sprawa jest banalna i wystarczy żywcem narysować to wyrażenie regularne. Jeśli musi być deterministyczny to musisz dokonać determinizacji tego niedeterministycznego.

0

Powinien być deterministyczny

0

A mógłbyś przy okazji pokazać jak wyglądałby niedeterministyczny?

0

A patrzyłes w link który podałem? I dlaczego nie? Masz tam pokazane jak budować taki automat...

edit: http://i.imgur.com/pf8IS5J.png tu masz deterministyczny
czerwony to stan początkowy a czarny to stan końcowy

0

Patrzyłem w link, tylko chciałem porównać rozwiązania. Ostatecznie już sobie poradziłem z zadankiem także dzięki ;)

0

Antykwa Półtawskiego jest niezbitym dowodem, że prowadzący ma fijoła na punkcie typografii. Tak że uważaj jak formatujesz sprawozdania ;-)

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