ZBIÓR ZADAŃ do WYKŁADU prof. Tdeusz Krsińskiego JĘZYKI FORMALNE I AUTOMATY SKOŃCZONE rozdził 2. Automty skończone i języki regulrne Wyrżeni i języki regulrne Zdnie 2.1. Wypisz wszystkie słow nleżące do języków: L( 2 +Λ) L((+ 2 ) L(( 2 +Λ)( + L((+ (+ (+) Zdnie 2.2. Z ilu słów skłd się język opisny przez nstępujące wyrżeni regulrne: 426(1+...+9) (0+1+...+9) 6 (A+B+C+...+Z) 3 (0+1+...+9) 4 Jkie języki opisują te wyrżeni? Zdnie 2.3. Pokż, że słow A = 5 B = 57 C = 5 D = 8 4 2 nleżą do język L(( ). Opisz ten język. Zdnie 2.4. Określ zleżności między językmi generownymi przez wyrżeni: A = B = ( C = ( 2 ) D = 2 ( ) 4 Λ+ Zdnie 2.5.
Określ, który z poniższych języków opisuje język generowny przez wyrżenie regulrne ((+ : L ={ A Σ : w słowie A po kżdym symolu występuje co njmniej jeden symol lu słowo A jest słowem pustym lu słowo A skłd się z smych symoli } L ={ A Σ : w słowie A po kżdym symolu występuje nieprzyst ilość symoli lu słowo A jest słowem pustym lu słowo A skłd się z smych symoli } L c ={ A Σ : w słowie A n przystych pozycjch występuje symol lu A jest słowem pustym } L d ={ A Σ : słowo A jest przystej długości i w słowie A n przystych pozycjch występuje symol } Zdnie 2.6. Wyzncz języki generowne przez nstępujące wyrżeni regulrne A=(( 2 + )+ Λ) B=(+) C= D=( ) Zdnie 2.7. Niech Σ={,}. Uzsdnij, że nstępujące języki są regulrne. L = A Σ : A < 4 L = Zdnie 2.8. { } { A Σ : > 4} { A Σ : A zwier co njmniej 4 symole } { A Σ : A zwier co njwyżj 4 symole } L = A L = Określ, które słowo nleży do język L((+Λ)(++ (+Λ)) A= B= C= 3 2 5 D= 3 2 5 Opisz ten język Zdnie 2.9.
Znjdź wyrżeni regulrne opisujące języki nd lfetem Σ={,} L = L = { A Σ : przedrostkiem A jest lu podsowem A 4 jest } { A Σ : przedrostkiem A jest orz podsowem A 4 jest } L = { A Σ : po kżdym symolu występuje co njmniej jeden symol } L = { A Σ : przed kżdym symolem występują co njwyżej dw symole } Zdnie 2.10. Podj zleżności między językmi L(A) i L(A+Λ) L(A) i L(A Λ) L(A) i L(A+A) L(A) i L(A A) Zdnie 2.11. Zdj, czy są równowżne wyrżeni regulrne A=( 2 ) i B= ( 2 A=( + ) i B= ( + A=(+Λ) ( i B= (+Λ) ( A=(+Λ) (++ (+Λ) i B= (Λ++ 2 ) ( + 2 )
Deterministyczne utomty skończone Zdnie 2.12. Niech ędzie dny utomt M = ( Q,, s 0, F, δ ), gdzie Q={s 0,s 1,s 2,s 3 }, ={,}, F={s 2,s 3 } orz funkcj przejść δ dn z pomocą telki: Znjdź δ ˆ( s, A jeśli 0 ) A= A= A= 5 5 5 A= 5 5 5 s 0 s 0 s 1 s 1 s 2 s 3 s 2 s 2 s 3 s 3 s 1 s 0 Które z tych słów jest kceptowne przez utomt M? Zdnie 2.13. Nrysuj grf DAS M = ( Q,, s 0, F, δ ) = ({s 0,s 1,s 2 },{,}, s 0, F i, δ ), którego funkcj przejść δ dn jest z pomocą telki: s 0 s 1 s 2 s 1 s 1 s 1 s 2 s 1 s 0 Wyzncz język kceptowny przez powyższy utomt, gdy F={s 0 } F={s 1 } F={s 2 } F={s 0,s 2 } Zdnie 2.14. Ile możn zudowć deterministycznych utomtów skończonych o lfecie ={ 1,, k } i ziorze stnów Q={s 0,,s n }?
Zdnie 2.15. Opisz język kceptowny przez DAS określony z pomocą grfu,,,,,
Zdnie 2.16. Skonstruowć DAS kceptujący podny język nd lfetem ={,}: { A Σ : 2 < 4} { A Σ : A = 3n, n N } L = A L = 0 L={ A Σ : w A występuje podsłowo 3 lu } L={ A Σ : przed kżdym symolem występuje 3n, gdzie n N } Zdnie 2.17. Wyzncz wyrżeni regulrne generujące ten sm język, który jest kceptowny przez nstępujący DAS:,,,,,
Niedeterministyczne utomty skończone Zdnie 2.18. Nrysuj grf niedeterministycznego utomtu skończonego M = ( Q,, s 0, F, δ ), gdzie Q={s 0,s 1,s 2,s 3 }, ={,}, F={s 3 } orz funkcj przejść δ dn jest z pomocą telki: s 0 {s 1,s 2 } s 1 {s 1 } s 2 s 3 {s 0, s 1, s 2 } s 0 {s 1,s 3 } s 1 {s 2 } s 2 {s 3 } s 3 {s 1 } s 0 {s 1 } s 1 {s 3 } {s 2,s 3 } s 2 {s 1 } s 3 s 0 {s 1 } s 1 {s 2,s 3 } s 2 {s 0 } s 3 Opisz języki kceptowne przez te utomty. Zdnie 2.19. Skonstruowć NAS kceptujący podny język nd lfetem ={,}:
{ A Σ : A 3 lu przedrostkiem slow A jest } { A Σ : k A, {3,4} } L = = L = k L = { A Σ : A zwier dokłdnie jedno podsłowo k, gdzie 0<k 3 } L = { A Σ : A zwier przystą ilość symoli i dokłdnie jeden symol }
- e)