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

سه زبان $L_{3,}{L}_{2,}{L}_1$ با تعاریف زیر مفروضند، کدام گزاره صحیح است؟

$L_1=\left\{w{o}^n|w\in {\left\{a,b\right\}}^{\ast },n_a\left(w\right)=n_b\left(w\right)=n,\left|w\right|=2n\right\}$

$L_2=\left\{w{o}^n|w\in {\left\{a,b\right\}}^{\ast },\left|w\right|=n\right\}$

$L_3=\left\{w{o}^n|w\in {\left\{a,b\right\}}^{\ast },\left|w\right|=n\right\}$