339 views
0 votes
0 votes

Let L = (0+1)*1(0+1)^(n−1) and following statements regrading language L:

  1. The language L can be recognised by a non-deterministic automaton with (n+1) states. 
  2. Deterministic automaton recognises this language must have at least 2^n states. 

(Assume n≥1).
Which of the following statement(s) is/are correct?

  1. 1 onlty
  2. 2 only
  3. Both 1 and 2
  4. neither 1 and 2

---------------------------------------

According to me, L can be written as (0+1)*1(0+1)* which makes option D most suitable.

1 Answer

0 votes
0 votes
L = (0+1)*1(0+1)^(n−1)

     = { set of all strings such that the nth symbol from RHS is 1 }

This can be represented by NFA having n+1 states.

For DFA, it will take  2^n states.

So Option C is correct.

.
edited by

Related questions

0 votes
0 votes
0 answers
2
koushriek asked May 19, 2022
1,345 views
Examples of accepted words: 1011, 101101, 1111Example of non-accepted words: 101, 1001, 010The solution says the min-DFA contains 5 states but I could only do it in 4. Am...