Language acceptance by Deterministic Finite Automata (DFAs)

Procedure