Linguaggi formali

[#Fede]

Ciao ragazzi, qualcuno mi potrebbe aiutare con il seguente esercizio di fondamenti dell'informatica

Sia $ sum {0,1} $ Si dimostrino o si confutino le seguenti asserzioni


a) \(\displaystyle ∀L_1,L_2∈P(∑^∗):(L_1+L_2)^∗L_2=(L^∗_1L_2)^∗ \)

b) \(\displaystyle ∀L_1,L_2∈P(∑^∗):(L_1L_2 + L_1)^∗L_1=L_1(L_2L_1+L_1)^∗ \)

dove $ sum {0,1} $ è un alfabeto mentre L1 e L2 sono linguaggi sull'alfabeto dato
Grazie mille!!

[apatriarca]

Nessuna idea?