There are two key steps in using Pumping lemma to prove a language to be nonregular: pick w and i such that we can make proof reasoning easier and correct to lead to a contradiction. When we try to prove the following language L to be nonregular using Pumping lemma, L = {w∈Σ*, na(w) < nb(w)}, we pick w = ambm+1, then we should pick i =  ______. Group of answer choices   A)2 B)0 C)1

For a Turing machine M, (M) refers to the binary representation of M. For a Turing machine M, L(M) contains the set of all strings accepted by M. For a Turing machine M and an input x = {0,1}*, Steps(M, x) refers to the number of steps taken by M to execute on x before it halts. Here, one step of execution of M on x = one movement (left or right) of the tape head. For a Turing machine M and an input x = {0,1}*, we define the following: ReachCells(M,x) = {i : M reaches ith tape cell when M is executed on x} Informally, it contains all locations on the tape that are visited when M is ecuted on x. The leftmost location on the tape is the first tape cell, the location next to it is the second tape cell, and so on. A string w₁ is an anagram of w2 if w₁ can be obtained by rearranging the alphabets of w2. Formally, if w₁ is an n length string, wê is called an anagram of w₁ if there exists a permutation à on n elements such that π(w₁) = W2.

Show all work

Let regular language L1 recognized by DFA (Q1,Σ,δ1,s1,F1) and regular language L2 recognized by DFA (Q2,Σ,δ2,s2,F2). We will construct a product DFA as the quintuple (Q,Σ,δ,s,F) where: •Q=Q1×Q2•For allx∈Σ and (q1,q2)∈Q1×Q2,δ((q1,q2),x) = (δ1(q1,x),δ2(q2,x))•s= (s1,s2) DetermineFso that the product DFA recognizes: (i)L1∪L2(ii)L1∩L2(iii)L1\L2Based on your choice for F, for each case, provide a detailed proof why the product DFA recognizes each of the mentioned languages. Conclude that in-tersection of two regular languages is a regular language and set-theoretic dif-ference of two regular languages is regular.