Salve, io ho questo esercizio:Sia $L = \{0^n 1^n | n \ge 0\}$. Indicare quali tra i seguenti linguaggi sono regolari.
(a) H(L) = {x | ∃y tale che xy ∈ L e |x| = |y|}
(b) B = {0^n | n ≥ 0} ◦ L ◦ {1^m | m ≥ 0}.
Io ho dimostrato con il pumping lemma che il primo è regolare, ma il secondo no. Secondo voi è così o ho sbagliato?