A Deterministic Finite Automaton used for checking 'for loops' and 'while loops' syntax in C.