Let M = ({q0, q1, q2, q3, q4, q5}, {a, b, n}, q0, fs, {q2, q3, q4}) be the Deterministic Finite Automaton (DFA) with state transition function, fs defined as follows:
f(q0, a) = q1 f(q0, b) = q0 f(q0, n) = q2
f(q1, a) = q2 f(q1, b) = q1 f(q1, n) = q1
f(q2, a) = q3 f(q2, b) = q2 f(q2, n) = q4
f(q3, a) = q1 f(q3, b) = q3 f(q3, n) = q4
f(q4, a) = q3 f(q4, b) = q5 f(q4, n) = q5
f(q5, a) = q4 f(q5, b) = q3 f(q5, n) = q5