Sunteți pe pagina 1din 2

Tema 5

Exerciţiul 1. Determinaţi toate structurile neizomorfe de monoid pe mulţimea


{0, 1}.
Exerciţiul 2. Fie (M, ·, e) un monoid.
1. Pentru X, Y ⊆ M , notăm X · Y = {x · y | x ∈ X, y ∈ Y }. Arătaţi că
P(M ) devine un monoid ı̂n raport cu această operaţie. Cine este elementul
neutru? Există zero (element absorbant)?
2. Dacă f : (M, ·M , eM ) −→ (N, ·N , eN ) este un morfism de monoizi, atunci
şi funcţia
f∗ : P(M ) −→ P(N ), f∗ (X) = {f (x) | x ∈ X} este un morfism de
monoizi (ı̂n raport cu operaţia definită anterior).
Exerciţiul 3. 1. Fie (M, ·M , eM ), (N, ·N , eN ) monoizi şi f : M −→ N o
funcţie astfel ı̂ncât f (x ·M y) = f (x) ·N f (y), ∀x, y ∈ M . Este f morfism
de monoizi? Argumentaţi sau daţi un contraexemplu ı̂n caz negativ.
2. Dacă f : M −→ N este un izomorfism de monoizi, atunci f −1 este mor-
fism de monoizi.
Exerciţiul 4. Fie A un alfabet şi α, β ∈ A∗ astfel ı̂ncât αβ = βα. Atunci
există un string γ ∈ A∗ şi m, n ∈ N astfel ı̂ncât α = γ m , β = γ n .
Exerciţiul 5. Fie f : ({a, b}∗ , ·) −→ (Z, +) unicul morfism de monoizi pentru
care f (a) = 1, f (b) = −1. Determinaţi f −1 ({0}).
Exerciţiul 6. 1. Fie L1 , L2 , L3 ⊆ A∗ . Atunci (L1 ∩ L2 )L3 ⊆ L1 L3 ∩ L2 L3 .
Daţi un exemplu din care să rezulte că incluziunea poate fi strictă.
2. Dacă L ⊆ A∗ , este adevărat că (L∗ )L = L∗ ?
Exerciţiul 7. Arătaţi că următoarele limbaje peste alfabetul {a, b} sunt raţionale
(un limbaj se numeşte raţional dacă este acceptat de un automat finit):
1. {an | n ≥ 1}.
2. {α ∈ A∗ | |α| e un număr par}.
3. {, a, b, ab, ab2 , . . . , abn , . . .}.
4. {α ∈ A∗ | |α|a e un număr impar}.

1
CC-Matematică 2 2

Exerciţiul 8. Determinaţi limbajul acceptat de fiecare dintre următoarele au-


tomate:

/ ?>=<
89:; / ?>=<
89:; / ?>=<
89:;
1.
s0
0,1
s1 1
s /
9 2
0

2.
1 1

/ ?>=<
89:; / ?>=<
89:; ?>=<
89:;
% 
s1 o
0,1 0
s0 s2

 

3.
0 1

/ ?>=<
89:; / ?>=<
89:;
 
1
s0 s1

 

Exerciţiul 9. Construiţi un automat determinist echivalent cu automatul nede-


terminist de la exerciţiul precedent, pct. 1. Aceeaşi cerinţă pentru automatul de
la pct. 2.

S-ar putea să vă placă și