1. Construct a DFA for the set of all binary strings with at least one occurrence of 101 but without any occurrence of 010.

Given the following CFG S → OB A → 1AA|A B → OAA The following strings can be generated except i. 001 ii. 000 iii.0011 iv. 01 O A. i and iii O B. i and ii O C. iv only O D. ii only

Q1. Construct a CFG for the set of all ternary strings of the form 0¹ 11 2k, where i = j + k.

(1) Write \graf code for a DFA M_1 that recognizes the @lang of strings over \S={a,b} such that the length of each string is congruent to 1 modulo 3. // (2) Use the @deftn of \d* to prove whether the string *{aba} is accepted by M_1. Show all of the steps of \d*. // (3) Write \graf code for a DFA M_2 that recognizes the @lang of strings over \S={a,b} that do not have 2 consecutive *{a}s. // (4) Modify the !{process from class} for taking the union of two DFAs to write \graf code for a DFA M_3 such that L(M_3)=L(M_1)\nL(M_2). What did you change about the process? Why does that work in general? // (5) Use words to describe L(M_3). // (6) Use words to describe ~{L(M_3)}. // (7) Write \graf code for a DFA M_4 that recognizes ~{L(M_3)}. How would you recognize the complement of the @lang recognized by a DFA in a generalized process? What makes your process work? // (8) Use the !{mathematical induction} and the definition (from \graf) of the *{reverse of a string} to prove the following:…