کدامیک از دو زبان زیر مستقل از متن است؟ L_1 = a^n c^m b^n n > m ≥ 0 L_2 = a^n b^m c^k k ≠ n + m, n, m, k ≥ 0

سوال ۹۲ کنکور ارشد علوم کامپیوتر ۱۴۰۱

اهمیت

۰/۵

کدام‌یک از دو زبان زیر مستقل از متن است؟

$L_{1} = \{\, a^{n} c^{m} b^{n} \mid n > m \ge 0 \,\}$ $L_{2} = \{\, a^{n} b^{m} c^{k} \mid k \ne n + m,\ n, m, k \ge 0 \,\}$

#context-free#non-cfl#pumping-lemma#closure-properties#counting-invariant