حل تشریحی سوال شماره 59 نظریه زبان‌ها و ماشین‌ها

زبان‌های $L_1=\left\{x\#y|x,y\in {\left\{0,1\right\}}^{\ast },x\ne y\right\}$ و $L_2=\left\{x\#y|x,y\in {\left\{0,1\right\}}^{\ast },x=y\right\}$ را در نظر بگیرید. در این خصوص کدام مورد درست است؟