The Gateway to Computer Science Excellence
+19 votes

We require a four state automaton to recognize the regular expression $(a\mid b)^*abb$

  1. Give an NFA for this purpose
  2. Give a DFA for this purpose
in Theory of Computation by Veteran (52.2k points)
edited by | 954 views

1 Answer

+27 votes
Best answer

NFA for regular expression $(a+b)^*abb$ and its equivalent DFA will be as follows:

by Veteran (57k points)
edited by

@Praveen Saini Sir What is the meaning of (a/b)* the question,is it (a+b)* what they have meant?

yes, afai think
praveen sir u r the best toc expert ever i seen


state   a          b

qo     q0q1    q0

q1        ^         q2

q2       ^           q3

q3       ^           ^

q0q1     q0q1     q0q2

q0q2      q0q1     q0q3

q0q3       q0q1     q0


q3 is final state so q0q3 also final state. Total 6 states.

Where am I going wrong? Pls help @Praveen Saini


@ , there is no need of q1, q2 and q3 check once.


@Praveen Saini sir construct an NFA for regular expression (a+b)* abb  and then convert it into DFA, will that be okk sir ??

Yes, this is good, but it is a time-consuming process, we can make DFA from the regular expression.
How you will make DFA directly?
it comes from practise

Related questions

Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true
50,741 questions
57,253 answers
104,708 users