Poll 5

As promised, the poll for your readings are going to be on these topics.

• When you want a DFA for all inputs fed MSB first , i.e. after seeing 100 so far, when bit b=1 arrives, the number becomes 1001. Thus the value of "4" in decimal (corresponding to 100) changes to the value "9" (corresponding to 1001). The update rule for the state is which one? (A few choices listed.). Assume that we want to accept all inputs modulo 7.
• If you want a DFA for "does not begin with 0101 AND does not end with 0011" , would you design it as such or would you apply DeMorgan's Law to the language specification? If the latter, what would the approach be?