Machine-translated by Google. Questions are authored in English.
Top

Discussion

The given FSM :

Finite state machine: Start arrow into state a1, which has a self-loop labelled 0; a1 goes to a2 on 1; a2 goes to the final state a3 (double circle) on 0 or 1

is equivalent to :

  • A.1*0 (0 + 1)
  • B.0*1 (0 + 1)
  • C.01* (0 + 1)
  • D.00* (0 + 1)

Answer: B

The machine is equivalent to 0*1 (0 + 1).

Trace the paths from the start state a1 to the final state a3. The self-loop on a1 reads any number of 0s, giving 0*. The only way out of a1 is on 1, giving 1. From a2 one more symbol, 0 or 1, reaches a3, giving (0 + 1). So the language is 0*1(0 + 1).

1*0(0 + 1) swaps the roles of 0 and 1. 01*(0 + 1) and 00*(0 + 1) would need a loop on 1 or require at least one leading 0, neither of which the machine has.

No comment is present. Be the first to comment.
Loading…

Post your comment

Please log in or register to post a comment.