1,823 views
0 0 votes
let M be a DFA {a,b} with exactly 2 state .Suppose further that M accepts a finite number n of distinct words .what is the maximum value of n?

a)1

b)2

c)3

d)4

e)there not fixed

1 Answer

Best answer
2 2 votes
in my opinion the answer should be 1. and only one possible string ( epsilon ).

opinion:

1.since the language is finite then this means there should not be any kind of loop. on any of the state trough which finla state can be reached

2. now as said that dfa has 2 states ( assuming they are fixed ) means the both of the state need to define the the transition on the symbol (a, b).

3. no self loop or any other loop ( form step 1) means that from start state we nee to go to second state( as this is only option).

4. now on second state nmo loop possible thus only one state to go that is state 1 but going there will create a loop between states thus this state should be dead state.

5. why not be 1 state dead - beacuse if it were then no two sate were needed.

6. now since you said finite  we have two choices either empty or epsilon but given that maximum then epsilon.
• selected by
Position:
Show:

Related questions

0 0 votes
1 answers 1 answer
956
956 views
manisha11 asked May 12, 2019
956 views
Given an algorithm to tell whether a regular languageL contains at least 100 strings
1 1 vote
1 1 answer
2.1k
2.1k views
Bhaskar Singh asked Feb 20, 2019
2,110 views
If a DFA "D" have symbol {0,1,2} and NFA "N" have symbol {0,1} but both are representing strings ending with 01 and whole string only contain {0,1} then can we say L(N) =...
0 0 votes
1 1 answer
922
922 views
Rhythm asked Feb 16, 2019
922 views
What is the number of states in the minimal dfa representing the language a*b* ?
0 0 votes
1 answers 1 answer
1.2k
1.2k views
Lakshman Bhaiya asked Dec 27, 2018
1,227 views
Construct a minimal DFA which accepts set of all strings over {a,b}, such that$1)$Second symbol from $RHS$ should be $‘a’$$2)$Third symbol from $RHS$ should be $‘a’$