Linguaggi formali
Inviato: 02/02/2020, 20:46Ciao 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!!
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!!