ZADANIA AUTOMATY I JĘZYKI FORMALNE AUTOMATY SKOŃCZONE DAS Deterministyczny Automt Skończony Zdnie Niech M ędzie DAS tkim że funkcj przejści: Q F ) podj digrm stnów dl M ) które ze słów nleżą do język kceptownego przez M c) jki język kceptuje M Zdnie Dny jest DAS M o nstępującym digrmie: ) skonstruowć funkcję przejści dl M ) wykonć oliczeni dl łńcuchów: który z tych łńcuchów jest kceptowny przez utomt M. Zdnie Zudowć DAS (podć digrm i pełny opis utomtu w tym funkcję przejści) kceptujący : nstępujący język nd lfetem
* L x : y x y x y x y. Zdnie 4 Zudowć DAS (podć digrm i pełny opis utomtu w tym funkcję przejści) kceptujący nstępujący język nd lfetem : ) L x : kżdy symol w x jest ezpośrednio poprzedzony lokiem. ) L x : po kżdym symolu w x ezpośrednio nstępuje lok. Zdnie 5 Zudowć DAS (podć digrm i pełny opis utomtu w tym funkcję przejści) kceptujący nstępujący język nd lfetem : L x : w kżdym loku kolejnych symoli w x są co njmniej symole. NAS Niedeterministyczny Automt Skończony Zdnie Dny jest NAS o nstępującym digrmie stnów: Podj wszystkie elementy utomtu NAS : M Q Q F. Wypisz wszystkie oliczeni dl łńcuch. Przedstw te oliczeni w postci drzew. Czy łńcuch jest kceptowny przez ten utomt?
Zdnie Dny jest NAS o nstępującym digrmie: ) Podj wszystkie elementy utomtu NAS : M Q Q F i znjdź dowolne oliczenie kceptujące dl słow v =. ) Przeksztłć NAS w równowżny DAS: M Q Q F z pomocą konstrukcji potęgowej. Podj odpowiednią funkcję przejści i pozostłe elementy tego utomtu. Nrysuj digrm stnów i wykonj oliczenie dl słow v =. Zdnie Zudowć utomty NAS (podć digrm i pełny opis utomtu w tym funkcję przejści) kceptujące nstępujące języki nd lfetem : ) L x : kżdy symol w x jest ezpośrednio poprzedzony lokiem. ) L x : po kżdym symolu w x ezpośrednio nstępuje lok. Przeksztłć NAS w DAS z pomocą konstrukcji potęgowej. Dl utomtu DAS podj odpowiednią funkcję przejści i digrm stnów. Porównj otrzymne utomty DAS z utomtmi z zdni 4 dl DAS.
NAS Niedeterministyczny Automt Skończony z pustymi przejścimi Zdnie Dny jest digrm stnów utomtu z pustymi przejścimi NAS : ε c ) Podj wszystkie elementy utomtu NAS : M Q Q F i znjdź dowolne oliczenie kceptujące dl słow v = c. ) Przeksztłć NAS w równowżny NAS: M Q Q F konstruując odpowiednią funkcję przejści i podj pozostłe elementy tego utomtu. Nrysuj digrm stnów i znjdź dowolne oliczenie kceptujące dl słow v = c. M Q F z pomocą konstrukcji ) Przeksztłć NAS w równowżny DAS: potęgowej. Podj odpowiednią funkcję przejści i pozostłe elementy tego utomtu. Nrysuj digrm stnów i wykonj oliczenie dl słow v = c. Zdnie Dny jest NAS (podć digrm i funkcję przejści) kceptujący nstępujący język nd c d : lfetem * * * * L x : x c x d tzn. do język L nleżą słow skłdjące się z smych symoli d lu tkie w których njpierw występują symole (mogą nie występowć wcle) potem symole (mogą nie występowć wcle) n końcu symole c (mogą nie występowć wcle). M Q Q F : NAS : c d 5 F F 4 F 4 4 F 5 5
) Podj wszystkie elementy utomtu NAS : M Q Q F nrysuj digrm tego utomtu i sprwdź czy słow w=ccc w= cc w=dddd w4= ddd nleżą do język L ) Przeksztłć NAS w równowżny NAS: M Q Q F konstruując odpowiednią funkcję przejści i podj pozostłe elementy tego utomtu. Nrysuj digrm stnów i znjdź dowolne oliczenie kceptujące dl słow w i w ) Przeksztłć NAS w równowżny DAS: M Q F z pomocą konstrukcji potęgowej. Podj odpowiednią funkcję przejści i pozostłe elementy tego utomtu. Nrysuj digrm stnów i wykonj oliczenie dl słow w i w.