کلید زده گزینه ۲ صحیح است .

من به اشتباه ۴ زدم ... بقیه گرامر هاتو دقت نکردم ولی گرامر ۴ ات اشتباس ....

من گزینه ۲ زدم . ولی الان که نگاه میکنم به نظرم گزینه ۱ باید جواب باشه چون زبانش به این صورته:
[tex]S\rightarrow 0S\mid 1A\mid \lambda[/tex]
[tex]A\rightarrow 1A\mid \lambda[/tex]
چون اول باید به تعداد دلخواه ۰ تولید بشه بعد به تعداد دلخواه۱ تولید بشه و ۰ ها قبل از ۱ ها هستند پس حداقل به ۲ متغیر نیاز داریم(هرچند که زبان منظمه)

گزینه سوم
[tex]S\rightarrow 0S1[/tex]
این زبان مستقل از متنه
گزینه چهارم
[tex]S\rightarrow 0S1\mid 01S\mid 10S\mid \lambda[/tex]
این زبان را هم می توان با یک گرامر مستقل از متن تولید کرد.چون تعداد ۰هاو۱ها به هم وابستگی دارند