CS 482 Problem Set 2 Solutions Dan FitzGerald, dpf7

Transcription

1 CS 482 Problem Set 2 Solutions Dan FitzGerald, dpf7 Question : Describe the set { n 2n n } intersect { n 2n n }. Are there any strings with an odd number of blocks of zeros? Solution: Since we are dealing with set intersection, an element is in the set iff it is in both sets being intersected. Let the set we are seeking to descibe be S, the set on the LHS of the intersection be named A, and the set on the RHS be B. We start off by noticing that B begins with. Therefore every element in the set S must being with. Now we look at A. Since we know we must start with, this tells us that n=. This also requires that we add to to form to satisfy A's definition. Now we go back to B. We see that if we repeat the piece in the braces times, the outside the brace twice and then finish with, then we will satisfy both A and B and hence have an element in S(since it satisfies the definitions on each side of the intersection). Thus, we have in S. But, also notice that if we have, then for B this could mean taking the outside the braces, then letting n=2 to add on to make. Then we'd go back to A and see that we have one instance of the expression with n= and now half of the expression cocatenated with n=4. Thus, we'd have to add on 8 's and a to satisfy A. We could go back to B and either use the and outside the braced expression to the right to terminate this string, or we could use those last 8 's appended to set n=8. Continuing in this pattern of going back and forth interleaving the elements of A and B, we see that this set can be described as an even number blocks of zeros (at least 2), each separated by a and ending in, where, starting at, each successive block of zeros has twice as many zeros as the block of s preceeding it. By this description, no string can have an odd number of blocks of zeros Question 2 (2.2.6(a)) Give a DFA for the set of all strings starting with that are multiples of 5 in binary. Solution: The DFA is on the following page. To build this DFA, you must realize what happens upon reading a new character in terms of multiplication. You should recognize that if you see a, then you are multiplying your current total by 2 (this is a left shift operation). If you see a, you are multiplying your current total and adding. To ensure divisibility by 5, we should operate mod 5 and accept s when s mod 5= when it is interpreted as a binary number (and begins with ). Also, one must take care to construct a separate states for start and mod 5. The reason being, if they are the same states, then you would go to a trap state upon reading a. But what if you already read part of a string that started with and was equivalent to mod 5 (i.e. ) and then read a? Your DFA would trap when it shouldn't. Thus, two states should be made (labeled S and ) in the picture that prevent the aforementioned error from occurring.

2 3 S 2 4 trap, Question 3 This DFA accepts all strings with an odd number of ones. It tells us if we have seen an even number of ones (then we'll be in A) or an odd number of ones (we'll be in state B). Proof by induction on the length of the input string s that deltahat(a,s) iff s has an even # of 's Base case: s is of length. Clearly, if s is the empty string, then it has an even number of ones (). Thus, since we started in state A, delta(a,w)=a. Thus our base case is proven. Inductive step: Assume the DFA behaves as describes for all strings strictly shorter than s. Prove DFA behaves for strings of length s. Then our string is of the form s=xa, where x is or. Let a=. Thus, s has the same number of 's as x. If they both have an even number, by the IH, deltahat(a,x)=a. By definition of the states from the table, delta(a,)=a. If they both have an odd number of 's, then by the IH, deltahat(a,x)=b and the transition table states that delta(b,)=b. Therefore, delta(a,s)=a if and only if we have an even number of 's in the string. Let a=. Thus, s has more than x. Assume that x had an even number of ones. Then, by the IH, deltahat(a,x)=a. By the transition table, delta(a,)=b. Now assume x had an odd number of ones. By the IH, deltahat(a,x)=b. By the transition table, delta(b,)=a. Therefore, delta(a,s)=a if and only if there are an even number of 's in the string. Q.e.d.

3 Question 4(2.3.) Convert to a DFA this NFA: >p {p,q} {p} q {r} {r} r {s} empty set *s {s} {s} Solution: Use the subset construction. For the states of the DFA, create the power set of the NFA states {p} {p,q} {p} {q} {r} *{s} {p,q} {p,q,r} {p,r} {p,r} {p,q,s} {p} *{p,s} {p,q,s} {p,s} {q.r} *{q,s} *{r,s} {p,q,r} {p,q,r,s} {p,r} *{p,q,s} {p,q,r,s} {p,r,s} *{p,r,s} {p,q,s} {p,s} *{q,r,s} *{p,q,r,s} {p,q,r,s} {p,r,s} empty set A subset of the states of the NFA (i.e. a state in the DFA) will be a final state if the intersection of it with the final states in the NFA is non empty (i.e. it contains s). Mark these are your final states. Now, to compute the transition function, look at all the states p in the NFA, see what states the NFA goes to from p when it sees a or, and we take the union of all those states. (See pgs 6 62). We can rename the states if we wish to convince ourselves that in the DFA is a single state and not a set of states. Notice that there are unreachable states in the above table. They can be deleted. Here is a table with no unreachable states:

4 {p} {p,q} {p} {p,q} {p,q,r} {p,r} {p,r} {p,q,s} {p} *{p,s} {p,q,s} {p,s} {p,q,r} {p,q,r,s} {p,r} *{p,q,s} {p,q,r,s} {p,r,s} *{p,r,s} {p,q,s} {p,s} *{p,q,r,s} {p,q,r,s} {p,r,s} Question 5(2.3.4) a) Set of strings over {...} s.t. the final digit has been seen before Solution: See the figure. Nondeterministically guess what the final digit will be and transition accordingly. Not much else can be said in terms of words studying the picture should give you the intuition. b)set of strings over {...} s.t. the final digit has not been seen before. Solution: See the figure. This problem parallels part (a), but with different transitions out of the start stage. Once again, study the picture if you do not understand. c)set of strings of 's and 's such that there are two 's separated by a number of positions that is a multiple of 4. Solution: We need to keep track of how many positions have followed since we have seen a. So, it makes sense that we should go around in a loop mod 4 and then transition from that state to a final state upon seeing another. This is precisely what the NFA is doing. It will accept a string with right away, or if two consecutive 's do not occur, it will keep track of how many s separate the 's (mod 4). Upon seeing the 2 nd zero, if it is separated by a number of 's divisible by 4, the NFA will transition to the accept state and remain there.

5 NFA's for Question 5: a)......,2.. S b)......,2..,

6 c),, S mod4,, mod4 3mod4,, 2mod4