1: \begin{abstract}
2: For every prime $p$ it is shown that a wide class of HNN extensions of free abelian groups admit faithful representation by finite $p$-automata.
3: \end{abstract}