KonkurStudy

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

اهمیت
۰/۵

فرض کنیم زبان‌های LA⊆Σ∗L_A \subseteq \Sigma^{*} و LB⊆Σ∗L_B \subseteq \Sigma^{*} توسط DFAهای A=(QA,Σ,δA,q0,FA)A=(Q_A,\Sigma,\delta_A,q_0,F_A) و B=(QB,Σ,δB,q0′,FB)B=(Q_B,\Sigma,\delta_B,q_0',F_B) داده شده‌اند و Σ={0,1,2}\Sigma=\{0,1,2\}. اتوماتای CC را با زبان LCL_C به‌صورت زیر در نظر می‌گیریم:

C=(QA×QB, Σ, δC, (q0,q0′), FA×FB),C=\big(Q_A\times Q_B,\ \Sigma,\ \delta_C,\ (q_0,q_0'),\ F_A\times F_B\big),

δC((p,q),a)={(p′,q):p′∈δA(p,a)} ∪ {(p,q′):q′∈δB(q,a)}.\delta_C\big((p,q),a\big)=\{(p',q):p'\in\delta_A(p,a)\}\ \cup\ \{(p,q'):q'\in\delta_B(q,a)\}.

دو عبارت زیر مفروض است:

I. اگر 010∈LA010\in L_A و 210∈LB210\in L_B، آنگاه 021100∈LC021100\in L_C.

II. اگر 010∈LA010\in L_A و 210∈LB210\in L_B، آنگاه 210010∈LC210010\in L_C.

کدام مورد درست است؟

#automata#shuffle-product#closure#interleaving