182 views

1 Answer

0 votes
0 votes

The questions say "$\dots$there is a pair of 0's separated $\dots$". Assuming that one such pair in a string would suffice, the minimum number of states in NFA will be 6.

Let's start with the regular expression for this language since that will help us in NFA designing. Again existence of one such pair would suffice, therefore the rest of the string could be selected arbitrarily.

$$(0+1)^*0((0+1)^4)^*0(0+1)^*$$

Thus, an equivalent NFA would look something like this -

Related questions

2 votes
2 votes
1 answer
1
Mojo-Jojo asked Sep 28, 2015
1,641 views
Let M be a Non-deterministic Finite Machine. Let G be the Regular Grammar obtained from M. Which is True?(a) G will always be unambiguous(b) G will always be ambiguous(c)...
0 votes
0 votes
0 answers
2
bts1jimin asked Sep 14, 2018
313 views
Are following part of gate syllabus?Multitape turing machineMultidimension turing machineLinear bounded automataUniversal turing machineLinear bounded automata
0 votes
0 votes
1 answer
3
Nishtha Verma asked Aug 10, 2018
224 views
0*1*01*Draw NFA for this?
0 votes
0 votes
0 answers
4
Ashwin Kulkarni asked Dec 24, 2017
895 views
I'm getting its equaltion {anbn | n 0} U {a} U {b}But given is {anbn | n >= 0} U {a} U {b}Whether epsilon is accepted or not??