Lemma. Let $M={?}_{\text{d}\text{e}\text{f}}(Q,,,q_0,F)$ be an fa $($nfa or dfa$)$ and let

$n={?}_{\text{d}\text{e}\text{f}}|Q|.$ The regular language accepted by $M$ is infinite if and only

if it accepts a string $w$ with