سوال ۸۷ کنکور ارشد علوم کامپیوتر ۱۴۰۵

زبان $L_1$ روی $\{a,b\}$ به‌صورت بازگشتی با دو قانون زیر تعریف می‌شود:

الف ـ $\lambda \in L_1$

ب ـ اگر $x \in L_1$ آنگاه $aabx \in L_1$ و $xbb \in L_1$.

به‌علاوه فقط رشته‌هایی در $L_1$ هستند که از دو قانون بالایی به‌دست آمده باشند. اگر $L_2$ زبان عبارت منظم $r = (aab)^*(bb)^*$ باشد، کدام گزینه در مورد $L_1$ و $L_2$ درست است؟