Concept

Deterministic finite automaton