Question: For every integer k 1 , let Lk = { w { 0 , 1 } * | | w | k and the kth

For every integer k 1, let Lk ={ w {0,1}*||w| k and the kth
bit of w from the end is 1}.
a.Give an NFA with k+1 states that accepts the language Lk.
b.Let A=(Q,{0,1},, q0, F) be any DFA that accepts Lk. Prove that if x, y are
two different binary strings of length k, then (q0,x)!=(q0,y).
(Hint: Suppose that x, y differ in the i-th bit, and consider the strings x0i-1 and y0i-1. Are
these strings in Lk? Should the DFA end up in the same state after processing each of
these strings?)
c. Prove that every DFA that accepts Lk must have at least 2k states.
 For every integer k 1, let Lk ={ w {0,1}*||w| k

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!

Q:

fd