سلام گزینه دوم درسته
صورت سوالی که گذاشته اید اشتباه تایپی دارد و صورت درست آن به این فرم است:
[tex]L\cap LSigma^{\ast}=\phi[/tex]
این عبارت به این معنی است که اگر به تک تک رشته های زبان حداقل یک حرف بچسبانیم رشته ی حاصله دیگر در زبان نیست
و گزینه دوم نیز دقیقا می گوید اگر x در زبان باشد و اگر یه چیزی به آخر رشته اضافه کنیم و هنوز در زبان باشد آن چیز حتما باید لاندا باشد (یعنی اگر y ای که به آخر x می چسبانیم حداقل طولش یک باشد دیگر در زبان نیست پس حالا که xy در زبان است پس طول y صفر بوده )