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 ;)
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.
Powinien być deterministyczny
A mógłbyś przy okazji pokazać jak wyglądałby niedeterministyczny?
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
Patrzyłem w link, tylko chciałem porównać rozwiązania. Ostatecznie już sobie poradziłem z zadankiem także dzięki ;)
Antykwa Półtawskiego jest niezbitym dowodem, że prowadzący ma fijoła na punkcie typografii. Tak że uważaj jak formatujesz sprawozdania ;-)