FOR FREE MATERIALS

Design a machine of the following language: 

 

L = At least two a’s and at least two b’s where  = {a, b}.

 

Answer:

Firstly, we design a machine for “at least two a’s” which same design as “at least two b’s”. So, anyone we can design as an example lets us design “at least two a’s”.

 

So, for language L= “At least two a’s and at least two b’s”, we requires total 3 x 3 = 9 grade of states, here “3 states for “at least two a’s” and “3 states for “at least two b’s”. 

 

 

L = at least two a’s AND two b’s, so as we know AND means intersection i.e. common states between all states of “at least two a’s” and all states of “at least two b’s”. 

 

Some same problem we can try as an assignment:

  1. At least two a’s or at least two b’s
  2. At most two a’s and at most two b’s
  3. At least two a’s and exactly  two b’s
  4. At least two a’s and at most two b’s
  5. Exactly two a’s and at most two b’s