1: \begin{definition}\label{def:nm}

2: For $n \ge 2$, let $\cC_n = (Q,\Sig,\delta,1,\{1\})$ be a DFA, where $Q = \{1,\ldots,n\}$, $\Sig = \{a,b_1,\ldots,b_{n-2},c_1,\ldots,c_{n-2},d,e\}$, and each letter in $\Sig$ performs the transformation defined in Theorem~\ref{thm:nm}.

3: \end{definition}

4: