The finite state machine given in the figure below recognizes:
Here identified remainder of a’s and , identified remainder of b’s.
In the above machine there are four grades
From the diagram, it is clearly showing that the given final state is an intersection (common state) of odd number of a’s and odd number of b’s.
So, Option D is correct.