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

از روی DFAهای $D_1$ و $D_2$ بر اساس ضرب دکارتی، DFAای به نام $D$ ساخته می‌شود که:

$D_1 = \langle Q_1, \sum, \delta_1, q_1^0, F_1 \rangle$ $D_2 = \langle Q_2, \sum, \delta_2, q_2^0, F_2 \rangle$ $\Rightarrow D_1 \times D_2 = \langle Q_1 \times Q_2, \sum, \delta, \langle q_1^0, q_2^0 \rangle, F \rangle$

مجموعه $F$ به شرح زیر است:

$F = \{\, \langle q_i, q_j \rangle \mid (q_i \in F_1 \land q_j \notin F_2) \lor (q_i \notin F_1 \land q_j \in F_2) \,\}$

زبان $D_1 \times D_2$ را نیز با $L(D_1 \times D_2)$ نشان می‌دهیم. کدام گزینه درست است؟