How many states are there in a minimum state deterministic finite automaton accepting the language L = {w | ∈ (0,1)*, number of 0's is divisible by 2, and number of 1's is divisible by 5, respectively}?

How many states are there in a minimum state deterministic finite automaton accepting the language L = {w | ∈ (0,1)*, number of 0's is divisible by 2, and number of 1's is divisible by 5, respectively}? Correct Answer 10

The correct answer is "option 3".

Key Points

The Finite State Machine(FSM) is a mathematical model of computation.

A finite-state automaton is an abstract machine having 5 tuples, a finite set of states & a set of rules for moving from one state to another.

EXPLANATION:

Given that the language L = {w | ∈ (0,1)* }, the number of 0's is divisible by 2, and the number of 1's is divisible by 5:

Deterministic Finite Automata(DFA) state diagram for the given language L is :

Additional Information

There are two types of finite automata:

1. Deterministic Finite Automata(DFA): In this type of automata, each pair of state & input can have only one next state.

2. Non-Deterministic Finite Automata(NFA): In NFA, each pair of state & input can have many possible next states.

Related Questions