Tomasz Owca

1. Niech L będzie językiem. Czy prawdziwe są następujące formuły?

Formuła 1: 𝑳 + = 𝑳 ∗ − {𝜺} - formuła jest prawdziwa

Formuła 2: 𝑳 ∗ = 𝑳 + {𝜺} - formuła jest prawdziwa

2. Niech L1 i L2 będą językami nad alfabetem { a }, przy czym:

L1 = { an | n – jest naturalną liczbą parzystą } = { aa, aaaa, aaaaaa, … }

L2 = { an | n – jest naturalną liczbą nieparzystą } = {a, aaa, aaaaa,… }

Czy prawdziwe są następujące formuły?

Formuła 1: L1* = L2* - formuła jest nieprawdziwa

Formuła 2: L1* ⊆ L2* - formuła jest prawdziwa
Formuła 3: L1* ⊂ L2* - formuła jest nieprawdziwa

3. (a) Napisać wyrażenie regularne opisujące język nad alfabetem { 0, 1 } zawierający

wszystkie słowa, w których przed każdą jedynką stoi co najmniej jedno zero i po każdej
jedynce znajduje się co najmniej jedno zero.

wyrażenie to : (0+1)+(0+)

(b) Narysować graf deterministycznego automatu skończonego akceptującego język z

punktu (a).
4. (a) Napisać wyrażenie regularne opisujące język nad alfabetem { 0, 1 } zawierający
wszystkie słowa, w których każde dwa zera przedzielone są co najmniej jedną jedynką.

wyrażenie to :(0*10+)*0*

(b) Narysować graf deterministycznego automatu skończonego akceptującego język z

punktu (a).