Question: Consider all the possible FAs over the alphabet {a b} that have exactly two states. An FA must have a designated start state, but there

Consider all the possible FAs over the alphabet {a b} that have exactly two states. An FA must have a designated start state, but there are four possible ways to place the + 's:

OOOOOOOO type 1 type 2 type 3 type 4

Each FA needs four edges (two from each state), each of which can lead to either of the states. There are 24 = 16 ways to arrange the labeled edges for each of the four types of FAs. Therefore, in total there are 64 different FAs of two states. However, they do not represent 64 nonequivalent FAs because they are not all associated with different languages. All type 1 FAs do not accept any words at all , whereas all FAs of type 4 accept all strings of a's and b's.
(i) Draw the remaining FAs of type 2.
(ii) Draw the remaining FAs of type 3.
(iii) Recalculate the total number of two-state machines using the transition table definition.

OOOOOOOO type 1 type 2 type 3 type 4

Step by Step Solution

3.35 Rating (161 Votes )

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock

The question involves drawing and analyzing finite automata FA with two states and calculating the number of nonequivalent twostate machines Let us tackle each part of the question step by step i Draw ... View full answer

blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related SQL Database Programming Questions!