
MARIRE / RECUPERARE SEMINAR


Fie w in {0,1}*

Definim DUBLU(w) sirul obtinut prin dublarea fiecarui simbol din w.

ex. DUBLU(010)=001100

Se defineste NEDUBLU(L)={w|DUBLU(w) apartine lui L}

ex. NEDUBLU({000011,0011110000,00011})={001,01100}

Demonstrati ca daca L este regulat atunci NEDUBLU(L) este regulat.

Hint: Construiti AF si validati prin inductie.
